Module Plonk_constraint_system.Plonk_constraint

The PLONK constraints.

module T : sig ... end

A PLONK constraint (or gate) can be Basic, Poseidon, EC_add_complete, EC_scale, EC_endoscale, or EC_endoscalar.

include module type of struct include T end

A PLONK constraint (or gate) can be Basic, Poseidon, EC_add_complete, EC_scale, EC_endoscale, or EC_endoscalar.

type ('v, 'f) t = ( 'v, 'f ) T.t =
| Basic of {
l : 'f * 'v;
r : 'f * 'v;
o : 'f * 'v;
m : 'f;
c : 'f;
}		(*

the Poseidon state is an array of states (and states are arrays of size 3).

*)
| Poseidon of {
state : 'v array array;
}
| EC_add_complete of {
p1 : 'v * 'v;
p2 : 'v * 'v;
p3 : 'v * 'v;
inf : 'v;
same_x : 'v;
slope : 'v;
inf_z : 'v;
x21_inv : 'v;
}
| EC_scale of {
state : 'v Scale_round.t array;
}
| EC_endoscale of {
state : 'v Endoscale_round.t array;
xs : 'v;
ys : 'v;
n_acc : 'v;
}
| EC_endoscalar of {
state : 'v Endoscale_scalar_round.t array;
}
val t_of_sexp : 'v 'f. ( Ppx_sexp_conv_lib.Sexp.t -> 'v ) -> ( Ppx_sexp_conv_lib.Sexp.t -> 'f ) -> Ppx_sexp_conv_lib.Sexp.t -> ( 'v, 'f ) t
val sexp_of_t : 'v 'f. ( 'v -> Ppx_sexp_conv_lib.Sexp.t ) -> ( 'f -> Ppx_sexp_conv_lib.Sexp.t ) -> ( 'v, 'f ) t -> Ppx_sexp_conv_lib.Sexp.t
val map : ( 'a, 'f ) t -> f:( 'a0 -> 'b ) -> ( 'b0, 'f0 ) t

map t

val eval : (module Snarky_backendless.Field_intf.S with type t = 'f) -> ( 'v -> 'f0 ) -> ( 'v0, 'f1 ) t -> bool

eval (module F) get_variable gate checks that gate's polynomial is satisfied by the assignments given by get_variable. Warning: currently only implemented for the Basic gate.

type Snarky_backendless__Constraint.basic +=
| T of ( 'v, 'f ) T.t