Module work_verify

Source
Expand description

§SNARK Work Verification State Machine

This module manages the verification of SNARK work proofs submitted by external SNARK workers. It validates computational work that helps maintain the blockchain’s security and scalability.

§Overview

SNARK work verification handles:

  • Transaction SNARK proofs: Proofs for transaction validity
  • Merge proofs: Proofs combining multiple transaction proofs

Re-exports§

pub use crate::work_verify_effectful::SnarkWorkVerifyError;
pub use crate::work_verify_effectful::SnarkWorkVerifyId;
pub use crate::work_verify_effectful::SnarkWorkVerifyIdType;

Modules§

snark_work_verify_actions 🔒
snark_work_verify_reducer 🔒
snark_work_verify_state 🔒

Structs§

SnarkWorkVerifyState

Enums§

SnarkWorkVerifyAction
SnarkWorkVerifyStatus

Functions§

reducer

Type Aliases§

SnarkWorkVerifyActionWithMeta
SnarkWorkVerifyActionWithMetaRef