How do ZK-STARKs, ZK-SNARKs and Bulletproofs compare in size and speed for range proofs? The general behavior is depicted in this chart. But do those numbers scale linearly to the proof and verification times listed on dalek-cryptography's bulletproofs page, that has a 64-bit range proof taking 7.3ms and verification taking 1ms? That is, would generating and verifying a ZK-STARK of a 64-bit range proof take microseconds?
$\begingroup$
$\endgroup$
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
The paper in this address provides some more precise evaluations of various ZK proof techniques, including zk-STARKs, zk-SNARKs and Bullet proofs.
The have evaluation for a proof of membership for a Merkle tree with different number of leaves.
