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

Ian Goldberg d9ca5c733f Convert commitments and randomness of one LinScalar to that of another LinScalar of the same variable		10 miesięcy temu
..
sigma	d9ca5c733f Convert commitments and randomness of one LinScalar to that of another LinScalar of the same variable	10 miesięcy temu
codegen.rs	d9ca5c733f Convert commitments and randomness of one LinScalar to that of another LinScalar of the same variable	10 miesięcy temu
lib.rs	af0748ec23 Prepare for handing range statements by finding all Pedersen assignment statements in the StatementTree	10 miesięcy temu
pedersen.rs	ed1a2ab347 Implement and test LinScalar::to_expr()	10 miesięcy temu
rangeproof.rs	d9ca5c733f Convert commitments and randomness of one LinScalar to that of another LinScalar of the same variable	10 miesięcy temu
substitution.rs	9b8cbf4558 Refactor the substitution transformation into its own module	10 miesięcy temu
syntax.rs	998d014072 Find all random private `Scalar`s (according to the [`TaggedVarDict`]) that appear exactly once in the [`StatementTree`].	10 miesięcy temu
transform.rs	af0748ec23 Prepare for handing range statements by finding all Pedersen assignment statements in the StatementTree	10 miesięcy temu