Module snark

Source

Modules§

block_verify
block_verify_effectful
snark_effects 🔒
user_command_verify
user_command_verify_effectful
work_verify
work_verify_effectful

Structs§

BlockVerifier
SnarkConfig
SnarkState
TransactionVerifier

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
snark_effects
srs_from_bytes
srs_to_bytes
verifier_index_from_bytes
verifier_index_to_bytes

Type Aliases§

SnarkActionWithMeta
SnarkActionWithMetaRef
VerifierIndex
VerifierSRS