Module halo2

Modules

dev

Tools for developing circuits.

plonk

This module provides an implementation of a variant of (Turbo)PLONK that is designed specifically for the polynomial commitment scheme described in the Halo paper.

Structs

Advice

An advice column

AssignedCell

An assigned cell.

Column

A column with an index and type

Value

A value that might exist within a circuit.

Enums

Assigned

A value assigned to a cell within a circuit.

Traits

Field

This trait represents an element of a field.

Layouter

A layout strategy within a circuit. The layouter is chip-agnostic and applies its strategy to the context and config it is given.