gen_acc

Documentation

Overview

The accumulator package is responsible for accumulating the data from different arithmetization module.

Index

• Constants
• type GenericAccumulatorInputs
• type GenericDataAccumulator
  • func NewGenericDataAccumulator(comp *wizard.CompiledIOP, inp GenericAccumulatorInputs) *GenericDataAccumulator
  • func (d *GenericDataAccumulator) Run(run *wizard.ProverRuntime)
• type GenericInfoAccumulator
  • func NewGenericInfoAccumulator(comp *wizard.CompiledIOP, inp GenericAccumulatorInputs) *GenericInfoAccumulator
  • func (info *GenericInfoAccumulator) Run(run *wizard.ProverRuntime)

Constants

const (
	GENERIC_ACCUMULATOR = "GENERIC_ACCUMULATOR"
)

Types

type GenericAccumulatorInputs

type GenericAccumulatorInputs struct {
	MaxNumKeccakF int
	ProvidersData []generic.GenDataModule
	ProvidersInfo []generic.GenInfoModule
}

type GenericDataAccumulator

type GenericDataAccumulator struct {
	Inputs *GenericAccumulatorInputs
	// stitching of modules together
	Provider generic.GenDataModule

	// the active part of the stitching module
	IsActive ifaces.Column
	// contains filtered or unexported fields
}

The sub-module GenericDataAccumulator filters the data from different generic.GenDataModule,

and stitch them together to build a single module.

func NewGenericDataAccumulator

func NewGenericDataAccumulator(comp *wizard.CompiledIOP, inp GenericAccumulatorInputs) *GenericDataAccumulator

It declares the new columns and the constraints among them

func (*GenericDataAccumulator) Run

func (d *GenericDataAccumulator) Run(run *wizard.ProverRuntime)

It assigns the columns specific to the submodule.

type GenericInfoAccumulator

type GenericInfoAccumulator struct {
	Inputs *GenericAccumulatorInputs
	// stitching of modules together
	// HashHi and HashLo are over the same row
	// isHashHi = isHashLo = IsActive
	Provider generic.GenInfoModule

	// the active part of the stitching module
	IsActive ifaces.Column
	// contains filtered or unexported fields
}

The sub-module GenericInfoAccumulator filters the data from different generic.GenInfoModule,

and stitch them together to build a single module.

func NewGenericInfoAccumulator

func NewGenericInfoAccumulator(comp *wizard.CompiledIOP, inp GenericAccumulatorInputs) *GenericInfoAccumulator

func (*GenericInfoAccumulator) Run

func (info *GenericInfoAccumulator) Run(run *wizard.ProverRuntime)