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

Michele Orrù c70bf20df3 feat: automatically reuse the canonical group generator		5 дней назад
..
sigma	c70bf20df3 feat: automatically reuse the canonical group generator	4 дней назад
codegen.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	4 дней назад
lib.rs	b7919c12b2 Use kebab case for the package names	11 месяцев назад
main.rs	b7919c12b2 Use kebab case for the package names	11 месяцев назад
notequals.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	4 дней назад
pedersen.rs	226adac8a7 Broaden the places where rand Scalars can appear	7 месяцев назад
pubscalareq.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	4 дней назад
rangeproof.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	4 дней назад
substitution.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	4 дней назад
syntax.rs	9e3e98ed28 cargo fmt	7 месяцев назад
transform.rs	226adac8a7 Broaden the places where rand Scalars can appear	7 месяцев назад