Module snark 

Modules

block_verify

block_verify_effectful

Block Verification Service Layer

snark_effects 🔒

user_command_verify

user_command_verify_effectful

work_verify

work_verify_effectful

Structs

BlockVerifier

Verifier index for block proofs (consensus layer / block selection). Lazily initialized and cached globally.

SnarkConfig

SnarkState

TransactionVerifier

Verifier index for transaction proofs (execution layer / transaction confirmation). Lazily initialized and cached globally.

Enums

SnarkAction

SnarkEvent

Traits

SnarkStore

Functions

calc_merkle_root_hash

Computes the root hash of the merkle tree with an account and its merkle path

get_srs

Returns the Structured Reference String (SRS) for SNARK verification. Delegates to ledger::verifier::get_srs with Fp field type.

snark_effects

srs_from_bytes

srs_to_bytes

verifier_index_from_bytes

verifier_index_to_bytes

Type Aliases

SnarkActionWithMeta

SnarkActionWithMetaRef

VerifierIndex

VerifierSRS