There are now two very nice APIs for doing zero-knowledge proofs in Rust: Bulletproofs: https://medium.com/interstellar/bulletproofs-pre-release-fcb1feb36d4b
zkSNARKs: https://z.cash/blog/bellman-zksnarks-in-rust/ Actually doing much with these still requires understanding the underlying proof system since you’ll need to heavily optimise your circuit. Jeff p.s. We expect StarkWare to produce nice APIs for for zkSTARKs too, but probably not in Rust. In theory, their verifier and prover code should be open sourced since they $3M grant from the Ethereum Foundation stipulated something like this, but right now nobody really trusts StarkWare to open source quite as much as we’d want open sourced. We shall see..
signature.asc
Description: Message signed with OpenPGP
_______________________________________________ GNUnet-developers mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gnunet-developers
