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		10 месяцев назад
..
sigma	f0a54a8538 Abstract arithmetic expression parsing into an AExprFold trait	10 месяцев назад
codegen.rs	e6be0ce636 Slightly clean up the main crate's exports	10 месяцев назад
lib.rs	998d014072 Find all random private `Scalar`s (according to the [`TaggedVarDict`]) that appear exactly once in the [`StatementTree`].	10 месяцев назад
pedersen.rs	edf24392d8 Handle const * Term and const * Pedersen in the Pedersen recognizer	10 месяцев назад
syntax.rs	998d014072 Find all random private `Scalar`s (according to the [`TaggedVarDict`]) that appear exactly once in the [`StatementTree`].	10 месяцев назад
transform.rs	26b617e6b3 A little more on the Pedersen commitment expression recognizer	10 месяцев назад