package octez-plonk
type scalar = scalar
type 'a repr = 'a repr
type 'a t = 'a t
val custom :
?qc:Plompiler.Csir.Scalar.t ->
?ql:Plompiler.Csir.Scalar.t ->
?qr:Plompiler.Csir.Scalar.t ->
?qo:Plompiler.Csir.Scalar.t ->
?qm:Plompiler.Csir.Scalar.t ->
?qx2b:Plompiler.Csir.Scalar.t ->
?qx5a:Plompiler.Csir.Scalar.t ->
scalar repr ->
scalar repr ->
scalar repr t
val assert_custom :
?qc:Plompiler.Csir.Scalar.t ->
?ql:Plompiler.Csir.Scalar.t ->
?qr:Plompiler.Csir.Scalar.t ->
?qo:Plompiler.Csir.Scalar.t ->
?qm:Plompiler.Csir.Scalar.t ->
scalar repr ->
scalar repr ->
scalar repr ->
unit repr t
val add :
?qc:Plompiler.Csir.Scalar.t ->
?ql:Plompiler.Csir.Scalar.t ->
?qr:Plompiler.Csir.Scalar.t ->
scalar repr ->
scalar repr ->
scalar repr t
val add_constant :
?ql:Plompiler.Csir.Scalar.t ->
Plompiler.Csir.Scalar.t ->
scalar repr ->
scalar repr t
val add_list :
?qc:Plompiler.Csir.Scalar.t ->
?coeffs:Plompiler.Csir.Scalar.t list ->
scalar list repr ->
scalar repr t
val is_eq_const : scalar repr -> Plompiler.Csir.Scalar.t -> bool repr t
val assert_eq_const : scalar repr -> Plompiler.Csir.Scalar.t -> unit repr t
is_upper_bounded ~bound x
returns whether the scalar x
is strictly lower than bound
when x
is interpreted as an integer from 0
to p-1
(being p
the scalar field order). This circuit is total (and more expensive than our version below).
Same as is_upper_bounded
but cheaper and partial. is_upper_bounded_unsafe ~bound l
is unsatisfiable if l cannot be represented in binary with Z.numbits bound
bits.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>