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. @ mu/draft-v3-2

Michele Orrù 229274437b Update to the released sigma-proofs 0.4 API		4 semanas atrás
..
basic.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
basic_sum.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
basic_vec.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
disj.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
disj_vec.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
dl.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
dot_product.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
emptystatement.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
left_expr.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
notequals.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
pubscalars.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
pubscalars_or.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
pubscalars_or_and.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
pubscalars_or_and_vec.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
pubscalars_or_vec.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
pubscalars_vec.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
pubstatements.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
pubstatements_vec.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
range.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
range_dump.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
simple_or.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
substitution_or.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
substitution_vec.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
subtract.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
subtract_vec.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
threshold.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
threshold_pubscalars.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás
two_true.rs	229274437b Update to the released sigma-proofs 0.4 API	4 dias atrás