chore:move "Dave" to architecture

cartesi-rollups/core-concepts/architecture.md

@@ -10,7 +10,8 @@ resources:
     title: Grokking Cartesi Nodes
   - url: https://youtu.be/uUzn_vdWyDM?si=J2or_Nfym5pabkjNz3z8Gw
     title: Cartesi Machine DeepDive
-
+  - url: https://github.com/cartesi/dave
+    title: Dave
 ---
 
 The Cartesi Rollups framework is designed to enable complex computations off-chain while maintaining the security guarantees of blockchain technology. It consists of two primary components: **the on-chain base layer** (such as Ethereum) where the dApp contract is deployed, and **the off-chain execution layer** where the dApp's backend logic operates.
@@ -150,3 +151,12 @@ The validation process ensures the integrity of the off-chain computations:
 
 - These proofs can be used to validate outputs on-chain, such as validating notices or executing vouchers.
 
+## Introducing Dave — an interactive fraud-proof system
+
+[Dave](https://github.com/cartesi/dave) is Cartesi's dispute resolution algorithm designed to address shortcomings in existing fraud-proof protocols. Traditional fraud-proof systems often face challenges such as delay attacks and vulnerability to Sybil attacks, where malicious nodes can disrupt operations by continuously challenging transactions or overwhelming honest validators.
+
+Dave introduces an approach where the resources required to defend against disputes grow logarithmically with the number of opponents. This means that defending against challenges remains affordable for a single honest node, even in the face of multiple attackers.
+
+With Dave, a single honest participant can effectively defend their claims on-chain, ensuring the integrity of transactions without relying on trust in validators. Based on the [Permissionless Refereed Tournaments algorithm](https://arxiv.org/abs/2212.12439), this protocol empowers anyone to validate rollups and uphold correct states on-chain, enhancing transaction security and reliability.
+
+In a way similar to how a consensus algorithm is crucial for achieving agreement on a single state of the blockchain among all nodes in a base layer chain, Dave plays a fundamental role in ensuring the integrity and trustworthiness of state transitions within Cartesi Rollups.

cartesi-rollups/core-concepts/optimistic-rollups.md

@@ -8,8 +8,6 @@ resources:
     title: Everything you need to know about Optimistic Rollups
   - url: https://cartesi.io/blog/grokking-dave/
     title: Fraud-proof protocols | Grokking Dave
-  - url: https://github.com/cartesi/dave
-    title: Dave repository
 ---
 
 Cartesi implements a rollup design known as Optimistic Rollups.
@@ -69,13 +67,3 @@ Transactions and computations occur off-chain, leading to more intricate logic w
 
 Cartesi's architecture specializes in app-specific rollups(appchains). Each dApp has its dedicated rollup for off-chain computation, enhancing scalability and performance. 
 
-
-## Introducing Dave — an interactive fraud-proof system
-
-[Dave](https://github.com/cartesi/dave) is Cartesi's dispute resolution algorithm designed to address shortcomings in existing fraud-proof protocols. Traditional fraud-proof systems often face challenges such as delay attacks and vulnerability to Sybil attacks, where malicious nodes can disrupt operations by continuously challenging transactions or overwhelming honest validators.
-
-Dave introduces an approach where the resources required to defend against disputes grow logarithmically with the number of opponents. This means that defending against challenges remains affordable for a single honest node, even in the face of multiple attackers.
-
-With Dave, a single honest participant can effectively defend their claims on-chain, ensuring the integrity of transactions without relying on trust in validators. Based on the [Permissionless Refereed Tournaments algorithm](https://arxiv.org/abs/2212.12439), this protocol empowers anyone to validate rollups and uphold correct states on-chain, enhancing transaction security and reliability.
-
-In a way similar to how a consensus algorithm is crucial for achieving agreement on a single state of the blockchain among all nodes in a base layer chain, Dave plays a fundamental role in ensuring the integrity and trustworthiness of state transitions within Cartesi Rollups.