List of all items

Structs

• Account
• AccountId
• AccountIdOrderable
• AccountIndex
• AccountLegacy
• AuthRequiredEncoded
• Database
• HashesMatrix
• MutableFp
• Permissions
• PermissionsLegacy
• PermsConst
• ReceiptChainHash
• SetVerificationKey
• SnappAccount
• TimingAsRecord
• TimingAsRecordChecked
• TokenId
• TokenIdLegacy
• TokenSymbol
• V1
• V2
• VerificationKey
• VerificationKeyWire
• VotingFor
• ZkAppAccount
• ZkAppUri
• account::account::Account
• account::account::AccountId
• account::account::AccountIdOrderable
• account::account::MutableFp
• account::account::Permissions
• account::account::PermsConst
• account::account::SetVerificationKey
• account::account::TokenId
• account::account::TokenSymbol
• account::account::VerificationKey
• account::account::VerificationKeyWire
• account::account::ZkAppAccount
• account::account::ZkAppUri
• account::common::AuthRequiredEncoded
• account::common::ReceiptChainHash
• account::common::TimingAsRecord
• account::common::TimingAsRecordChecked
• account::common::VotingFor
• account::legacy::AccountLegacy
• account::legacy::PermissionsLegacy
• account::legacy::SnappAccount
• account::legacy::TokenIdLegacy
• address::raw::Address
• address::raw::AddressChildrenIterator
• address::raw::AddressIterator
• address::raw::serde_address_impl::LedgerAddress
• base::AccountIndex
• database::database::Database
• database::database_impl::DatabaseImpl
• generators::zkapp_command::AccountUpdateBodyComponents
• generators::zkapp_command::AccountUpdateParams
• generators::zkapp_command::BodyComponentsParams
• generators::zkapp_command::GenZkappCommandParams
• mask::Mask
• mask::mask::Mask
• ondisk::Database
• ondisk::batch::Batch
• ondisk::database::Database
• ondisk::database::EntryHeader
• ondisk::lock::LockedFile
• port_ocaml::hash::JaneStreetHasher
• port_ocaml::hash_table::HashTable
• proofs::block::BlockMainParams
• proofs::block::BlockParams
• proofs::block::BlockchainState
• proofs::block::ProtocolState
• proofs::block::ProtocolStateBody
• proofs::block::SnarkTransition
• proofs::block::consensus::CheckedConsensusState
• proofs::block::consensus::ConsensusConstantsChecked
• proofs::block::consensus::ConsensusState
• proofs::block::consensus::GlobalSlot
• proofs::block::consensus::GlobalSubWindow
• proofs::block::consensus::UpdateMinWindowDensityParams
• proofs::block::floating_point::Params
• proofs::block::floating_point::Point
• proofs::block::floating_point::SnarkyInteger
• proofs::block::vrf::Message
• proofs::caching::DensePolynomialCached
• proofs::caching::GroupAffineCached
• proofs::caching::PolyCommCached
• proofs::caching::Radix2EvaluationDomainCached
• proofs::caching::SRSCached
• proofs::caching::VerifierIndexCached
• proofs::caching::VerifierIndexFromBytesError
• proofs::caching::VerifierIndexToBytesError
• proofs::constants::StepBlockProof
• proofs::constants::StepMergeProof
• proofs::constants::StepTransactionProof
• proofs::constants::StepZkappOptSignedOptSignedProof
• proofs::constants::StepZkappOptSignedProof
• proofs::constants::StepZkappProvedProof
• proofs::constants::WrapBlockProof
• proofs::constants::WrapData
• proofs::constants::WrapMergeProof
• proofs::constants::WrapTransactionProof
• proofs::constants::WrapZkappOptSignedProof
• proofs::constants::WrapZkappProof
• proofs::constants::WrapZkappProvedProof
• proofs::field::Params
• proofs::group_map::bw19::Params
• proofs::group_map::bw19::Spec
• proofs::group_map::tock::Conic
• proofs::group_map::tock::Params
• proofs::group_map::tock::S
• proofs::group_map::tock::Spec
• proofs::merge::MergeParams
• proofs::numbers::currency::CheckedAmount
• proofs::numbers::currency::CheckedBalance
• proofs::numbers::currency::CheckedFee
• proofs::numbers::currency::CheckedSigned
• proofs::numbers::nat::CheckedBlockTime
• proofs::numbers::nat::CheckedBlockTimeSpan
• proofs::numbers::nat::CheckedIndex
• proofs::numbers::nat::CheckedLength
• proofs::numbers::nat::CheckedN
• proofs::numbers::nat::CheckedN32
• proofs::numbers::nat::CheckedNonce
• proofs::numbers::nat::CheckedSlot
• proofs::numbers::nat::CheckedSlotSpan
• proofs::numbers::nat::CheckedTxnVersion
• proofs::opt_sponge::ConsumeParams
• proofs::opt_sponge::OptSponge
• proofs::provers::BlockProver
• proofs::provers::TransactionProver
• proofs::provers::ZkappProver
• proofs::public_input::messages::MessagesForNextStepProof
• proofs::public_input::messages::MessagesForNextWrapProof
• proofs::public_input::plonk_checks::InCircuit
• proofs::public_input::plonk_checks::PlonkMinimal
• proofs::public_input::plonk_checks::ScalarsEnv
• proofs::public_input::plonk_checks::Shift
• proofs::public_input::plonk_checks::ShiftFq
• proofs::public_input::plonk_checks::ShiftedValue
• proofs::public_input::plonk_checks::scalars::Cached
• proofs::public_input::plonk_checks::scalars::EvalContext
• proofs::public_input::plonk_checks::scalars::MinimalForScalar
• proofs::public_input::prepared_statement::DeferredValues
• proofs::public_input::prepared_statement::Plonk
• proofs::public_input::prepared_statement::PreparedStatement
• proofs::public_input::prepared_statement::ProofState
• proofs::public_input::scalar_challenge::ScalarChallenge
• proofs::public_input::scalar_challenge::ScalarChallengeBitsIterator
• proofs::step::Basic
• proofs::step::ExpandDeferredParams
• proofs::step::ExpandProofParams
• proofs::step::ExpandedProof
• proofs::step::FeatureFlags
• proofs::step::ForStep
• proofs::step::InductiveRule
• proofs::step::PerProofWitness
• proofs::step::PreviousProofStatement
• proofs::step::StatementDeferredValues
• proofs::step::StatementProofState
• proofs::step::StepParams
• proofs::step::StepProof
• proofs::step::VerifyOneParams
• proofs::step::step_verifier::CheckBulletProofParams
• proofs::step::step_verifier::FinalizeOtherProofParams
• proofs::step::step_verifier::IncrementallyVerifyProofParams
• proofs::step::step_verifier::SideloadedDomain
• proofs::step::step_verifier::VerifyParams
• proofs::transaction::CircuitPlonkVerificationKeyEvals
• proofs::transaction::CompressedPubKeyVar
• proofs::transaction::CreateProofParams
• proofs::transaction::FieldBitsIterator
• proofs::transaction::InnerCurve
• proofs::transaction::MessagesForNextStepProof
• proofs::transaction::PlonkVerificationKeyEvals
• proofs::transaction::ProofWithPublic
• proofs::transaction::Prover
• proofs::transaction::ReducedMessagesForNextStepProof
• proofs::transaction::StepMainProofState
• proofs::transaction::StepMainStatement
• proofs::transaction::StepProofState
• proofs::transaction::StepStatement
• proofs::transaction::StepStatementWithHash
• proofs::transaction::TransactionParams
• proofs::transaction::debug::KimchiProofError
• proofs::transaction::legacy_input::BitsIterator
• proofs::transaction::poseidon::Sponge
• proofs::transaction::transaction_snark::user_command_failure::Failure
• proofs::unfinalized::AllEvals
• proofs::unfinalized::DeferredValues
• proofs::unfinalized::EvalsWithPublicInput
• proofs::unfinalized::Unfinalized
• proofs::verification::LimitedDomain
• proofs::verification::VK
• proofs::verification::VerificationContext
• proofs::verifiers::BlockVerifier
• proofs::verifiers::TransactionVerifier
• proofs::witness::Witness
• proofs::wrap::AllFeatureFlags
• proofs::wrap::ChallengePolynomial
• proofs::wrap::CombinedInnerProductParams
• proofs::wrap::CommitmentLengths
• proofs::wrap::DeferredValuesAndHints
• proofs::wrap::DeferredValuesParams
• proofs::wrap::Domains
• proofs::wrap::MakeScalarsEnvParams
• proofs::wrap::Oracles
• proofs::wrap::WrapMainParams
• proofs::wrap::WrapParams
• proofs::wrap::WrapProof
• proofs::wrap::WrapProofState
• proofs::wrap::WrapStatement
• proofs::wrap::pcs_batch::PcsBatch
• proofs::wrap::pseudo::PseudoDomain
• proofs::wrap::wrap_verifier::Advice
• proofs::wrap::wrap_verifier::CheckBulletProofParams
• proofs::wrap::wrap_verifier::FinalizeOtherProofParams
• proofs::wrap::wrap_verifier::IncrementallyVerifyProofParams
• proofs::wrap::wrap_verifier::PlonkWithField
• proofs::wrap::wrap_verifier::split_commitments::CurveOpt
• proofs::zkapp::CheckProtocolStateParams
• proofs::zkapp::LedgerProof
• proofs::zkapp::LedgerWithHash
• proofs::zkapp::Spec
• proofs::zkapp::StartDataSkeleton
• proofs::zkapp::WithStackHash
• proofs::zkapp::ZkappCommandSegmentWitness
• proofs::zkapp::ZkappCommandWitnessesParams
• proofs::zkapp::ZkappCommandsWithContext
• proofs::zkapp::ZkappParams
• proofs::zkapp::ZkappSingleData
• proofs::zkapp::group::State
• proofs::zkapp::group::ZkappCommandIntermediateState
• raw::Address
• raw::AddressChildrenIterator
• raw::AddressIterator
• scan_state::GenesisConstant
• scan_state::SpacePartition
• scan_state::currency::Amount
• scan_state::currency::Balance
• scan_state::currency::BlockTime
• scan_state::currency::BlockTimeSpan
• scan_state::currency::Epoch
• scan_state::currency::Fee
• scan_state::currency::Index
• scan_state::currency::Length
• scan_state::currency::N
• scan_state::currency::Nonce
• scan_state::currency::Signed
• scan_state::currency::Slot
• scan_state::currency::SlotSpan
• scan_state::currency::TxnVersion
• scan_state::fee_excess::CheckedFeeExcess
• scan_state::fee_excess::FeeExcess
• scan_state::fee_rate::FeeRate
• scan_state::parallel_scan::JobValueWithIndex
• scan_state::parallel_scan::ParallelScan
• scan_state::parallel_scan::SequenceNumber
• scan_state::parallel_scan::SpacePartition
• scan_state::parallel_scan::Tree
• scan_state::parallel_scan::Weight
• scan_state::parallel_scan::base::Base
• scan_state::parallel_scan::base::Record
• scan_state::parallel_scan::merge::Merge
• scan_state::parallel_scan::merge::Record
• scan_state::pending_coinbase::CoinbaseData
• scan_state::pending_coinbase::CoinbaseStack
• scan_state::pending_coinbase::PendingCoinbase
• scan_state::pending_coinbase::PendingCoinbaseWitness
• scan_state::pending_coinbase::Stack
• scan_state::pending_coinbase::StackHasher
• scan_state::pending_coinbase::StackId
• scan_state::pending_coinbase::StackState
• scan_state::pending_coinbase::StateStack
• scan_state::pending_coinbase::merkle_tree::MiniMerkleTree
• scan_state::pending_coinbase::update::Update
• scan_state::scan_state::BorderBlockContinuedInTheNextTree
• scan_state::scan_state::JobValueWithIndex
• scan_state::scan_state::ScanState
• scan_state::scan_state::SpacePartition
• scan_state::scan_state::TransactionsOrdered
• scan_state::scan_state::transaction_snark::LedgerProof
• scan_state::scan_state::transaction_snark::LedgerProofWithSokMessage
• scan_state::scan_state::transaction_snark::OneOrTwoIntoIter
• scan_state::scan_state::transaction_snark::OneOrTwoIter
• scan_state::scan_state::transaction_snark::Registers
• scan_state::scan_state::transaction_snark::SokDigest
• scan_state::scan_state::transaction_snark::SokMessage
• scan_state::scan_state::transaction_snark::Statement
• scan_state::scan_state::transaction_snark::StatementLedgers
• scan_state::scan_state::transaction_snark::TransactionSnark
• scan_state::scan_state::transaction_snark::TransactionWithWitness
• scan_state::scan_state::transaction_snark::work::Work
• scan_state::transaction_logic::Coinbase
• scan_state::transaction_logic::CoinbaseFeeTransfer
• scan_state::transaction_logic::FailureCollection
• scan_state::transaction_logic::FeeTransfer
• scan_state::transaction_logic::HasPermissionToReceive
• scan_state::transaction_logic::Memo
• scan_state::transaction_logic::MinBalance
• scan_state::transaction_logic::SingleFeeTransfer
• scan_state::transaction_logic::Updates
• scan_state::transaction_logic::WithStatus
• scan_state::transaction_logic::for_tests::HashableCompressedPubKey
• scan_state::transaction_logic::for_tests::HashableKeypair
• scan_state::transaction_logic::for_tests::InitLedger
• scan_state::transaction_logic::for_tests::TestSpec
• scan_state::transaction_logic::for_tests::TransactionSpec
• scan_state::transaction_logic::for_tests::UpdateStatesSpec
• scan_state::transaction_logic::local_state::CallStack
• scan_state::transaction_logic::local_state::LazyValue
• scan_state::transaction_logic::local_state::LocalState
• scan_state::transaction_logic::local_state::LocalStateSkeleton
• scan_state::transaction_logic::local_state::StackFrame
• scan_state::transaction_logic::local_state::StackFrameCheckedFrame
• scan_state::transaction_logic::local_state::WithLazyHash
• scan_state::transaction_logic::protocol_state::EpochData
• scan_state::transaction_logic::protocol_state::EpochLedger
• scan_state::transaction_logic::protocol_state::GlobalStateSkeleton
• scan_state::transaction_logic::protocol_state::ProtocolStateView
• scan_state::transaction_logic::signed_command::Common
• scan_state::transaction_logic::signed_command::PaymentPayload
• scan_state::transaction_logic::signed_command::SignedCommand
• scan_state::transaction_logic::signed_command::SignedCommandPayload
• scan_state::transaction_logic::transaction_applied::CoinbaseApplied
• scan_state::transaction_logic::transaction_applied::FeeTransferApplied
• scan_state::transaction_logic::transaction_applied::TransactionApplied
• scan_state::transaction_logic::transaction_applied::ZkappCommandApplied
• scan_state::transaction_logic::transaction_applied::signed_command_applied::Common
• scan_state::transaction_logic::transaction_applied::signed_command_applied::SignedCommandApplied
• scan_state::transaction_logic::transaction_partially_applied::FullyApplied
• scan_state::transaction_logic::transaction_partially_applied::ZkappCommandPartiallyApplied
• scan_state::transaction_logic::transaction_union_payload::Body
• scan_state::transaction_logic::transaction_union_payload::Common
• scan_state::transaction_logic::transaction_union_payload::TransactionUnion
• scan_state::transaction_logic::transaction_union_payload::TransactionUnionPayload
• scan_state::transaction_logic::transaction_witness::TransactionWitness
• scan_state::transaction_logic::valid::VerificationKeyHash
• scan_state::transaction_logic::zkapp_command::Account
• scan_state::transaction_logic::zkapp_command::AccountPreconditions
• scan_state::transaction_logic::zkapp_command::AccountUpdateSimple
• scan_state::transaction_logic::zkapp_command::AccountUpdateSkeleton
• scan_state::transaction_logic::zkapp_command::Actions
• scan_state::transaction_logic::zkapp_command::Body
• scan_state::transaction_logic::zkapp_command::BodySimple
• scan_state::transaction_logic::zkapp_command::CallForest
• scan_state::transaction_logic::zkapp_command::CallForestContext
• scan_state::transaction_logic::zkapp_command::CheckAuthorizationResult
• scan_state::transaction_logic::zkapp_command::ClosedInterval
• scan_state::transaction_logic::zkapp_command::EpochData
• scan_state::transaction_logic::zkapp_command::EpochLedger
• scan_state::transaction_logic::zkapp_command::Event
• scan_state::transaction_logic::zkapp_command::Events
• scan_state::transaction_logic::zkapp_command::FeePayer
• scan_state::transaction_logic::zkapp_command::FeePayerBody
• scan_state::transaction_logic::zkapp_command::MaybeWithStatus
• scan_state::transaction_logic::zkapp_command::Preconditions
• scan_state::transaction_logic::zkapp_command::Timing
• scan_state::transaction_logic::zkapp_command::Tree
• scan_state::transaction_logic::zkapp_command::Update
• scan_state::transaction_logic::zkapp_command::WithHash
• scan_state::transaction_logic::zkapp_command::WithStackHash
• scan_state::transaction_logic::zkapp_command::ZkAppCommand
• scan_state::transaction_logic::zkapp_command::ZkAppPreconditions
• scan_state::transaction_logic::zkapp_command::from_applied_sequence::Cache
• scan_state::transaction_logic::zkapp_command::from_applied_sequence::FromAppliedSequence
• scan_state::transaction_logic::zkapp_command::from_unapplied_sequence::Cache
• scan_state::transaction_logic::zkapp_command::from_unapplied_sequence::FromUnappliedSequence
• scan_state::transaction_logic::zkapp_command::valid::ZkAppCommand
• scan_state::transaction_logic::zkapp_command::verifiable::ZkAppCommand
• scan_state::transaction_logic::zkapp_statement::TransactionCommitment
• scan_state::transaction_logic::zkapp_statement::ZkappStatement
• sparse_ledger::SparseLedger
• sparse_ledger::sparse_ledger::SparseLedger
• sparse_ledger::sparse_ledger_impl::SparseLedgerImpl
• staged_ledger::diff::Diff
• staged_ledger::diff::PreDiffOne
• staged_ledger::diff::PreDiffTwo
• staged_ledger::diff::with_valid_signatures::Diff
• staged_ledger::diff::with_valid_signatures_and_proofs::Diff
• staged_ledger::diff_creation_log::DiffCreationLog
• staged_ledger::diff_creation_log::detail::Detail
• staged_ledger::diff_creation_log::detail::Line
• staged_ledger::diff_creation_log::summary::CommandConstraints
• staged_ledger::diff_creation_log::summary::CompletedWorkConstraints
• staged_ledger::diff_creation_log::summary::Resources
• staged_ledger::diff_creation_log::summary::Summary
• staged_ledger::hash::AuxHash
• staged_ledger::hash::NonStark
• staged_ledger::hash::PendingCoinbaseAux
• staged_ledger::hash::StagedLedgerHash
• staged_ledger::pre_diff_info::PreDiffInfo
• staged_ledger::pre_diff_info::TransactionData
• staged_ledger::resources::Discarded
• staged_ledger::resources::Resources
• staged_ledger::staged_ledger::DiffResult
• staged_ledger::staged_ledger::PreStatement
• staged_ledger::staged_ledger::StackStateWithInitStack
• staged_ledger::staged_ledger::StagedLedger
• staged_ledger::validate_block::Schema
• transaction_pool::Config
• transaction_pool::IndexedPool
• transaction_pool::IndexedPoolConfig
• transaction_pool::SenderState
• transaction_pool::TransactionPool
• transaction_pool::VkRefcountTable
• transaction_pool::VkRefcountTableBigInts
• transaction_pool::consensus::Constants
• transaction_pool::consensus::GlobalSlot
• transaction_pool::diff::BestTipDiff
• transaction_pool::diff::Diff
• transaction_pool::diff::DiffVerified
• transaction_pool::diff::Rejected
• tree::HashesMatrix
• tree::Leaf
• tree_version::V1
• tree_version::V2
• verifier::Verifier
• zkapps::checks::InSnarkOps
• zkapps::checks::NonSnarkOps
• zkapps::intefaces::BranchParam
• zkapps::intefaces::Opt
• zkapps::intefaces::SignedAmountBranchParam
• zkapps::intefaces::StackFrameMakeParams
• zkapps::non_snark::NonSnarkActions
• zkapps::non_snark::NonSnarkBranch
• zkapps::non_snark::NonSnarkController
• zkapps::non_snark::NonSnarkGlobalSlotSpan
• zkapps::non_snark::NonSnarkHandler
• zkapps::non_snark::NonSnarkReceiptChainHash
• zkapps::non_snark::NonSnarkSetOrKeep
• zkapps::non_snark::ZkappNonSnark
• zkapps::snark::AccountUnhashed
• zkapps::snark::SnarkAccountId
• zkapps::snark::SnarkActions
• zkapps::snark::SnarkBranch
• zkapps::snark::SnarkController
• zkapps::snark::SnarkGlobalSlotSpan
• zkapps::snark::SnarkHandler
• zkapps::snark::SnarkReceiptChainHash
• zkapps::snark::SnarkSetOrKeep
• zkapps::snark::SnarkTokenId
• zkapps::snark::SnarkTransactionCommitment
• zkapps::snark::SnarkTxnVersion
• zkapps::snark::SnarkVerificationKeyHash
• zkapps::snark::ZkappSnark
• zkapps::zkapp_logic::ApplyZkappParams
• zkapps::zkapp_logic::GetNextAccountUpdateResult
• zkapps::zkapp_logic::LocalState

