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