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. @ 0a650e464755c0ec9b2197edb4a75e676923fc3d

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.

130 Revīzijas

6 Atzari

3 Laidieni

Ian Goldberg 0a650e4647 cargo fmt		6 mēneši atpakaļ
sigma_compiler_core	0a650e4647 cargo fmt	6 mēneši atpakaļ
sigma_compiler_derive	7d1cf334ed Implement not-equals statements	7 mēneši atpakaļ
src	9e77a03656 Match new sigma-rs API for ComposedWitness::Or	6 mēneši atpakaļ
tests	6d13649911 fix: update refactor	6 mēneši atpakaļ
Cargo.toml	6d13649911 fix: update refactor	6 mēneši atpakaļ