SigmaProtocol/sigma-compiler: Crate for automatically generating code for sigma zero-knowledge proof protocols of more complex statements than are supported by the sigma-proofs crate. The statements given to this crate are compiled into statements about linear combinations of points, and transformed into the sigma-proofs API. @ 29d2894e5072ff73ed5900a9206c9a5b8167d1ab

Ian Goldberg 29d2894e50 Show the Params on both the prover and verifier side (they should match)		10 месяцев назад
..
src	29d2894e50 Show the Params on both the prover and verifier side (they should match)	10 месяцев назад
Cargo.toml	8dd608dd29 procedural macro subcrate	10 месяцев назад