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. @ 9a00db39b37b3e4d59971d4ff6c5de50bcd42f8a

Ian Goldberg 46e240d6d4 Compute all the variables needed for range proofs		11 månader sedan
..
src	46e240d6d4 Compute all the variables needed for range proofs	11 månader sedan
Cargo.toml	d7ba2a9350 Enforce the disjunction invariant	1 år sedan