zkp-compiler-shootout
zkp-compiler-shootout copied to clipboard
anoma
Evaluating & benchmarking ZKP compilation strategies.
Currently my code generator for Triton is quite primitive. I would like the following to be made 1. [x] Add a notion of blocks - blocks are a label +...
Currently I've added a Blake2 benchmark for `risc0`, but it would be nice to get a good basis of hash functions bench marked: _Known hashing functions to benchmark and compare_...
Merkle Proofs are a common use case for ZKP languages. It would be great to have benchmarks comparing the speed with a Merkle inclusion proof We can do this on...
as seen in #16, there is no easy way to jump to a label without affecting the call stack. This demands that abstractions like `loop` or `if` after their termination,...
It seems like running the benchmarker takes 15 minutes on my machine. I need to reduce the number of repeat tests from 100 to 20.
Also there are two versions of Halo2, via IPA and KZG. Is it possible to plugin both backends?
Currently we are using [criterion](https://bheisler.github.io/criterion.rs/criterion/) to test rust programs. This programs seems quite nice for benchmarking programs, however I should conduct a study of available benchmarking tools. Another important consideration...
