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. @ 45de450cff6e5652298f229b0248e23a0f681e3a

Michele Orru 45de450cff chore(core): stop using deprecated serialization from sigma-proofs		5 mesi fa
..
sigma	c273ad1770 Use prove_compact and verify_compact now that they're supported by sigma-proofs	7 mesi fa
codegen.rs	45de450cff chore(core): stop using deprecated serialization from sigma-proofs	5 mesi fa
lib.rs	b7919c12b2 Use kebab case for the package names	11 mesi fa
main.rs	b7919c12b2 Use kebab case for the package names	11 mesi fa
notequals.rs	226adac8a7 Broaden the places where rand Scalars can appear	8 mesi fa
pedersen.rs	226adac8a7 Broaden the places where rand Scalars can appear	8 mesi fa
pubscalareq.rs	b7919c12b2 Use kebab case for the package names	11 mesi fa
rangeproof.rs	226adac8a7 Broaden the places where rand Scalars can appear	8 mesi fa
substitution.rs	b7919c12b2 Use kebab case for the package names	11 mesi fa
syntax.rs	9e3e98ed28 cargo fmt	8 mesi fa
transform.rs	226adac8a7 Broaden the places where rand Scalars can appear	8 mesi fa