Enums

• AuthOrVersion
• AuthRequired
• ControlTag
• DatabaseError
• Direction
• GetOrCreated
• MerklePath
• MyCow
• MyCowMut
• PermissionTo
• ProofVerified
• Timing
• TokenPermissions
• account::account::AuthOrVersion
• account::account::ControlTag
• account::account::PermissionTo
• account::account::ProofVerified
• account::common::AuthRequired
• account::common::Timing
• account::common::TokenPermissions
• address::raw::Direction
• base::GetOrCreated
• base::MerklePath
• database::database::DatabaseError
• generators::Failure
• generators::NotPermitedOf
• generators::Role
• mask::UnregisterBehavior
• mask::mask::UnregisterBehavior
• mask::mask_impl::MaskImpl
• mask::mask_impl::MaskImplShort
• ondisk::batch::Action
• ondisk::compression::MaybeCompressed
• ondisk::database::CreateMode
• proofs::block::floating_point::CoeffIntegerPart
• proofs::block::floating_point::Interval
• proofs::field::Boolean
• proofs::field::CircuitVar
• proofs::numbers::currency::RangeCheckFlaggedKind
• proofs::opt_sponge::SpongeState
• proofs::public_input::scalars::Column
• proofs::public_input::scalars::CurrOrNext
• proofs::step::ForStepKind
• proofs::step::Opt
• proofs::step::OptFlag
• proofs::step::Packed
• proofs::transaction::ExprBinary
• proofs::transaction::ExprNary
• proofs::transaction::ProofError
• proofs::transaction::V
• proofs::verifiers::Kind
• proofs::wrap::Domain
• proofs::wrap::Packed
• proofs::wrap::wrap_verifier::split_commitments::Point
• proofs::zkapp::IsStart
• proofs::zkapp::group::Kind
• proofs::zkapp::group::SegmentBasic
• raw::Direction
• scan_state::currency::Sgn
• scan_state::parallel_scan::AvailableJob
• scan_state::parallel_scan::Job
• scan_state::parallel_scan::JobStatus
• scan_state::parallel_scan::ResetKind
• scan_state::parallel_scan::Value
• scan_state::parallel_scan::WeightLens
• scan_state::parallel_scan::WorkForTree
• scan_state::parallel_scan::base::Job
• scan_state::parallel_scan::merge::Job
• scan_state::pending_coinbase::update::Action
• scan_state::pending_coinbase::update::StackUpdate
• scan_state::scan_state::Extracted
• scan_state::scan_state::JobValueBase
• scan_state::scan_state::JobValueMerge
• scan_state::scan_state::ParallelScanAvailableJob
• scan_state::scan_state::Pass
• scan_state::scan_state::StatementCheck
• scan_state::scan_state::transaction_snark::InitStack
• scan_state::scan_state::transaction_snark::OneOrTwo
• scan_state::snark_work::spec::Work
• scan_state::transaction_logic::AccountState
• scan_state::transaction_logic::BinaryTransactionStatus
• scan_state::transaction_logic::ExistingOrNew
• scan_state::transaction_logic::TimingValidation
• scan_state::transaction_logic::Transaction
• scan_state::transaction_logic::TransactionFailure
• scan_state::transaction_logic::TransactionStatus
• scan_state::transaction_logic::UserCommand
• scan_state::transaction_logic::WellFormednessError
• scan_state::transaction_logic::local_state::LazyValueInner
• scan_state::transaction_logic::signed_command::Body
• scan_state::transaction_logic::signed_command::StakeDelegationPayload
• scan_state::transaction_logic::transaction_applied::CommandApplied
• scan_state::transaction_logic::transaction_applied::Varying
• scan_state::transaction_logic::transaction_applied::signed_command_applied::Body
• scan_state::transaction_logic::transaction_partially_applied::TransactionPartiallyApplied
• scan_state::transaction_logic::transaction_union_payload::Tag
• scan_state::transaction_logic::valid::Transaction
• scan_state::transaction_logic::valid::UserCommand
• scan_state::transaction_logic::verifiable::UserCommand
• scan_state::transaction_logic::zkapp_command::AccessedOrNot
• scan_state::transaction_logic::zkapp_command::AuthorizationKind
• scan_state::transaction_logic::zkapp_command::Control
• scan_state::transaction_logic::zkapp_command::MayUseToken
• scan_state::transaction_logic::zkapp_command::OrIgnore
• scan_state::transaction_logic::zkapp_command::SetOrKeep
• staged_ledger::diff::AtMostOne
• staged_ledger::diff::AtMostTwo
• staged_ledger::diff_creation_log::Partition
• staged_ledger::diff_creation_log::Reason
• staged_ledger::pre_diff_info::CoinbaseParts
• staged_ledger::pre_diff_info::PreDiffError
• staged_ledger::resources::IncreaseBy
• staged_ledger::staged_ledger::SkipVerification
• staged_ledger::staged_ledger::StagedLedgerError
• staged_ledger::validate_block::BlockBodyValidationError
• transaction_pool::ApplyDecision
• transaction_pool::Batch
• transaction_pool::CommandError
• transaction_pool::RevalidateKind
• transaction_pool::TransactionError
• transaction_pool::TransactionPoolErrors
• transaction_pool::Update
• transaction_pool::diff::Error
• util::MyCow
• util::MyCowMut
• verifier::VerifierError
• verifier::common::CheckResult
• zkapps::intefaces::BranchEvaluation
• zkapps::snark::FlaggedOption
• zkapps::zkapp_logic::IsStart
• zkapps::zkapp_logic::ZkAppCommandElt

