#circuit #zk-snarks #proofs #masp #proving #sapling #api

masp_proofs

Experimental MASP zk-SNARK circuits and proving APIs, based on zcash_proofs

1 stable release

new 1.2.0 Jan 13, 2025

#8 in Magic Beans

MIT/Apache

1MB
19K SLoC

masp_proofs

This library contains the zk-SNARK circuits for MASP, based on the circuits for Zcash Sapling, and the APIs for creating and verifying proofs.

License

Licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.


lib.rs:

MASP circuits and proofs.

masp_proofs contains the zk-SNARK circuits used by MASP based on Zcash Sapling, and the APIs for creating and verifying proofs.

Dependencies

~10–22MB
~286K SLoC