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

Ian Goldberg ed1a2ab347 Implement and test LinScalar::to_expr()		7 月之前
..
src	ed1a2ab347 Implement and test LinScalar::to_expr()	7 月之前
Cargo.toml	d7ba2a9350 Enforce the disjunction invariant	8 月之前