arithmetization

Documentation

Index

• Constants
• func AssignFromLtTraces(run *wizard.ProverRuntime, schema *air.Schema, expTraces trace.Trace, ...)
• func Define(comp *wizard.CompiledIOP, schema *air.Schema, limits *config.TracesLimits)
• func ReadLtTraces(f io.ReadCloser, sch *air.Schema) (trace.Trace, error)
• func ReadZkevmBin() (*air.Schema, error)
• type Arithmetization
  • func NewArithmetization(builder *wizard.Builder, settings Settings) *Arithmetization
  • func (a *Arithmetization) Assign(run *wizard.ProverRuntime, traceFile string)
• type Settings

Constants

const TraceOverflowExitCode = 77

Functions

func AssignFromLtTraces

func AssignFromLtTraces(run *wizard.ProverRuntime, schema *air.Schema, expTraces trace.Trace, limits *config.TracesLimits)

ReadExpandedTraces parses the provided trace file, expands it and returns the corset object holding the expanded traces.

func Define

func Define(comp *wizard.CompiledIOP, schema *air.Schema, limits *config.TracesLimits)

Define registers the arithmetization from a corset air.Schema and trace limits from config.

func ReadLtTraces

func ReadLtTraces(f io.ReadCloser, sch *air.Schema) (trace.Trace, error)

func ReadZkevmBin

func ReadZkevmBin() (*air.Schema, error)

ReadZkEvmBin parses and compiles a "zkevm.bin" into an air.Schema. f is closed at the end of the function call.

Types

type Arithmetization

type Arithmetization struct {
	Settings *Settings
	Schema   *air.Schema
}

Arithmetization exposes all the methods relevant for the user to interact with the arithmetization of the zkEVM. It is a sub-component of the whole ZkEvm object as it does not includes the precompiles, the keccaks and the signature verification.

func NewArithmetization

func NewArithmetization(builder *wizard.Builder, settings Settings) *Arithmetization

NewArithmetization is the function that declares all the columns and the constraints of the zkEVM in the input builder object.

func (*Arithmetization) Assign

func (a *Arithmetization) Assign(run *wizard.ProverRuntime, traceFile string)

Assign the arithmetization related columns. Namely, it will open the file specified in the witness object, call corset and assign the prover runtime columns.

type Settings

type Settings struct {
	Limits *config.TracesLimits
}

Settings specifies the parameters for the arithmetization part of the zkEVM.