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 d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs 1 month ago
sigma_compiler_core d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs 1 month ago
sigma_compiler_derive fb69ebf940 Document AND and OR in the macro rustdoc 2 months ago
src d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs 1 month ago
tests d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs 1 month ago
Cargo.toml d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs 1 month ago