3 ms·
It depends on which backend you want to use (currently Groth16 or Nova, but more options can be implemented). For example, Nova proof is roughly 8-9 KB. In this
by emmorais 4y ago
It depends on which backend you want to use (currently Groth16 or Nova, but more options can be implemented). For example, Nova proof is roughly 8-9 KB. In this situation we have that verification is not constant, for instance, for 2^20 constraints it would take roughly 1s.
- tromp 4y agoAnd how many constraints would roughly be needed to represent the first case of a million secp256k1 signatures in a SHA256 Merkle tree?