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. @ 82058d6cda54422b40c9cf84a9e7c76fc82c7053

Ian Goldberg 82058d6cda Only emit the protocol_witness function if emit_prover is set		пре 7 месеци
..
sigma	82058d6cda Only emit the protocol_witness function if emit_prover is set	пре 7 месеци
codegen.rs	edc6d2b636 Make the dump feature flag work again	пре 7 месеци
lib.rs	384b93e03a Remove some commented-out test code	пре 7 месеци
pedersen.rs	ed1a2ab347 Implement and test LinScalar::to_expr()	пре 7 месеци
rangeproof.rs	d21bea09f9 Flip multiplications around to suit sigma_rs	пре 7 месеци
substitution.rs	9b8cbf4558 Refactor the substitution transformation into its own module	пре 7 месеци
syntax.rs	998d014072 Find all random private `Scalar`s (according to the [`TaggedVarDict`]) that appear exactly once in the [`StatementTree`].	пре 8 месеци
transform.rs	9bf1745c9a Move leaf_true, is_leaf_true, and leaf_true_test into StatementTree	пре 7 месеци