Traits

• AppendToInputs
• BaseLedger
• FpExt
• ToInputs
• TreeVersion
• base::BaseLedger
• hash::AppendToInputs
• hash::ToInputs
• port_ocaml::hash::OCamlHash
• proofs::constants::ForWrapData
• proofs::constants::ProofConstants
• proofs::field::FieldWitness
• proofs::field::FromFpFq
• proofs::field::IntoGeneric
• proofs::field::ToBoolean
• proofs::numbers::common::ForZkappCheck
• proofs::numbers::currency::CheckedCurrency
• proofs::numbers::nat::CheckedNat
• proofs::public_input::plonk_checks::ShiftingValue
• proofs::step::step_verifier::PlonkDomain
• proofs::to_field_elements::ToFieldElements
• proofs::to_field_elements::ToFieldElementsDebug
• proofs::transaction::Check
• proofs::transaction::legacy_input::CheckedLegacyInput
• scan_state::conv::AsAccountUpdateWithHash
• scan_state::currency::Magnitude
• scan_state::currency::MinMax
• scan_state::parallel_scan::Lens
• scan_state::parallel_scan::WithVTable
• scan_state::pending_coinbase::merkle_tree::TreeHasher
• scan_state::protocol_state::MinaHash
• scan_state::transaction_logic::GenericCommand
• scan_state::transaction_logic::GenericTransaction
• scan_state::transaction_logic::zkapp_command::AccountUpdateRef
• scan_state::transaction_logic::zkapp_command::MakeEvents
• scan_state::transaction_logic::zkapp_command::ToVerifiableCache
• scan_state::transaction_logic::zkapp_command::ToVerifiableStrategy
• sparse_ledger::LedgerIntf
• staged_ledger::hash::OCamlString
• tree_version::TreeVersion
• util::FpExt
• zkapps::checks::ZkappCheck
• zkapps::checks::ZkappCheckOps
• zkapps::intefaces::AccountIdInterface
• zkapps::intefaces::AccountInterface
• zkapps::intefaces::AccountUpdateInterface
• zkapps::intefaces::ActionsInterface
• zkapps::intefaces::AmountInterface
• zkapps::intefaces::BalanceInterface
• zkapps::intefaces::BoolInterface
• zkapps::intefaces::BranchInterface
• zkapps::intefaces::CallForestInterface
• zkapps::intefaces::CallStackInterface
• zkapps::intefaces::ControllerInterface
• zkapps::intefaces::GlobalSlotSinceGenesisInterface
• zkapps::intefaces::GlobalSlotSpanInterface
• zkapps::intefaces::GlobalStateInterface
• zkapps::intefaces::IndexInterface
• zkapps::intefaces::LedgerInterface
• zkapps::intefaces::LocalStateInterface
• zkapps::intefaces::ReceiptChainHashElementInterface
• zkapps::intefaces::ReceiptChainHashInterface
• zkapps::intefaces::SetOrKeepInterface
• zkapps::intefaces::SignedAmountInterface
• zkapps::intefaces::StackFrameInterface
• zkapps::intefaces::StackInterface
• zkapps::intefaces::TokenIdInterface
• zkapps::intefaces::TransactionCommitmentInterface
• zkapps::intefaces::TxnVersionInterface
• zkapps::intefaces::VerificationKeyHashInterface
• zkapps::intefaces::WitnessGenerator
• zkapps::intefaces::ZkappApplication
• zkapps::intefaces::ZkappHandler
• zkapps::non_snark::LedgerNonSnark

