Showing 2 of 2 repositories tagged #proofs, ranked by stars
A verification toolchain for Rust programs
An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.
