Crate snark

Source

Modulesยง

block_verify
block_verify_effectful
merkle_path ๐Ÿ”’
snark_actions ๐Ÿ”’
snark_config ๐Ÿ”’
snark_event ๐Ÿ”’
snark_reducer ๐Ÿ”’
snark_state ๐Ÿ”’
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
srs_from_bytes
srs_to_bytes
verifier_index_from_bytes
verifier_index_to_bytes

Type Aliasesยง

SnarkActionWithMeta
SnarkActionWithMetaRef
VerifierIndex
VerifierSRS