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. @ 8dce96b83808d243c978d9c4359c33bc24e2fe64

Michele Orrù 8dce96b838 feat: emit public-scalar claims under disjunctions as constant-shape claim branches		1 месяц назад
..
src	8dce96b838 feat: emit public-scalar claims under disjunctions as constant-shape claim branches	1 месяц назад
Cargo.lock	c1c1ed28e1 Update version to 0.2.3	1 месяц назад
Cargo.toml	c1c1ed28e1 Update version to 0.2.3	1 месяц назад
LICENSE	3d9908a4c4 Add MIT licence	1 год назад
README.md	c1c1ed28e1 Update version to 0.2.3	1 месяц назад

sigma-compiler-core by Ian Goldberg, iang@uwaterloo.ca
Version 0.2.3, 2026-08-04

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