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. @ 3186c7f33cddfc38397d969e759f397a5c232d77

Ian Goldberg 3186c7f33c Update the versions in the sub-crate READMEs as well		4 weeks ago
..
src	c273ad1770 Use prove_compact and verify_compact now that they're supported by sigma-proofs	2 months ago
Cargo.lock	4fd744deab Remember to bump version number in README	4 weeks ago
Cargo.toml	4fd744deab Remember to bump version number in README	4 weeks ago
LICENSE	3d9908a4c4 Add MIT licence	7 months ago
README.md	3186c7f33c Update the versions in the sub-crate READMEs as well	4 weeks ago

sigma-compiler-core by Ian Goldberg, iang@uwaterloo.ca
Version 0.2.1, 2026-03-26

This crate provides the core functionality for the macros in the sigma-compiler crate.