Modules§
Structs§
- AllFeature
Flags - Challenge
Polynomial - Combined
Inner Product Params - Commitment
Lengths 🔒 - Deferred
Values 🔒AndHints - Deferred
Values 🔒Params - Domains
- Make
Scalars EnvParams - Oracles
- Wrap
Main 🔒Params - Wrap
Params - Wrap
Proof - Wrap
Proof State - Wrap
Statement
Enums§
Constants§
- COMMON_
MAX_ DEGREE_ STEP_ LOG2 - Value of
Common.Max_degree.step_log2 - COMMON_
MAX_ DEGREE_ WRAP_ LOG2 - Common.Max_degree.wrap_log2
- MAX_
PROOFS_ VERIFIED_ N - Max_proofs_verified.n
- OTHER_
FIELD_ 🔒PACKED_ CONSTANT_ SIZE_ IN_ BITS - Other_field.Packed.Constant.size_in_bits
- PERMUTS_
MINUS_ 1_ ADD_ N1 - Permuts_minus_1.add Nat.N1.n
Functions§
- actual_
evaluation 🔒 - Defined in
plonk_checks.mlNote: there are otheractual_evaluation, but they’re different - combined_
inner_ product - https://github.com/MinaProtocol/mina/blob/bfd1009abdbee78979ff0343cc73a3480e862f58/src/lib/pickles/wrap.ml#L37
- create_
oracle - create_
oracle_ with_ public_ input - deferred_
values 🔒 - dummy_
ipa_ wrap_ sg - Dummy.Ipa.Wrap.sg
- evals_
of_ split_ evals - exists_
prev_ 🔒statement - expand_
feature_ flags - ft_comm 🔒
- make_
lagrange 🔒 - make_
public_ 🔒input - make_
scalars_ env_ checked - ones_
vector - pack_
statement 🔒 - pad_
messages_ 🔒for_ next_ wrap_ proof - split_
field 🔒 - wrap
- wrap_
main 🔒