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. @ 76c318c74f137d5863fecf6fdf5bec117a569b55

Ian Goldberg 76c318c74f Return VerificationFailure rather than assert!()ing if the witness doesn't satisfy the statements		11 месяцев назад
..
src	76c318c74f Return VerificationFailure rather than assert!()ing if the witness doesn't satisfy the statements	11 месяцев назад
Cargo.toml	d7ba2a9350 Enforce the disjunction invariant	11 месяцев назад