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)		6 месяцев назад
..
src	29d2894e50 Show the Params on both the prover and verifier side (they should match)	6 месяцев назад
Cargo.toml	8dd608dd29 procedural macro subcrate	7 месяцев назад