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

Ian Goldberg edf24392d8 Handle const * Term and const * Pedersen in the Pedersen recognizer		hai 10 meses
..
sigma	f0a54a8538 Abstract arithmetic expression parsing into an AExprFold trait	hai 10 meses
codegen.rs	e6be0ce636 Slightly clean up the main crate's exports	hai 10 meses
lib.rs	998d014072 Find all random private `Scalar`s (according to the [`TaggedVarDict`]) that appear exactly once in the [`StatementTree`].	hai 10 meses
pedersen.rs	edf24392d8 Handle const * Term and const * Pedersen in the Pedersen recognizer	hai 10 meses
syntax.rs	998d014072 Find all random private `Scalar`s (according to the [`TaggedVarDict`]) that appear exactly once in the [`StatementTree`].	hai 10 meses
transform.rs	26b617e6b3 A little more on the Pedersen commitment expression recognizer	hai 10 meses