From 9a5198d4262093517585361384d4542e6d3062ec Mon Sep 17 00:00:00 2001 From: clabby Date: Mon, 24 Jun 2024 23:47:38 -0400 Subject: [PATCH] lint --- specs/granite/header_accumulator.md | 13 +++++++++---- specs/granite/receipts_accumulator.md | 1 - 2 files changed, 9 insertions(+), 5 deletions(-) delete mode 100644 specs/granite/receipts_accumulator.md diff --git a/specs/granite/header_accumulator.md b/specs/granite/header_accumulator.md index a6219b186..f51541064 100644 --- a/specs/granite/header_accumulator.md +++ b/specs/granite/header_accumulator.md @@ -1,18 +1,18 @@ - - - # Granite - Header Accumulator + + **Table of Contents** +- [Overview](#overview) - [Timestamp Activation](#timestamp-activation) - [Rationale](#rationale) - [Constants & Definitions](#constants--definitions) - [Accumulator Tree Construction](#accumulator-tree-construction) - [Interior Commitment Truncation Rules](#interior-commitment-truncation-rules) - [Block Execution Changes](#block-execution-changes) + - [Block Validity Changes](#block-validity-changes) - [Header Changes](#header-changes) - - [`extraData` size enforcement](#extradata-size-enforcement) - [`extraData` format](#extradata-format) - [Header RLP Size Considerations](#header-rlp-size-considerations) - [Accumulator Tree Functions](#accumulator-tree-functions) @@ -51,6 +51,11 @@ validated to resolve its dependents. With this, the computational complexity of reduced, only requiring two merkle proofs as well as `n` merkle patricia trie proofs to verify inclusion within the receipt roots within the headers commited to in the accumulator tree. +This feature also allows for very efficient historical state lookups for other situations that are periphery to this +optimization for interop. For example, in the fault proof program, this feature removes the need for a commit-reveal +walkback when retrieving data within the historical chain. Instead, we would only need to provide small inclusion +proofs for a constant-time lookup of any data in the historical state accumulator. + ## Constants & Definitions | Term | Description | diff --git a/specs/granite/receipts_accumulator.md b/specs/granite/receipts_accumulator.md deleted file mode 100644 index 6c0e821d4..000000000 --- a/specs/granite/receipts_accumulator.md +++ /dev/null @@ -1 +0,0 @@ -# Receipt Accumulator