Struct account_state::backend::ProofCheck

pub struct ProofCheck(_);

A raw backend used to check proofs of execution.

This doesn’t delete anything since execution proofs won’t have mangled keys and we want to avoid collisions.

Implementations

impl ProofCheck

pub fn new(proof: &[DBValue]) -> Self

Create a new ProofCheck backend from the given state items.

Trait Implementations

impl AsHashDB<KeccakHasher, Vec<u8, Global>> for ProofCheck

fn as_hash_db(&self) -> &dyn HashDB<KeccakHasher, DBValue>

Perform upcast to HashDB for anything that derives from HashDB.

fn as_hash_db_mut(&mut self) -> &mut dyn HashDB<KeccakHasher, DBValue>

Perform mutable upcast to HashDB for anything that derives from HashDB.

impl Backend for ProofCheck

fn as_hash_db(&self) -> &dyn HashDB<KeccakHasher, DBValue>

Treat the backend as a read-only hashdb.

fn as_hash_db_mut(&mut self) -> &mut dyn HashDB<KeccakHasher, DBValue>

Treat the backend as a writeable hashdb.

fn add_to_account_cache(
    &mut self,
    _addr: Address,
    _data: Option<Account>,
    _modified: bool
)

Add an account entry to the cache.

fn cache_code(&self, _hash: H256, _code: Arc<Vec<u8>>)

Add a global code cache entry. This doesn’t need to worry about canonicality because it simply maps hashes to raw code and will always be correct in the absence of hash collisions.

fn get_cached_account(&self, _addr: &Address) -> Option<Option<Account>>

Get basic copy of the cached account. Not required to include storage. Returns ‘None’ if cache is disabled or if the account is not cached.

fn get_cached<F, U>(&self, _a: &Address, _f: F) -> Option<U> where
    F: FnOnce(Option<&mut Account>) -> U, 

Get value from a cached account. None is passed to the closure if the account entry cached is known not to exist. None is returned if the entry is not cached.

fn get_cached_code(&self, _hash: &H256) -> Option<Arc<Vec<u8>>>

Get cached code based on hash.

fn note_non_null_account(&self, _address: &Address)

Note that an account with the given address is non-null.

fn is_known_null(&self, _address: &Address) -> bool

Check whether an account is known to be empty. Returns true if known to be empty, false otherwise.

impl Clone for ProofCheck

fn clone(&self) -> ProofCheck

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl HashDB<KeccakHasher, Vec<u8, Global>> for ProofCheck

fn get(&self, key: &H256, prefix: Prefix<'_>) -> Option<DBValue>

Look up a given hash into the bytes that hash to it, returning None if the hash is not known.

fn contains(&self, key: &H256, prefix: Prefix<'_>) -> bool

Check for the existence of a hash-key.

fn insert(&mut self, prefix: Prefix<'_>, value: &[u8]) -> H256

Insert a datum item into the DB and return the datum’s hash for a later lookup. Insertions are counted and the equivalent number of remove()s must be performed before the data is considered dead.

fn emplace(&mut self, key: H256, prefix: Prefix<'_>, value: DBValue)

Like insert(), except you provide the key and the data is all moved.

fn remove(&mut self, _key: &H256, _prefix: Prefix<'_>)

Remove a datum previously inserted. Insertions can be “owed” such that the same number of insert()s may happen without the data being eventually being inserted into the DB. It can be “owed” more than once.

impl PartialEq<ProofCheck> for ProofCheck

fn eq(&self, other: &ProofCheck) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &ProofCheck) -> bool

This method tests for !=.

impl StructuralPartialEq for ProofCheck