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. @ b7919c12b24494485f41c396444b7338e10e2694

Ian Goldberg d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs		пре 1 година
..
basic.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
basic_sum.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
basic_vec.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
disj.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
disj_vec.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
dl.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
dot_product.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
emptystatement.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
left_expr.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
notequals.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
pubscalars.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
pubscalars_or.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
pubscalars_or_and.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
pubscalars_or_and_vec.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
pubscalars_or_vec.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
pubscalars_vec.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
pubstatements.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
pubstatements_vec.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
range.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
simple_or.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
substitution_or.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
substitution_vec.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
subtract.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
subtract_vec.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година
two_true.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	пре 1 година