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. @ 6ceace1cf3ba0d4b8503101ec490786d2ed2b216

Ian Goldberg 6ceace1cf3 In prove(), check that all of the statements are actually true		11 月之前
..
src	6ceace1cf3 In prove(), check that all of the statements are actually true	11 月之前
Cargo.toml	6ceace1cf3 In prove(), check that all of the statements are actually true	11 月之前