Module gadgets

Gates and gadgets implementations

Modules

ecc

Elliptic curve related gates and gadgets. Including both native and non-native fields.

test_utils

Utils for test

ultraplonk

Implements ultra-plonk related circuits.

Structs

EmulatedVariable

The variable represents an element in the emulated field.

Traits

EmulationConfig

Parameters needed for emulating field operations over [PrimeField].

SerializableEmulatedStruct

A struct that can be serialized into Vec of field elements.

Functions

from_emulated_field

Convert an element in the emulated field to a list of native field elements.

to_emulated_field

Inverse conversion of the from_emulated_field