Macros

• cache::cache
• cache::cache_one
• elog
• proofs::numbers::currency::impl_currency
• proofs::numbers::nat::impl_nat
• proofs::provers::get_or_make
• proofs::verifiers::make_with_ext_cache
• proofs::verifiers::read_cache
• scan_state::currency::impl_number

Functions

• account::account::check_permission
• account::account::checked_equal_compressed_key
• account::account::checked_equal_compressed_key_const_and
• account::account::checked_verify_merkle_path
• account::account::default_zkapp_hash
• account::account::default_zkapp_uri_hash
• account::account::eval_no_proof
• account::account::verify_merkle_path
• account::conv::array_into
• account::conv::array_into_with
• account::conv::try_array_into_with
• account::legacy::get_legacy_hash_of
• account_empty_legacy_hash
• address::compute_nbytes
• array_into
• array_into_with
• base::next_uuid
• check_permission
• checked_equal_compressed_key
• checked_equal_compressed_key_const_and
• checked_verify_merkle_path
• compressed_pubkey_from_address_maybe_with_error
• decompress_pk
• default_zkapp_hash
• drop
• dummy::dummy_blockchain_proof
• dummy::dummy_transaction_proof
• dummy::for_tests::dummy_protocol_state
• dummy::for_tests::list_of_cmds
• dummy::sideloaded_proof
• dummy::trivial_verification_key
• eval_no_proof
• gen_compressed
• gen_keypair
• generators::user_command::sequence_zkapp_command_with_ledger
• generators::user_command::zkapp_command_with_ledger
• generators::zkapp_command::closed_interval_exact
• generators::zkapp_command::fee_to_amt
• generators::zkapp_command::gen_account_precondition_from_account
• generators::zkapp_command::gen_account_update_body_components
• generators::zkapp_command::gen_account_update_body_fee_payer
• generators::zkapp_command::gen_account_update_from
• generators::zkapp_command::gen_balance_change
• generators::zkapp_command::gen_epoch_data_predicate
• generators::zkapp_command::gen_fee
• generators::zkapp_command::gen_fee_payer
• generators::zkapp_command::gen_invalid_protocol_state_precondition
• generators::zkapp_command::gen_protocol_state_precondition
• generators::zkapp_command::gen_use_full_commitment
• generators::zkapp_command::gen_zkapp_command_from
• generators::zkapp_command_builder::get_transaction_commitments
• generators::zkapp_command_builder::replace_authorizations
• get_legacy_hash_of
• mask::alive_add
• mask::alive_collect
• mask::alive_len
• mask::alive_remove
• mask::exec
• mask::is_alive
• next_uuid
• ondisk::compression::compress
• ondisk::compression::decompress
• ondisk::database::compute_crc32
• ondisk::database::ensure_buffer_length
• ondisk::database::exchange_file_atomically
• ondisk::database::next_uuid
• ondisk::database::read_exact_at
• ondisk::database::read_u32
• ondisk::database::read_u64
• ondisk::database::read_u8
• ondisk::lock::sys::flock
• ondisk::lock::sys::try_lock_exclusive
• ondisk::lock::sys::unlock
• pid
• port_ocaml::hash::account_id_ocaml_hash
• port_ocaml::hash::final_mix
• port_ocaml::hash::hash_field
• port_ocaml::hash::mix
• port_ocaml::hash::rotl32
• proofs::accumulator_check::accumulator_check
• proofs::block::block_main
• proofs::block::checked_hash_protocol_state
• proofs::block::checked_hash_protocol_state2
• proofs::block::consensus::check_invariants
• proofs::block::consensus::compute_supercharge_coinbase
• proofs::block::consensus::create_constant
• proofs::block::consensus::create_constant_prime
• proofs::block::consensus::next_state_checked
• proofs::block::consensus::same_checkpoint_window
• proofs::block::consensus::update_min_window_density
• proofs::block::floating_point::amount_upper_bound
• proofs::block::floating_point::balance_upper_bound
• proofs::block::floating_point::bits_needed
• proofs::block::floating_point::of_quotient
• proofs::block::generate_block_proof
• proofs::block::genesis_state_hash_checked
• proofs::block::is_genesis_state_var
• proofs::block::is_genesis_state_var2
• proofs::block::ledger_proof_opt
• proofs::block::non_pc_registers_equal_var
• proofs::block::protocol_create_var
• proofs::block::snarky_taylor::one_minus_exp
• proofs::block::snarky_taylor::taylor_sum
• proofs::block::txn_statement_ledger_hashes_equal
• proofs::block::vrf::check
• proofs::block::vrf::eval
• proofs::block::vrf::eval_and_check_public_key
• proofs::block::vrf::get_vrf_evaluation
• proofs::block::vrf::hash_to_group
• proofs::block::vrf::is_satisfied
• proofs::block::vrf::scale_generator
• proofs::block::vrf::truncate_vrf_output
• proofs::caching::conv_linearization
• proofs::caching::conv_token
• proofs::caching::ensure_path_exists
• proofs::caching::into
• proofs::caching::into_with
• proofs::caching::openmina_cache_path
• proofs::caching::srs_from_bytes
• proofs::caching::srs_to_bytes
• proofs::caching::try_into
• proofs::caching::verifier_index_from_bytes
• proofs::caching::verifier_index_to_bytes
• proofs::circuit_blobs::fetch_blocking
• proofs::circuit_blobs::git_release_url
• proofs::circuit_blobs::home_base_dir
• proofs::constants::default_step_domains
• proofs::constants::default_step_widths
• proofs::constants::default_wrap_domain_indices
• proofs::constants::make_step_block_data
• proofs::constants::make_step_transaction_data
• proofs::constants::make_step_zkapp_data
• proofs::conv::epoch_ledger_seed
• proofs::conv::ledger_hash
• proofs::conv::state_hash
• proofs::field::field::add
• proofs::field::field::assert_lt
• proofs::field::field::compare
• proofs::field::field::const_add
• proofs::field::field::const_mul
• proofs::field::field::div
• proofs::field::field::div_by_inv
• proofs::field::field::equal
• proofs::field::field::mul
• proofs::field::field::muls
• proofs::field::field::square
• proofs::field::field::sub
• proofs::generate_block_proof
• proofs::generate_merge_proof
• proofs::generate_tx_proof
• proofs::group_map::bw19::potential_xs
• proofs::group_map::bw19_wrap
• proofs::group_map::conic_to_s
• proofs::group_map::field_to_conic
• proofs::group_map::is_square
• proofs::group_map::non_residue
• proofs::group_map::s_to_v_truncated
• proofs::group_map::sqrt_exn
• proofs::group_map::sqrt_flagged
• proofs::group_map::to_group
• proofs::group_map::tock::params
• proofs::group_map::tock::tock_params_impl
• proofs::group_map::wrap
• proofs::merge::dlog_plonk_index
• proofs::merge::generate_merge_proof
• proofs::merge::merge_main
• proofs::numbers::common::range_check
• proofs::numbers::common::range_check_flag
• proofs::numbers::common::range_check_impl
• proofs::numbers::currency::double_modulus_as_field_64_bits
• proofs::numbers::currency::modulus_as_field_64_bits
• proofs::opt_sponge::add_in
• proofs::opt_sponge::apply_mds_matrix
• proofs::opt_sponge::block_cipher
• proofs::opt_sponge::consume
• proofs::opt_sponge::full_round
• proofs::opt_sponge::mul_by_boolean
• proofs::opt_sponge::sbox
• proofs::prover::get_challenge_polynomial_commitments_padding
• proofs::prover::make_padded_proof_from_p2p
• proofs::provers::decode_constraints_data
• proofs::provers::decode_gates_file
• proofs::provers::default_circuits_config
• proofs::provers::devnet_circuit_directory
• proofs::provers::make_gates
• proofs::provers::prover_makers::get_or_make_block_step_prover
• proofs::provers::prover_makers::get_or_make_block_wrap_prover
• proofs::provers::prover_makers::get_or_make_merge_step_prover
• proofs::provers::prover_makers::get_or_make_tx_step_prover
• proofs::provers::prover_makers::get_or_make_tx_wrap_prover
• proofs::provers::prover_makers::get_or_make_zkapp_step_opt_signed_opt_signed_prover
• proofs::provers::prover_makers::get_or_make_zkapp_step_opt_signed_prover
• proofs::provers::prover_makers::get_or_make_zkapp_step_proof_prover
• proofs::provers::read_constraints_data
• proofs::provers::read_gates_file
• proofs::public_input::messages::dummy_ipa_step_sg
• proofs::public_input::plonk_checks::checked
• proofs::public_input::plonk_checks::derive_plonk
• proofs::public_input::plonk_checks::derive_plonk_checked
• proofs::public_input::plonk_checks::ft_eval0
• proofs::public_input::plonk_checks::ft_eval0_checked
• proofs::public_input::plonk_checks::get_feature_flag
• proofs::public_input::plonk_checks::make_shifts
• proofs::public_input::plonk_checks::powers_of_alpha
• proofs::public_input::plonk_checks::scalars::compute
• proofs::public_input::plonk_checks::scalars::eval
• proofs::public_input::plonk_checks::scalars::eval_cache
• proofs::public_input::plonk_checks::scalars::extract_caches
• proofs::public_input::plonk_checks::scalars::is_const
• proofs::public_input::plonk_checks::scalars::pow
• proofs::public_input::plonk_checks::scalars::pow_const
• proofs::public_input::plonk_checks::scalars::var_evaluate
• proofs::public_input::scalars::cell
• proofs::public_input::scalars::complete_add
• proofs::public_input::scalars::double
• proofs::public_input::scalars::endo_mul
• proofs::public_input::scalars::endo_mul_scalar
• proofs::public_input::scalars::endo_mul_scalar_fp
• proofs::public_input::scalars::endo_mul_scalar_fq
• proofs::public_input::scalars::field
• proofs::public_input::scalars::field_from_hex
• proofs::public_input::scalars::get_var
• proofs::public_input::scalars::square
• proofs::public_input::scalars::var_base_mul
• proofs::step::expand_deferred
• proofs::step::expand_proof
• proofs::step::extract_recursion_challenges
• proofs::step::step
• proofs::step::step_verifier::absorb_curve
• proofs::step::step_verifier::check_bulletproof
• proofs::step::step_verifier::domain_for_compiled
• proofs::step::step_verifier::domain_generator
• proofs::step::step_verifier::finalize_other_proof
• proofs::step::step_verifier::ft_comm
• proofs::step::step_verifier::hash_messages_for_next_step_proof_opt
• proofs::step::step_verifier::incrementally_verify_proof
• proofs::step::step_verifier::lagrange_commitment
• proofs::step::step_verifier::multiscale_known
• proofs::step::step_verifier::proof_verified_to_prefix
• proofs::step::step_verifier::public_input_commitment_dynamic
• proofs::step::step_verifier::scale_fast2
• proofs::step::step_verifier::scale_fast22
• proofs::step::step_verifier::scale_fast2_prime
• proofs::step::step_verifier::scale_for_ft_comm
• proofs::step::step_verifier::side_loaded_domain
• proofs::step::step_verifier::sponge_after_index
• proofs::step::step_verifier::squeeze_challenge
• proofs::step::step_verifier::squeeze_scalar
• proofs::step::step_verifier::tick_shifts
• proofs::step::step_verifier::to_high_low
• proofs::step::step_verifier::validate_feature_flags
• proofs::step::step_verifier::verify
• proofs::step::to_4limbs
• proofs::step::to_bytes
• proofs::step::verify_one
• proofs::step::wrap_compute_sg
• proofs::to_field_elements::field_of_bits
• proofs::transaction::add_fast
• proofs::transaction::bigint_to_bits
• proofs::transaction::bigint_to_bits2
• proofs::transaction::bits_msb
• proofs::transaction::checked_hash2
• proofs::transaction::checked_hash3
• proofs::transaction::compress_var
• proofs::transaction::compute_witness
• proofs::transaction::create_proof
• proofs::transaction::create_shifted_inner_curve
• proofs::transaction::debug::hash_field
• proofs::transaction::debug::hash_field_slice
• proofs::transaction::debug::hash_prev_challenge
• proofs::transaction::debug::hash_slice
• proofs::transaction::decompress_var
• proofs::transaction::double_group
• proofs::transaction::dummy_constraints
• proofs::transaction::endos
• proofs::transaction::field_to_bits
• proofs::transaction::field_to_bits2
• proofs::transaction::fold_map
• proofs::transaction::generate_tx_proof
• proofs::transaction::get_messages_for_next_wrap_proof_padded
• proofs::transaction::get_rng
• proofs::transaction::group_to_witness
• proofs::transaction::is_even
• proofs::transaction::legacy_input::bits_iter
• proofs::transaction::legacy_input::to_bits
• proofs::transaction::lookup_point
• proofs::transaction::lookup_single_bit
• proofs::transaction::lt_binary
• proofs::transaction::lt_bitstring_value
• proofs::transaction::make_group
• proofs::transaction::make_prover_index
• proofs::transaction::messages_for_next_wrap_proof_padding
• proofs::transaction::of_binary
• proofs::transaction::plonk_curve_ops::scale_fast
• proofs::transaction::plonk_curve_ops::scale_fast_unpack
• proofs::transaction::poseidon::apply_mds_matrix
• proofs::transaction::poseidon::sbox
• proofs::transaction::scalar_challenge::endo
• proofs::transaction::scalar_challenge::endo_cvar
• proofs::transaction::scalar_challenge::endo_inv
• proofs::transaction::scalar_challenge::to_field_checked
• proofs::transaction::scalar_challenge::to_field_checked_prime
• proofs::transaction::scale_known
• proofs::transaction::scale_non_constant
• proofs::transaction::transaction_snark::add_burned_tokens
• proofs::transaction::transaction_snark::apply_tagged_transaction
• proofs::transaction::transaction_snark::assert_equal_local_state
• proofs::transaction::transaction_snark::check_signature
• proofs::transaction::transaction_snark::check_timing
• proofs::transaction::transaction_snark::checked_chunked_signature_hash
• proofs::transaction::transaction_snark::checked_chunked_signature_verify
• proofs::transaction::transaction_snark::checked_hash
• proofs::transaction::transaction_snark::checked_hash3
• proofs::transaction::transaction_snark::checked_legacy_hash
• proofs::transaction::transaction_snark::checked_legacy_signature_hash
• proofs::transaction::transaction_snark::checked_legacy_signature_verify
• proofs::transaction::transaction_snark::checked_min_balance_at_slot
• proofs::transaction::transaction_snark::checked_signature_verify_impl
• proofs::transaction::transaction_snark::main
• proofs::transaction::transaction_snark::user_command_failure::compute_as_prover
• proofs::transaction::transaction_snark::user_command_failure::compute_as_prover_impl
• proofs::transaction::unpack_full
• proofs::transition_chain::verify
• proofs::transition_chain::verify_impl
• proofs::transition_chain::verify_right
• proofs::unfinalized::dummy_evals
• proofs::unfinalized::dummy_ipa_step_challenges
• proofs::unfinalized::dummy_ipa_step_challenges_computed
• proofs::unfinalized::dummy_ipa_wrap_challenges
• proofs::unfinalized::evals_from_p2p
• proofs::unfinalized::ro::bits_random_oracle
• proofs::unfinalized::ro::chal
• proofs::unfinalized::ro::of_bits
• proofs::unfinalized::ro::ro
• proofs::unfinalized::ro::tick
• proofs::unfinalized::ro::tock
• proofs::urs_utils::batch_dlog_accumulator_check
• proofs::urs_utils::batch_dlog_accumulator_generate
• proofs::util::challenge_polynomial
• proofs::util::challenge_polynomial_checked
• proofs::util::extract_bulletproof
• proofs::util::extract_polynomial_commitment
• proofs::util::field_of_bits
• proofs::util::four_u64_to_field
• proofs::util::proof_evaluation_to_absorption_sequence
• proofs::util::proof_evaluation_to_list
• proofs::util::proof_evaluation_to_list_opt
• proofs::util::sha256_sum
• proofs::util::to_absorption_sequence_opt
• proofs::util::two_u64_to_field
• proofs::verification::batch_verify
• proofs::verification::batch_verify_impl
• proofs::verification::compute_deferred_values
• proofs::verification::get_message_for_next_step_proof
• proofs::verification::get_message_for_next_wrap_proof
• proofs::verification::get_prepared_statement
• proofs::verification::make_scalars_env
• proofs::verification::on_fail::dump_block_verification
• proofs::verification::on_fail::dump_to_file
• proofs::verification::on_fail::dump_to_file_impl
• proofs::verification::on_fail::dump_tx_verification
• proofs::verification::on_fail::dump_zkapp_verification
• proofs::verification::on_fail::generate_new_filename
• proofs::verification::prev_evals_from_p2p
• proofs::verification::prev_evals_to_p2p
• proofs::verification::run_checks
• proofs::verification::validate_feature_flags
• proofs::verification::verify_block
• proofs::verification::verify_impl
• proofs::verification::verify_transaction
• proofs::verification::verify_with
• proofs::verification::verify_zkapp
• proofs::verifiers::cache_filename
• proofs::verifiers::cache_path
• proofs::verifiers::make_shifts
• proofs::verifiers::make_verifier_index
• proofs::verifiers::make_with_ext_cache
• proofs::verifiers::make_zkapp_verifier_index
• proofs::verifiers::read_cache
• proofs::verifiers::wrap_domains
• proofs::verifiers::write_cache
• proofs::wrap::actual_evaluation
• proofs::wrap::combined_inner_product
• proofs::wrap::create_oracle
• proofs::wrap::create_oracle_with_public_input
• proofs::wrap::deferred_values
• proofs::wrap::dummy_ipa_wrap_sg
• proofs::wrap::evals_of_split_evals
• proofs::wrap::exists_prev_statement
• proofs::wrap::expand_feature_flags
• proofs::wrap::ft_comm
• proofs::wrap::make_lagrange
• proofs::wrap::make_public_input
• proofs::wrap::make_scalars_env_checked
• proofs::wrap::one_hot_vector::of_index
• proofs::wrap::ones_vector
• proofs::wrap::pack_statement
• proofs::wrap::pad_messages_for_next_wrap_proof
• proofs::wrap::pseudo::choose
• proofs::wrap::pseudo::choose_checked
• proofs::wrap::pseudo::generator
• proofs::wrap::pseudo::mask
• proofs::wrap::pseudo::mask_checked
• proofs::wrap::pseudo::shifts
• proofs::wrap::pseudo::to_domain
• proofs::wrap::split_field
• proofs::wrap::wrap
• proofs::wrap::wrap_main
• proofs::wrap::wrap_verifier::actual_evaluation
• proofs::wrap::wrap_verifier::all_possible_domains
• proofs::wrap::wrap_verifier::bullet_reduce
• proofs::wrap::wrap_verifier::check_bulletproof
• proofs::wrap::wrap_verifier::choose_key
• proofs::wrap::wrap_verifier::chunks_needed
• proofs::wrap::wrap_verifier::equal_g
• proofs::wrap::wrap_verifier::finalize_other_proof
• proofs::wrap::wrap_verifier::group_map
• proofs::wrap::wrap_verifier::incrementally_verify_proof
• proofs::wrap::wrap_verifier::lagrange
• proofs::wrap::wrap_verifier::lagrange_commitment
• proofs::wrap::wrap_verifier::lagrange_with_correction
• proofs::wrap::wrap_verifier::lowest_128_bits
• proofs::wrap::wrap_verifier::map_plonk_to_field
• proofs::wrap::wrap_verifier::scale_fast2
• proofs::wrap::wrap_verifier::scale_fast2_prime
• proofs::wrap::wrap_verifier::split_commitments::combine
• proofs::zkapp::account_update_proof
• proofs::zkapp::accumulate_call_stack_hashes
• proofs::zkapp::basic_spec
• proofs::zkapp::check_protocol_state
• proofs::zkapp::first_account_update
• proofs::zkapp::generate_zkapp_proof
• proofs::zkapp::group::group_by_zkapp_command_rev
• proofs::zkapp::group::intermediate_state
• proofs::zkapp::merge_zkapp_proofs
• proofs::zkapp::of_zkapp_command_segment
• proofs::zkapp::of_zkapp_command_segment_exn
• proofs::zkapp::read_witnesses
• proofs::zkapp::snapp_proof_data
• proofs::zkapp::zkapp_command_witnesses_exn
• proofs::zkapp::zkapp_main
• scan_state::conv::fp_to_epochseed
• scan_state::conv::fp_to_statehash
• scan_state::conv::from_two_weights
• scan_state::conv::of_vk
• scan_state::conv::to_ledger_hash
• scan_state::conv::to_pending_coinbase_hash
• scan_state::fee_excess::assert_equal_checked
• scan_state::fee_excess::eliminate_fee_excess
• scan_state::fee_excess::eliminate_fee_excess_checked
• scan_state::parallel_scan::assert_job_count
• scan_state::parallel_scan::btree::child_left
• scan_state::parallel_scan::btree::child_right
• scan_state::parallel_scan::btree::depth_at
• scan_state::parallel_scan::btree::parent
• scan_state::parallel_scan::btree::range_at_depth
• scan_state::parallel_scan::ceil_log2
• scan_state::parallel_scan::flatten
• scan_state::parallel_scan::hash
• scan_state::parallel_scan::int_to_string
• scan_state::parallel_scan::sint_to_string
• scan_state::parallel_scan::take
• scan_state::parallel_scan::take_at
• scan_state::parallel_scan::test_update
• scan_state::parallel_scan::work
• scan_state::parallel_scan::work_to_do
• scan_state::pending_coinbase::checked_verify_merkle_path
• scan_state::protocol_state::hashes_abstract
• scan_state::scan_state::completed_work_to_scanable_work
• scan_state::scan_state::create_expected_statement
• scan_state::scan_state::group_list
• scan_state::scan_state::sha256_digest
• scan_state::scan_state::total_proofs
• scan_state::scan_state::transaction_snark::valid_ledgers_at_merge_unchecked
• scan_state::scan_state::transaction_snark::validate_ledgers_at_merge
• scan_state::scan_state::transaction_snark::validate_ledgers_at_merge_checked
• scan_state::transaction_logic::account_check_timing
• scan_state::transaction_logic::add_amount
• scan_state::transaction_logic::apply_coinbase
• scan_state::transaction_logic::apply_fee_transfer
• scan_state::transaction_logic::apply_transaction_first_pass
• scan_state::transaction_logic::apply_transaction_second_pass
• scan_state::transaction_logic::apply_transactions
• scan_state::transaction_logic::apply_user_command
• scan_state::transaction_logic::apply_user_command_unchecked
• scan_state::transaction_logic::apply_zkapp_command_first_pass
• scan_state::transaction_logic::apply_zkapp_command_first_pass_aux
• scan_state::transaction_logic::apply_zkapp_command_second_pass
• scan_state::transaction_logic::apply_zkapp_command_second_pass_aux
• scan_state::transaction_logic::apply_zkapp_command_unchecked
• scan_state::transaction_logic::apply_zkapp_command_unchecked_aux
• scan_state::transaction_logic::checked_cons_signed_command_payload
• scan_state::transaction_logic::compute_updates
• scan_state::transaction_logic::cons_signed_command_payload
• scan_state::transaction_logic::cons_zkapp_command_commitment
• scan_state::transaction_logic::for_tests::create_trivial_zkapp_account
• scan_state::transaction_logic::for_tests::trivial_zkapp_account
• scan_state::transaction_logic::get_account
• scan_state::transaction_logic::get_new_accounts
• scan_state::transaction_logic::get_with_location
• scan_state::transaction_logic::has_permission_to_receive
• scan_state::transaction_logic::is_timed
• scan_state::transaction_logic::pay_fee
• scan_state::transaction_logic::pay_fee_impl
• scan_state::transaction_logic::process_fee_transfer
• scan_state::transaction_logic::protocol_state::protocol_state_body_view
• scan_state::transaction_logic::protocol_state::protocol_state_view
• scan_state::transaction_logic::set_account
• scan_state::transaction_logic::set_with_location
• scan_state::transaction_logic::signed_command::weight::of_body
• scan_state::transaction_logic::signed_command::weight::payment
• scan_state::transaction_logic::signed_command::weight::stake_delegation
• scan_state::transaction_logic::step_all
• scan_state::transaction_logic::sub_account_creation_fee
• scan_state::transaction_logic::sub_amount
• scan_state::transaction_logic::timing_error_to_user_command_status
• scan_state::transaction_logic::update_timing_when_no_deduction
• scan_state::transaction_logic::validate_nonces
• scan_state::transaction_logic::validate_time
• scan_state::transaction_logic::validate_timing
• scan_state::transaction_logic::validate_timing_with_min_balance
• scan_state::transaction_logic::validate_timing_with_min_balance_impl
• scan_state::transaction_logic::verifiable::check_only_for_signature
• scan_state::transaction_logic::verifiable::compressed_to_pubkey
• scan_state::transaction_logic::zkapp_command::events_to_field
• scan_state::transaction_logic::zkapp_command::gen_events
• scan_state::transaction_logic::zkapp_command::invalid_public_key
• scan_state::transaction_logic::zkapp_command::valid::of_verifiable
• scan_state::transaction_logic::zkapp_command::valid::to_valid
• scan_state::transaction_logic::zkapp_command::verifiable::check_authorization
• scan_state::transaction_logic::zkapp_command::verifiable::create
• scan_state::transaction_logic::zkapp_command::verifiable::find_vk_via_ledger
• scan_state::transaction_logic::zkapp_command::verifiable::ok_if_vk_hash_expected
• scan_state::transaction_logic::zkapp_command::zkapp_weight::account_update
• scan_state::transaction_logic::zkapp_command::zkapp_weight::account_updates
• scan_state::transaction_logic::zkapp_command::zkapp_weight::fee_payer
• scan_state::transaction_logic::zkapp_command::zkapp_weight::memo
• short_backtrace
• split_at
• split_at_vec
• staged_ledger::diff::coinbase
• staged_ledger::diff::with_valid_signatures_and_proofs::forget_cw
• staged_ledger::diff_creation_log::add_fee
• staged_ledger::diff_creation_log::summary::coinbase_fees
• staged_ledger::hash::from_ocaml_str
• staged_ledger::hash::to_ocaml_str
• staged_ledger::pre_diff_info::check_coinbase
• staged_ledger::pre_diff_info::compute_statuses
• staged_ledger::pre_diff_info::create_coinbase
• staged_ledger::pre_diff_info::create_fee_transfers
• staged_ledger::pre_diff_info::fee_remainder
• staged_ledger::pre_diff_info::fee_transfers_map
• staged_ledger::pre_diff_info::get_impl
• staged_ledger::pre_diff_info::get_individual_info
• staged_ledger::pre_diff_info::get_transaction_data
• staged_ledger::pre_diff_info::sum_fees
• staged_ledger::transaction_validator::apply_transaction_first_pass
• staged_ledger::transaction_validator::apply_transactions
• staged_ledger::transaction_validator::apply_user_command
• staged_ledger::transaction_validator::within_mask
• staged_ledger::validate_block::blake2
• staged_ledger::validate_block::block_body_hash
• staged_ledger::validate_block::blocks_of_data
• staged_ledger::validate_block::create_schema
• staged_ledger::validate_block::max_links_per_block
• staged_ledger::validate_block::required_bitswap_block_count
• staged_ledger::validate_block::serialize_with_len_and_tag
• staged_ledger::validate_block::validate_block
• take
• take_at
• transaction_pool::currency_consumed
• transaction_pool::my_assert
• transaction_pool::preload_accounts
• transaction_pool::transaction_hash::hash_command
• tree_version::account_empty_legacy_hash
• try_array_into_with
• util::backtrace::short_backtrace
• util::decompress_pk
• util::drop
• util::gen_compressed
• util::gen_keypair
• util::pid
• util::pubkey::compressed_pubkey_from_address_maybe_with_error
• util::split_at
• util::split_at_vec
• util::take
• util::take_at
• verifier::common::check
• verifier::common::legacy_verify_signature
• verifier::common::verify_signature
• verifier::get_srs
• verifier::get_srs_mut
• verifier::verify
• zkapps::non_snark::controller_check
• zkapps::non_snark::get_with_location
• zkapps::non_snark::ledger::check_account
• zkapps::non_snark::ledger::get_account
• zkapps::non_snark::ledger::set_account
• zkapps::non_snark::start
• zkapps::non_snark::step
• zkapps::snark::call_stack_digest_checked_cons
• zkapps::snark::encode_auth
• zkapps::snark::eval_no_proof
• zkapps::snark::eval_proof
• zkapps::snark::implied_root
• zkapps::snark::signature_verifies
• zkapps::snark::verification_key_perm_fallback_to_signature_with_older_version
• zkapps::zkapp_logic::apply
• zkapps::zkapp_logic::assert_
• zkapps::zkapp_logic::get_next_account_update
• zkapps::zkapp_logic::permissions_exists
• zkapps::zkapp_logic::pop_call_stack
• zkapps::zkapp_logic::stack_frame_default
• zkapps::zkapp_logic::update_action_state

