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. @ d53071b359066f0228189520fb645a1321887c3b

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.

150 Commits

7 Branches

6 Releases

Ian Goldberg d53071b359 Match updated sigma-rs API		vor 10 Monaten
sigma_compiler_core	d53071b359 Match updated sigma-rs API	vor 10 Monaten
sigma_compiler_derive	fb69ebf940 Document AND and OR in the macro rustdoc	vor 11 Monaten
src	7c81911952 Add support for vector sums and dot products	vor 11 Monaten
tests	77d40c741d Tests on vectors of length 0	vor 10 Monaten
Cargo.toml	6d13649911 fix: update refactor	vor 11 Monaten