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.

Ian Goldberg c1c1ed28e1 Update version to 0.2.3		1 месяц назад
..
src	b855630aff Don't warn if variables produced by the code generator end up unused	2 месяцев назад
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	11 месяцев назад
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.