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		4 месяцев назад
..
sigma	c273ad1770 Use prove_compact and verify_compact now that they're supported by sigma-proofs	6 месяцев назад
codegen.rs	45de450cff chore(core): stop using deprecated serialization from sigma-proofs	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	226adac8a7 Broaden the places where rand Scalars can appear	7 месяцев назад
pedersen.rs	226adac8a7 Broaden the places where rand Scalars can appear	7 месяцев назад
pubscalareq.rs	b7919c12b2 Use kebab case for the package names	11 месяцев назад
rangeproof.rs	226adac8a7 Broaden the places where rand Scalars can appear	7 месяцев назад
substitution.rs	b7919c12b2 Use kebab case for the package names	11 месяцев назад
syntax.rs	9e3e98ed28 cargo fmt	7 месяцев назад
transform.rs	226adac8a7 Broaden the places where rand Scalars can appear	7 месяцев назад