List of all items

Structs

• BlockVerifier
• SnarkConfig
• SnarkState
• TransactionVerifier
• block_verify::SnarkBlockVerifyState
• block_verify::snark_block_verify_state::SnarkBlockVerifyState
• block_verify_effectful::SnarkBlockVerifyIdType
• snark_config::SnarkConfig
• snark_state::SnarkState
• user_command_verify::SnarkUserCommandVerifyState
• user_command_verify::snark_user_command_verify_state::SnarkUserCommandVerifyState
• user_command_verify_effectful::SnarkUserCommandVerifyIdType
• work_verify::SnarkWorkVerifyState
• work_verify::snark_work_verify_state::SnarkWorkVerifyState
• work_verify_effectful::SnarkWorkVerifyIdType

Enums

• SnarkAction
• SnarkEvent
• block_verify::SnarkBlockVerifyAction
• block_verify::SnarkBlockVerifyStatus
• block_verify::VerifiableBlockWithHash
• block_verify::snark_block_verify_actions::SnarkBlockVerifyAction
• block_verify::snark_block_verify_state::SnarkBlockVerifyStatus
• block_verify_effectful::SnarkBlockVerifyEffectfulAction
• block_verify_effectful::SnarkBlockVerifyError
• block_verify_effectful::snark_block_verify_effectful_actions::SnarkBlockVerifyEffectfulAction
• snark_actions::SnarkAction
• snark_event::SnarkEvent
• user_command_verify::SnarkUserCommandVerifyAction
• user_command_verify::SnarkUserCommandVerifyStatus
• user_command_verify::snark_user_command_verify_actions::SnarkUserCommandVerifyAction
• user_command_verify::snark_user_command_verify_state::SnarkUserCommandVerifyStatus
• user_command_verify_effectful::SnarkUserCommandVerifyEffectfulAction
• user_command_verify_effectful::SnarkUserCommandVerifyError
• user_command_verify_effectful::snark_user_command_verify_effectful_actions::SnarkUserCommandVerifyEffectfulAction
• work_verify::SnarkWorkVerifyAction
• work_verify::SnarkWorkVerifyStatus
• work_verify::snark_work_verify_actions::SnarkWorkVerifyAction
• work_verify::snark_work_verify_state::SnarkWorkVerifyStatus
• work_verify_effectful::SnarkWorkVerifyEffectfulAction
• work_verify_effectful::SnarkWorkVerifyError
• work_verify_effectful::snark_work_verify_effectful_actions::SnarkWorkVerifyEffectfulAction

Traits

• SnarkStore
• block_verify_effectful::SnarkBlockVerifyService
• block_verify_effectful::snark_block_verify_service::SnarkBlockVerifyService
• user_command_verify_effectful::SnarkUserCommandVerifyService
• user_command_verify_effectful::snark_user_command_verify_service::SnarkUserCommandVerifyService
• work_verify_effectful::SnarkWorkVerifyService
• work_verify_effectful::snark_work_verify_service::SnarkWorkVerifyService

Functions

• block_verify::reducer
• block_verify::snark_block_verify_reducer::reducer
• calc_merkle_root_hash
• get_srs
• merkle_path::calc_merkle_root_hash
• snark_event::res_kind
• srs_from_bytes
• srs_to_bytes
• user_command_verify::reducer
• user_command_verify::snark_user_command_verify_reducer::reducer
• verifier_index_from_bytes
• verifier_index_to_bytes
• work_verify::reducer
• work_verify::snark_work_verify_reducer::reducer

Type Aliases

• SnarkActionWithMeta
• SnarkActionWithMetaRef
• VerifierIndex
• VerifierSRS
• block_verify::SnarkBlockVerifyActionWithMeta
• block_verify::SnarkBlockVerifyActionWithMetaRef
• block_verify::snark_block_verify_actions::SnarkBlockVerifyActionWithMeta
• block_verify::snark_block_verify_actions::SnarkBlockVerifyActionWithMetaRef
• block_verify_effectful::SnarkBlockVerifyId
• snark_actions::SnarkActionWithMeta
• snark_actions::SnarkActionWithMetaRef
• user_command_verify::SnarkUserCommandVerifyActionWithMeta
• user_command_verify::SnarkUserCommandVerifyActionWithMetaRef
• user_command_verify::snark_user_command_verify_actions::OnSuccess
• user_command_verify::snark_user_command_verify_actions::SnarkUserCommandVerifyActionWithMeta
• user_command_verify::snark_user_command_verify_actions::SnarkUserCommandVerifyActionWithMetaRef
• user_command_verify_effectful::SnarkUserCommandVerifyId
• work_verify::SnarkWorkVerifyActionWithMeta
• work_verify::SnarkWorkVerifyActionWithMetaRef
• work_verify::snark_work_verify_actions::SnarkWorkVerifyActionWithMeta
• work_verify::snark_work_verify_actions::SnarkWorkVerifyActionWithMetaRef
• work_verify_effectful::SnarkWorkVerifyId