Module field 

Prime field arithmetic and universal proving primitives.

This module provides field-generic math that every target warrior reuses:

• PrimeField trait with concrete implementations (Goldilocks, BabyBear, Mersenne31)
• poseidon2 — generic Poseidon2 sponge hash over any PrimeField
• proof — universal STARK proof estimation (padded height, FRI params, proof size)

Three fields cover all 20 supported VMs:

• Goldilocks (2^64 - 2^32 + 1): Triton, Miden, OpenVM, Plonky3
• BabyBear (2^31 - 2^27 + 1): SP1, RISC Zero, Jolt
• Mersenne31 (2^31 - 1): Plonky3, Circle STARKs

Re-exports

pub use babybear::BabyBear;

pub use goldilocks::Goldilocks;

pub use mersenne31::Mersenne31;

Modules

babybear

BabyBear prime field: p = 2^31 - 2^27 + 1 = 0x7800_0001.

fixed

Fixed-point arithmetic in the Goldilocks field.

goldilocks

Goldilocks prime field: p = 2^64 - 2^32 + 1.

mersenne31

Mersenne31 prime field: p = 2^31 - 1 = 0x7FFF_FFFF.

poseidon2

Generic Poseidon2 hash function over any PrimeField.

proof

Universal STARK proof estimation and claim structure.

Traits

PrimeField

Trait for prime field arithmetic.