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		2 месяцев назад
..
src	c273ad1770 Use prove_compact and verify_compact now that they're supported by sigma-proofs	4 месяцев назад
Cargo.lock	4fd744deab Remember to bump version number in README	2 месяцев назад
Cargo.toml	4fd744deab Remember to bump version number in README	2 месяцев назад
LICENSE	3d9908a4c4 Add MIT licence	8 месяцев назад
README.md	3186c7f33c Update the versions in the sub-crate READMEs as well	2 месяцев назад

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.