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

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.

124 Commits

6 Branches

3 Publications

Ian Goldberg 0e223e7e2d Fix cargo doc		il y a 6 mois
sigma_compiler_core	0e223e7e2d Fix cargo doc	il y a 6 mois
sigma_compiler_derive	7d1cf334ed Implement not-equals statements	il y a 7 mois
src	027760ffde Start on the documentation of the main sigma_compiler macro	il y a 7 mois
tests	6d13649911 fix: update refactor	il y a 6 mois
Cargo.toml	6d13649911 fix: update refactor	il y a 6 mois