Type Aliases

• Address
• AddressIterator
• Uuid
• address::Address
• address::AddressIterator
• base::Uuid
• ondisk::Uuid
• ondisk::database::Key
• ondisk::database::Offset
• ondisk::database::Uuid
• ondisk::database::Value
• proofs::ProverIndex
• proofs::ProverProof
• proofs::VerifierIndex
• proofs::block::consensus::CheckedEpoch
• proofs::block::consensus::SubWindow
• proofs::field::GroupAffine
• proofs::public_input::plonk_checks::TwoFields
• proofs::transaction::InternalVars
• proofs::zkapp::GlobalStateForProof
• proofs::zkapp::LocalStateForProof
• proofs::zkapp::LocalStateForWitness
• proofs::zkapp::StartData
• proofs::zkapp::StartDataForProof
• scan_state::parallel_scan::JobValue
• scan_state::pending_coinbase::StackHash
• scan_state::scan_state::AvailableJob
• scan_state::scan_state::AvailableJobMessage
• scan_state::scan_state::JobValue
• scan_state::scan_state::transaction_snark::LedgerHash
• scan_state::scan_state::transaction_snark::work::Checked
• scan_state::scan_state::transaction_snark::work::Statement
• scan_state::scan_state::transaction_snark::work::Unchecked
• scan_state::transaction_logic::local_state::LocalStateEnv
• scan_state::transaction_logic::local_state::StackFrameChecked
• scan_state::transaction_logic::protocol_state::GlobalState
• scan_state::transaction_logic::valid::SignedCommand
• scan_state::transaction_logic::zkapp_command::AccountUpdate
• scan_state::transaction_logic::zkapp_command::EqData
• scan_state::transaction_logic::zkapp_command::Hash
• scan_state::transaction_logic::zkapp_command::Numeric
• scan_state::transaction_logic::zkapp_command::SideLoadedProof
• staged_ledger::diff::PreDiffWithAtMostOneCoinbase
• staged_ledger::diff::PreDiffWithAtMostTwoCoinbase
• staged_ledger::diff::with_valid_signatures::PreDiffWithAtMostOneCoinbase
• staged_ledger::diff::with_valid_signatures::PreDiffWithAtMostTwoCoinbase
• staged_ledger::diff::with_valid_signatures_and_proofs::PreDiffWithAtMostOneCoinbase
• staged_ledger::diff::with_valid_signatures_and_proofs::PreDiffWithAtMostTwoCoinbase
• staged_ledger::diff_creation_log::CountAndFee
• staged_ledger::diff_creation_log::DetailList
• staged_ledger::diff_creation_log::FeeSummable
• staged_ledger::diff_creation_log::LogList
• staged_ledger::diff_creation_log::SummaryList
• staged_ledger::validate_block::Link
• transaction_pool::ValidCommandWithHash
• verifier::VerifyCommandsResult
• zkapps::non_snark::GlobalStateForNonSnark
• zkapps::non_snark::NonSnarkVerificationKeyHash
• zkapps::non_snark::StartData
• zkapps::non_snark::ledger::InclusionProof
• zkapps::snark::SnarkAccount
• zkapps::snark::SnarkAccountUpdate
• zkapps::snark::SnarkAmount
• zkapps::snark::SnarkBalance
• zkapps::snark::SnarkBool
• zkapps::snark::SnarkCallForest
• zkapps::snark::SnarkGlobalSlot
• zkapps::snark::SnarkIndex
• zkapps::snark::SnarkSignedAmount
• zkapps::zkapp_logic::GlobalState
• zkapps::zkapp_logic::StartData

