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. @ 998e45dee52b9691e1e388837f59048f003077f2

Michele Orrù 998e45dee5 fix: port the code generator to the sigma-proofs draft API		6 days ago
..
basic.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
basic_sum.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
basic_vec.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
disj.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
disj_vec.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
dl.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
dot_product.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
emptystatement.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
left_expr.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
notequals.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
pubscalars.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
pubscalars_or.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
pubscalars_or_and.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
pubscalars_or_and_vec.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
pubscalars_or_vec.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
pubscalars_vec.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
pubstatements.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
pubstatements_vec.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
range.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
range_dump.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
simple_or.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
substitution_or.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
substitution_vec.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
subtract.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
subtract_vec.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
threshold.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
threshold_pubscalars.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago
two_true.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	6 days ago