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

Michele Orrù 8dce96b838 feat: emit public-scalar claims under disjunctions as constant-shape claim branches		1 mēnesi atpakaļ
..
basic.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
basic_sum.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
basic_vec.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
claim_narrowing.rs	8dce96b838 feat: emit public-scalar claims under disjunctions as constant-shape claim branches	1 mēnesi atpakaļ
disj.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
disj_vec.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
dl.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
dot_product.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
emptystatement.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
left_expr.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
notequals.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
pubscalars.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
pubscalars_or.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
pubscalars_or_and.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
pubscalars_or_and_vec.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
pubscalars_or_vec.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
pubscalars_vec.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
pubstatements.rs	8dce96b838 feat: emit public-scalar claims under disjunctions as constant-shape claim branches	1 mēnesi atpakaļ
pubstatements_vec.rs	8dce96b838 feat: emit public-scalar claims under disjunctions as constant-shape claim branches	1 mēnesi atpakaļ
range.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
range_dump.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
simple_or.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
substitution_or.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
substitution_vec.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
subtract.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
subtract_vec.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
threshold.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
threshold_pubscalars.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ
two_true.rs	998e45dee5 fix: port the code generator to the sigma-proofs draft API	1 mēnesi atpakaļ