Use the NIZK trait for all Zk proofs and allow use of rng

axelarnetwork / tofn

A threshold cryptography library in Rust

Apache License 2.0

112 stars 23 forks source link

Use the NIZK trait for all Zk proofs and allow use of rng #163

Closed milapsheth closed 4 months ago

milapsheth commented 3 years ago

Use the NIZKStatement trait for all Zk proofs for consistency. Furthermore, extend NIZKStatement to support a prove_with_rng for deterministically generated proofs.