Shipeng Qi

For example, complex read query 4 > Given two accounts *src* and *dst*, and a specified time window between > *startTime* and *endTime*, > (1) check whether *src* transferred money...

Some removed queries

1

- Ambiguity of the removed complex-read / 11 - In `[deprecated]transaction-complex-read-11.yaml`： can persons l2p1, ..., l3p3 invest in companies such as l1c2, l1c3, l2c2, etc.? the pattern suggests that this...

Move `TCR 10` to simple reads After solving the problem the input of Simple Reads comes from the output of Complex Reads. However, this pattern might be different in the...

[Data] Transfer failure should be considered in the benchmark, which is applied in malicious activity monitoring

1

From @tian-zhong

[Spec Writing] optimize the generation of spec pdf file

1

there are some existing warning and error in the generation process from latex to pdf file.

[Audit] specify the validation rules

2

Three probable modes to valid the result, - ACID, validation, throughput test in separate - run result validation along with ACID - run benchmarking (throughtput measurement) along with ACID and...