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. @ 46e240d6d42d3b1839d32b23b8d2a1ea4e1ab163

Ian Goldberg 46e240d6d4 Compute all the variables needed for range proofs		пре 11 месеци
..
src	46e240d6d4 Compute all the variables needed for range proofs	пре 11 месеци
Cargo.toml	d7ba2a9350 Enforce the disjunction invariant	пре 1 година