Crate starkom_plonk 

Starkom PLONK

Overview

This repo contains Starkom’s PLONK arithmetization and proving system.

The specific arithmetization type is PLONKish: it has an arbitrary number of columns, custom gate constraints, and arbitrarily shaped gates.

Structs

Cell

A cell in a circuit or witness, uniquely identified by a row number and a column number.

Circuit

A PLONK circuit.

CircuitBuilder

Allows building PLONK Circuits.

CircuitSectionBuilder

Implements CircuitView for a sub-section of the circuit.

CircuitViewGenerator

CompilationOptions

Circuit compilation & proving options.

CompressedCircuit

A PLONK circuit in committed form.

Constraint

Represents a PLONK constraint as a sum of monomials (implicitly constrained to equal 0).

Proof

A PLONK proof.

ProvingOptions

Circuit compilation & proving options.

Variable

Represents a variable in a Constraint expression.

Witness

WitnessSection

WitnessViewGenerator

Enums

CellOrUnconstrained

Constants

OPTIONS_DEFAULT_BLOWUP_LOG2

Default blowup factor (16) in logarithmic form.

Traits

CellOffset

A value that can be used as a relative row or column offset in WitnessView::cell and CircuitView::cell.

Chip

Represents a reusable PLONK chip that you can use to build circuits.

CircuitView

WitnessView

Functions

cell

Shorthand for Cell::new.

make_const

Short-hand for Constraint::make_const.

rvar

Short-hand for Constraint::make_var with a rotation.

var

Short-hand for Constraint::make_var.