Report proof sizes - Githubissues

argumentcomputer / lurk

Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

https://docs.argument.xyz

MIT License

46 stars 3 forks source link

Report proof sizes #389

Open adr1anh opened 1 week ago

adr1anh commented 1 week ago

When benchmarking verification, it would be useful to report how large the proofs are, since it is a good proxy for how many hashes the verifier needs to perform.