From 36dea722293c33d0b05742030c504c26027b7a17 Mon Sep 17 00:00:00 2001 From: Pete Date: Fri, 17 Jan 2025 09:42:56 -0600 Subject: [PATCH 1/2] updating diagrams --- arbitrum-docs/assets/challenge-manager.svg | 10 ++++++++++ arbitrum-docs/assets/interactive-fraud-proof.svg | 10 ++++++++++ arbitrum-docs/diagrams/_challenge-manager.mdx | 15 --------------- .../07-interactive-fraud-proofs.mdx | 6 ++---- 4 files changed, 22 insertions(+), 19 deletions(-) create mode 100755 arbitrum-docs/assets/challenge-manager.svg create mode 100755 arbitrum-docs/assets/interactive-fraud-proof.svg delete mode 100644 arbitrum-docs/diagrams/_challenge-manager.mdx diff --git a/arbitrum-docs/assets/challenge-manager.svg b/arbitrum-docs/assets/challenge-manager.svg new file mode 100755 index 000000000..8e8274ade --- /dev/null +++ b/arbitrum-docs/assets/challenge-manager.svg @@ -0,0 +1,10 @@ + + + + + + + + + + diff --git a/arbitrum-docs/assets/interactive-fraud-proof.svg b/arbitrum-docs/assets/interactive-fraud-proof.svg new file mode 100755 index 000000000..7b403fd17 --- /dev/null +++ b/arbitrum-docs/assets/interactive-fraud-proof.svg @@ -0,0 +1,10 @@ + + + + + + + + + + diff --git a/arbitrum-docs/diagrams/_challenge-manager.mdx b/arbitrum-docs/diagrams/_challenge-manager.mdx deleted file mode 100644 index cf9d1a4df..000000000 --- a/arbitrum-docs/diagrams/_challenge-manager.mdx +++ /dev/null @@ -1,15 +0,0 @@ -```mermaid -flowchart TD - B[Block challenge] - E[Execution challenge] - W[Waiting for timeout to allow for an emergency upgrade] - Start --> B - B -->|bisectExecution| B - B -->|challengeExecution| E - B -->|challengeExecution from non-finished state| W - E -->|bisectExecution| E - E -->|oneStepProveExecution| W - W -->|timeout| End - B -->|timeout| End - E -->|timeout| End -``` diff --git a/arbitrum-docs/how-arbitrum-works/07-interactive-fraud-proofs.mdx b/arbitrum-docs/how-arbitrum-works/07-interactive-fraud-proofs.mdx index 7c1b76980..f5a66ff79 100644 --- a/arbitrum-docs/how-arbitrum-works/07-interactive-fraud-proofs.mdx +++ b/arbitrum-docs/how-arbitrum-works/07-interactive-fraud-proofs.mdx @@ -9,7 +9,7 @@ content_type: get-started Suppose the rollup chain looks like this: -![img](https://lh4.googleusercontent.com/kAZY9H73dqcHvboFDby9nrtbYZrbsHCYtE5X9NIZQsvcz58vV0WUWUq1xsYKzYWQSc1nPZ8W86LLX0lD3y-ctEaG2ISa2Wpz2pYxTzW09P1UvqSDuoqkHlGDYLLMTzLqX4rlP8Ca) +![Interactive Fraud Proof](../assets/interactive-fraud-proof.svg) RBlocks 93 and 95 are siblings (they both have 92 as predecessor). Alice is bonded on 93 and Bob is bonded on 95. @@ -65,13 +65,11 @@ The challenge protocol is designed so that the dispute can be resolved with a mi The only point where the protocol needs to evaluate a move “on the merits” is at the one-step proof, where it needs to look at Alice’s proof and determine whether the proof that was provided does indeed establish that the virtual machine moves from the before state to the claimed after state after one step of computation. -import ChallengeManagerDiagram from '../diagrams/_challenge-manager.mdx'; - ## ChallengeManager This section is a technical deep dive into the `ChallengeManager` and will walk through the arbitration of a challenge game in great detail. The `ChallengeManager` plays the role of the arbiter of challenge games. Here's a diagram of the challenge state machine: - +![Challenge Manager](../assets/challenge-manager.svg) ### Block challenge From d5ce7832adad4ab24b373f5240024396cbdf07e9 Mon Sep 17 00:00:00 2001 From: Pete Date: Fri, 17 Jan 2025 12:28:35 -0600 Subject: [PATCH 2/2] updated text on infographic --- arbitrum-docs/assets/challenge-manager.svg | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/arbitrum-docs/assets/challenge-manager.svg b/arbitrum-docs/assets/challenge-manager.svg index 8e8274ade..1aa7c593d 100755 --- a/arbitrum-docs/assets/challenge-manager.svg +++ b/arbitrum-docs/assets/challenge-manager.svg @@ -1,10 +1,10 @@ - - + + - +