Statics

• GLOBAL_SKIP_PARTIAL_EQ
• account::account::GLOBAL_SKIP_PARTIAL_EQ
• base::UUID_GENERATOR
• mask::MASKS_ALIVE
• proofs::provers::BLOCK_STEP_PROVER
• proofs::provers::BLOCK_WRAP_PROVER
• proofs::provers::MERGE_STEP_PROVER
• proofs::provers::TX_STEP_PROVER
• proofs::provers::TX_WRAP_PROVER
• proofs::provers::ZKAPP_STEP_OPT_SIGNED_OPT_SIGNED_PROVER
• proofs::provers::ZKAPP_STEP_OPT_SIGNED_PROVER
• proofs::provers::ZKAPP_STEP_PROOF_PROVER
• proofs::verifiers::BLOCK_VERIFIER
• proofs::verifiers::TX_VERIFIER
• tree::HASH_EMPTIES
• verifier::VERIFIER_INDEX

Constants

• TXN_VERSION_CURRENT
• account::account::TXN_VERSION_CURRENT
• address::NBITS
• address::NBYTES
• generators::ACCOUNT_CREATION_FEE
• generators::LEDGER_DEPTH
• generators::MAX_ACCOUNT_UPDATES
• generators::MAX_TOKEN_UPDATES
• generators::MINIMUM_USER_COMMAND_FEE
• generators::zkapp_command::MINIMUM_USER_COMMAND_FEE
• ondisk::database::BUFFER_DEFAULT_CAPACITY
• ondisk::database::DATABASE_VERSION
• ondisk::database::DATABASE_VERSION_NBYTES
• ondisk::database::IS_REMOVED_BIT
• ondisk::database::KEY_IS_COMPRESSED_BIT
• ondisk::database::VALUE_IS_COMPRESSED_BIT
• proofs::BACKEND_TICK_ROUNDS_N
• proofs::BACKEND_TOCK_ROUNDS_N
• proofs::block::BLOCK_N_PREVIOUS_PROOFS
• proofs::block::consensus::N_MILLIS_PER_DAY
• proofs::block::floating_point::COEFFICIENTS
• proofs::block::floating_point::PARAMS
• proofs::block::vrf::VRF_OUTPUT_NBITS
• proofs::merge::MERGE_N_PREVIOUS_PROOFS
• proofs::numbers::currency::CURRENCY_NBITS
• proofs::opt_sponge::CAPACITY
• proofs::opt_sponge::M
• proofs::opt_sponge::PERM_ROUNDS_FULL
• proofs::opt_sponge::RATE
• proofs::public_input::plonk_checks::NPOWERS_OF_ALPHA
• proofs::public_input::plonk_checks::PERM_ALPHA0
• proofs::transaction::LATEST_RANDOM
• proofs::transaction::legacy_input::LEGACY_DEFAULT_TOKEN
• proofs::transaction::plonk_curve_ops::BITS_PER_CHUNK
• proofs::transaction::transaction_snark::user_command_failure::NUM_FIELDS
• proofs::wrap::COMMON_MAX_DEGREE_STEP_LOG2
• proofs::wrap::COMMON_MAX_DEGREE_WRAP_LOG2
• proofs::wrap::MAX_PROOFS_VERIFIED_N
• proofs::wrap::OTHER_FIELD_PACKED_CONSTANT_SIZE_IN_BITS
• proofs::wrap::PERMUTS_MINUS_1_ADD_N1
• proofs::wrap::wrap_verifier::NUM_POSSIBLE_DOMAINS
• proofs::wrap::wrap_verifier::OPS_BITS_PER_CHUNK
• scan_state::GENESIS_CONSTANT
• scan_state::transaction_logic::for_tests::DEPTH
• scan_state::transaction_logic::for_tests::MAX_INIT_BALANCE
• scan_state::transaction_logic::for_tests::MIN_INIT_BALANCE
• scan_state::transaction_logic::for_tests::NUM_ACCOUNTS
• scan_state::transaction_logic::for_tests::NUM_TRANSACTIONS
• staged_ledger::staged_ledger::ZKAPP_LIMIT_PER_BLOCK
• staged_ledger::validate_block::ABSOLUTE_MAX_LINKS_PER_BLOCK
• staged_ledger::validate_block::BODY_TAG
• staged_ledger::validate_block::LINK_SIZE
• staged_ledger::validate_block::MAX_BLOCK_SIZE
• transaction_pool::MAX_PER_15_SECONDS
• transaction_pool::REPLACE_FEE
• util::pubkey::MINA_ADDRESS_RAW_LEN