sigma-compiler 0.2.3

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.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

//! See the documentation for [`sigma_compiler!`] for details.

pub use group;
pub use rand;
pub use sigma_compiler_derive::{sigma_compiler, sigma_compiler_prover, sigma_compiler_verifier};
pub use sigma_proofs;
pub use subtle;

#[cfg(feature = "dump")]
pub mod dumper;
pub mod rangeutils;
pub mod vecutils;