From cd7cb4e2fceed41f19707b3d1a91914c7c0dd8a4 Mon Sep 17 00:00:00 2001 From: Paul Dowman Date: Thu, 13 Jun 2024 15:09:13 -0600 Subject: [PATCH] Fix internal links in fault proof index page (#232) This fixes links to headings within the same page. mdBook-generated reference links are lower case, but references were defined with title case. --- specs/fault-proof/index.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/specs/fault-proof/index.md b/specs/fault-proof/index.md index 965b70ea6..f9c03124d 100644 --- a/specs/fault-proof/index.md +++ b/specs/fault-proof/index.md @@ -59,7 +59,7 @@ the exact same computation by authenticating the inputs with a [Pre-image Oracle ## Pre-image Oracle -[oracle]: #Pre-image-Oracle +[oracle]: #pre-image-oracle The pre-image oracle is the only form of communication between the [Program] (in the [Client](#client) role) and the [VM] (in the [Server](#server) role). @@ -275,7 +275,7 @@ and thus keep the proof size per instruction bounded. ## Fault Proof Program -[Program]: #Fault-Proof-Program +[Program]: #fault-proof-program The Fault Proof Program defines the verification of claims of the state-transition outputs of the L2 rollup as a pure function of L1 data. @@ -452,7 +452,7 @@ All accelerated precompiles must be functionally equivalent to their EVM equival ## Fault Proof VM -[VM]: #Fault-Proof-VM +[VM]: #fault-proof-vm A fault proof VM implements: @@ -480,7 +480,7 @@ Fault Proof VMs: ## Fault Proof Interactive Dispute Game -[Interactive Dispute Game]: #Fault-Proof-Interactive-Dispute-Game +[Interactive Dispute Game]: #fault-proof-interactive-dispute-game The interactive dispute game allows actors to resolve a dispute with an onchain challenge-response game that bisects to a disagreed block $n \rightarrow n + 1$ state transition, and then over the execution trace of the VM