Crate openvm_algebra_circuit 

Modules

fields

fp2_chip

modular_chip

Structs

AlgebraCpuProverExt

AlgebraGpuProverExt

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

Rv32ModularGpuBuilder

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

Rv32ModularWithFp2GpuBuilder

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

Functions

find_non_qr

mod_sqrt

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