Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
View Source
var Compile = wizard.Compile
Compile an IOP from a protocol definition
View Source
var Prover = wizard.Prove
Run the prover of the compiled protocol
Functions ¶
This section is empty.
Types ¶
type Builder ¶
Main object responsible for building an IOP protocol It is exposed to the user directly, and the user should use it to specify his protocol
type ProverSteps ¶
type ProverSteps = wizard.ProverStep
User provided function that run the "top-level" protocol. Function to be run by the prover to pass the values to the prover (i.e) what values to commit to etc...
Source Files
Directories
¶
| Path | Synopsis |
|---|---|
|
bigrange
Package `bigrange` provides a utility to enforce range-checks for large ranges.
|
Package `bigrange` provides a utility to enforce range-checks for large ranges. |
|
byte32cmp
Descriptions: context for Byte32cmp, checklimbs verifiercol for fieldModulus
|
Descriptions: context for Byte32cmp, checklimbs verifiercol for fieldModulus |
|
plonk
`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. |
|
projection
Package projection implements the utilities for the projection query.
|
Package projection implements the utilities for the projection query. |
|
The `ifaces` package provides the interface definition of the items constituting the Wizard.
|
The `ifaces` package provides the interface definition of the items constituting the Wizard. |
|
Package wizard provides the main structure articulating the framework.
|
Package wizard provides the main structure articulating the framework. |
Click to show internal directories.
Click to hide internal directories.