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		10 месяцев назад
..
src	46e240d6d4 Compute all the variables needed for range proofs	10 месяцев назад
Cargo.toml	d7ba2a9350 Enforce the disjunction invariant	11 месяцев назад