Module baby_bear

openvm_static_verifier::field

Module baby_bear 

Source

Structs§

BabyBearChip
BabyBearExt4Chip
BabyBearExt4Wire
BabyBearWire
ReducedBabyBearExt4Wire
An extension-field wire whose BabyBear basis coefficients are all reduced.
ReducedBabyBearWire
A BabyBear wire constrained to its canonical representative in [0, p).

Type Aliases§

BabyBearExt4
BabyBearExtChip
BabyBearExtWire
ReducedBabyBearExtWire