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.

Ian Goldberg adf7102ec6 Add support for THRESH		преди 5 месеца
..
basic.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
basic_sum.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
basic_vec.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
disj.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
disj_vec.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
dl.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
dot_product.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
emptystatement.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
left_expr.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
notequals.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
pubscalars.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
pubscalars_or.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
pubscalars_or_and.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
pubscalars_or_and_vec.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
pubscalars_or_vec.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
pubscalars_vec.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
pubstatements.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
pubstatements_vec.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
range.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
range_dump.rs	54b0f23eac An example test using the new dump API	преди 5 месеца
simple_or.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
substitution_or.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
substitution_vec.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
subtract.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
subtract_vec.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца
threshold.rs	adf7102ec6 Add support for THRESH	преди 5 месеца
threshold_pubscalars.rs	adf7102ec6 Add support for THRESH	преди 5 месеца
two_true.rs	d5683e25d2 The sigma-rs dependency has been renamed sigma-proofs	преди 8 месеца