Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func IsZero ¶
func IsZero(comp *wizard.CompiledIOP, c any) (ifaces.Column, wizard.ProverAction)
IsZero returns a fully constrained binary column z such that c[i] = 0 <=> z[i] = 1 and c[i] != 0 <=> z[i] = 0. `c` can be either a symbolic expression or a column. If the input expression contains a shift, then the resulting column `z` is computed and constrained assuming the shift wraps around.
The function also returns a context object that can be invoked to perform the assignment of `z` and the intermediate internal columns. It has to be called explictly by the the caller during the prover runtime.
func IsZeroMask ¶
func IsZeroMask(comp *wizard.CompiledIOP, c, mask any) (ifaces.Column, wizard.ProverAction)
IsZeroMasked is an IsZero but allows passing an additional `mask`, expectedly a binary column. The caller is responsible for ensuring/constraining that the column is binary. All the generated columns will be zeroied when the mask is up.
Types ¶
This section is empty.
Source Files
Directories
¶
| Path | Synopsis |
|---|---|
|
Package `bigrange` provides a utility to enforce range-checks for large ranges.
|
Package `bigrange` provides a utility to enforce range-checks for large ranges. |
|
Descriptions: context for Byte32cmp, checklimbs verifiercol for fieldModulus
|
Descriptions: context for Byte32cmp, checklimbs verifiercol for fieldModulus |
|
`plonk` provides a dedicated Wizard utility to embed a gnark Plonk circuit in a Wizard's compiled IOP.
|
`plonk` provides a dedicated Wizard utility to embed a gnark Plonk circuit in a Wizard's compiled IOP. |
|
Package projection implements the utilities for the projection query.
|
Package projection implements the utilities for the projection query. |