Prover & Verifier Performance

Prover

Verifier

We run our experiments in a multi-threaded setting on a commodity laptop: a MacBook Pro featuring 11 cores and 36 GB of RAM. (Note our prover has very low memory requirements: less than 3 GB of RAM to handle a database of 100,000 rows.)

Queries performed were:

Q1 - Simple Selection - Proof size: 668 bytes
SELECT tx_id, price FROM Transaction

Q2 - Conjunction Query - Proof size: 660 bytes
SELECT sum(price) FROM Transaction WHERE account_id = ’5938’ AND trade_date = ’2025-01-01’

Q3 - Range Query - Proof size: 4819 bytes
SELECT count(*) FROM Transaction WHERE trade_date BETWEEN ’2025-01-01’ AND ’2025-03-31’

Q4 - Equality Selection - Proof size: 514 bytes
SELECT tx_id FROM Transaction WHERE trade_date = ’2025-04-05’