ZKP Rust Libraries
- Arkworks has pretty unergonomic API but is the most used.
- Example code to prove a merkle tree inclusion
- Bellman looks a little nicer but a little less production-ready.
- exposes a bunch of low-level primitives (you have to implement a bit! and xor!) for example
- very mathy blog posts e.g. https://trapdoortech.medium.com/zkp-deep-into-bellman-library-9b1bf52cb1a6
- Looks quite clean to write –
https://github.com/arcalinea/bellman-examples/blob/master/src/main.rs
- needs random parameters?
- and a verifying key?