mina_tree::proofs

Module unfinalized

Source

Modules§

ro

Structs§

AllEvals
DeferredValues
No BranchData
EvalsWithPublicInput
Unfinalized

Functions§

dummy_evals 🔒
dummy_ipa_step_challenges
Value of Dummy.Ipa.Step.challenges
dummy_ipa_step_challenges_computed
Dummy.Ipa.Step.challenges_computed
dummy_ipa_wrap_challenges
Value of Dummy.Ipa.Wrap.challenges
evals_from_p2p
Equivalent of to_kimchi in OCaml