Ancestor hashes¶
The distance-indexed ancestor block-hash table (the BLOCKHASH source),
populated while indexing the witness header chain.
Non-normative
This page documents the model's host interface — internal contracts of the executable specification, not protocol rules.
val ancestor_hash_write¶
Records an ancestor block hash while the witness header chain is
indexed; index d holds the ancestor at distance d + 1.
val ancestor_hash_write = impure { c: "ancestor_hash_write" } : (ancestor_index, hash) -> unitAn index into the 256 most recent ancestor block hashes.
type ancestor_index = range(0, 255)The common digest type used by trie, code, and block hashes.
type hash = b256val ancestor_hash_read¶
The recorded ancestor hash at a distance index (the BLOCKHASH
source).
val ancestor_hash_read = impure { c: "ancestor_hash_read" } : ancestor_index -> hashAn index into the 256 most recent ancestor block hashes.
type ancestor_index = range(0, 255)The common digest type used by trie, code, and block hashes.
type hash = b256