Crate openvm_algebra_circuit 

Modules

fields

fp2_chip

modular_chip

Structs

AlgebraCpuProverExt

AlgebraHybridProverExt

AlgebraProverExt

FieldExprVecHeapExecutor

Fp2

Quadratic field extension of Fp defined by Fp2 = Fp[u]/(1 + u^2). Assumes that -1 is not a quadratic residue in Fp, which is equivalent to p being congruent to 3 (mod 4). Extends Mod Builder to work with Fp2 variables.

Fp2Extension

HybridFp2Chip

HybridModularChip

HybridModularIsEqualChip

ModularExtension

Rv32ModularBuilder

This builder will do tracegen for the RV32IM extensions on GPU but the modular extensions on CPU.

Rv32ModularConfig

Rv32ModularCpuBuilder

Rv32ModularHybridBuilder

This builder will do tracegen for the RV32IM extensions on GPU but the modular extensions on CPU.

Rv32ModularWithFp2Builder

This builder will do tracegen for the RV32IM extensions on GPU but the modular and complex extensions on CPU.

Rv32ModularWithFp2Config

Rv32ModularWithFp2CpuBuilder

Rv32ModularWithFp2HybridBuilder

This builder will do tracegen for the RV32IM extensions on GPU but the modular and complex extensions on CPU.

Enums

Fp2ExtensionExecutor

ModularExtensionExecutor

Rv32ModularConfigExecutor

Rv32ModularWithFp2ConfigExecutor

Constants

FP2_BLOCKS_32

Blocks for Fp2 with 32-limb base field: 2 * 8 = 16 blocks

FP2_BLOCKS_48

Blocks for Fp2 with 48-limb base field: 2 * 12 = 24 blocks

MODULAR_BLOCKS_32

Blocks for 32-limb modular operations: 32 / 4 = 8 blocks

MODULAR_BLOCKS_48

Blocks for 48-limb modular operations: 48 / 4 = 12 blocks

NUM_LIMBS_32

Number of limbs for 256-bit (32-byte) moduli

NUM_LIMBS_48

Number of limbs for 384-bit (48-byte) moduli

Functions

find_non_qr

mod_sqrt

Find the square root of x modulo modulus with non_qr a quadratic nonresidue of the field.