mina_tree::proofs::public_input

Module messages

Source

Structs§

MessagesForNextStepProof
MessagesForNextWrapProof

Functions§

dummy_ipa_step_sg
Value of Dummy.Ipa.Step.sg TODO: Compute it instead of hardcoded values