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. @ e403812ad675121661d195aef7c52911df7a0b39

Ian Goldberg e403812ad6 Rename one test for consistency with the others		10 months ago
..
src	e403812ad6 Rename one test for consistency with the others	10 months ago
Cargo.toml	d7ba2a9350 Enforce the disjunction invariant	10 months ago