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		11 месяцев назад
..
sigma	d9ca5c733f Convert commitments and randomness of one LinScalar to that of another LinScalar of the same variable	11 месяцев назад
codegen.rs	d9ca5c733f Convert commitments and randomness of one LinScalar to that of another LinScalar of the same variable	11 месяцев назад
lib.rs	af0748ec23 Prepare for handing range statements by finding all Pedersen assignment statements in the StatementTree	11 месяцев назад
pedersen.rs	ed1a2ab347 Implement and test LinScalar::to_expr()	11 месяцев назад
rangeproof.rs	d9ca5c733f Convert commitments and randomness of one LinScalar to that of another LinScalar of the same variable	11 месяцев назад
substitution.rs	9b8cbf4558 Refactor the substitution transformation into its own module	11 месяцев назад
syntax.rs	998d014072 Find all random private `Scalar`s (according to the [`TaggedVarDict`]) that appear exactly once in the [`StatementTree`].	11 месяцев назад
transform.rs	af0748ec23 Prepare for handing range statements by finding all Pedersen assignment statements in the StatementTree	11 месяцев назад