Module plonk_checks

Modules

scalars 🔒

Structs

InCircuit

PlonkMinimal

ScalarsEnv

Shift

ShiftFq

ShiftedValue

Constants

NPOWERS_OF_ALPHA

PERM_ALPHA0

https://github.com/MinaProtocol/mina/blob/0b63498e271575dbffe2b31f3ab8be293490b1ac/src/lib/pickles/plonk_checks/plonk_checks.ml#L218

Traits

ShiftingValue

Functions

checked

derive_plonk

derive_plonk_checked

ft_eval0

ft_eval0_checked

get_feature_flag 🔒

make_shifts

powers_of_alpha

https://github.com/MinaProtocol/mina/blob/0b63498e271575dbffe2b31f3ab8be293490b1ac/src/lib/pickles/plonk_checks/plonk_checks.ml#L141

Type Aliases

TwoFields 🔒