diff --git a/pages/builders/chain-operators/tutorials/create-l2-rollup.mdx b/pages/builders/chain-operators/tutorials/create-l2-rollup.mdx index 54daaeefd..c08f61415 100644 --- a/pages/builders/chain-operators/tutorials/create-l2-rollup.mdx +++ b/pages/builders/chain-operators/tutorials/create-l2-rollup.mdx @@ -71,7 +71,7 @@ Make sure that you have correctly hooked `direnv` into your shell by modifying y If you haven't edited a config file then you probably haven't configured `direnv` properly (and things might not work later). -## Get access to a sepolia node +## Get access to a Sepolia node You'll be deploying a OP Stack Rollup chain that uses a Layer 1 blockchain to host and order transaction data. The OP Stack Rollups were designed to use EVM Equivalent blockchains like Ethereum, OP Mainnet, or standard Ethereum testnets as their L1 chains. diff --git a/pages/builders/node-operators/tutorials.mdx b/pages/builders/node-operators/tutorials.mdx index de908fd0f..3021a99d5 100644 --- a/pages/builders/node-operators/tutorials.mdx +++ b/pages/builders/node-operators/tutorials.mdx @@ -19,5 +19,5 @@ This section provides information on various node operations. It covers running - + diff --git a/pages/stack/fault-proofs.mdx b/pages/stack/fault-proofs.mdx index 4da08bb26..2e4c1daf8 100644 --- a/pages/stack/fault-proofs.mdx +++ b/pages/stack/fault-proofs.mdx @@ -22,4 +22,6 @@ Documentation covering Cannon, Challenger, Explainer, Fp Components, Fp Security + + diff --git a/pages/stack/fault-proofs/_meta.json b/pages/stack/fault-proofs/_meta.json index 0bf43dd6e..f0bcba810 100644 --- a/pages/stack/fault-proofs/_meta.json +++ b/pages/stack/fault-proofs/_meta.json @@ -2,6 +2,7 @@ "explainer": "Fault proofs explainer", "fp-components": "FP system components", "cannon": "FPVM: Cannon", + "asterisc": "FPVM: Asterisc", "challenger": "OP-Challenger", "mips": "MIPS.sol", "fp-security": "FP Mainnet security" diff --git a/pages/stack/fault-proofs/asterisc.mdx b/pages/stack/fault-proofs/asterisc.mdx new file mode 100644 index 000000000..bbbbc4e23 --- /dev/null +++ b/pages/stack/fault-proofs/asterisc.mdx @@ -0,0 +1,47 @@ +--- +title: Fault proof VM - Asterisc +lang: en-US +description: Learn about Asterisc +--- + +# Asterisc + +Asterisc is an alternative implementation of the [fault-proof VM](/stack/fault-proofs/fp-components#fault-proof-virtual-machine). When combined with the a [fault proof program](/stack/fault-proofs/fp-components#fault-proof-program) like [Kona](https://github.com/anton-rs/kona), Asterisc is equivalent to Cannon + OP-Program. Asterisc uses a RISC-V architecture instead of MIPS, and Kona is written in Rust instead of Go. + +Read more about fault-proofs in our [Fault-proof explainer](/stack/fault-proofs/explainer) and [Cannon documentation](/stack/fault-proofs/cannon#overview-of-offchain-cannon-components) + +## Benefits over Cannon + +[Cannon](https://github.com/ethereum-optimism/cannon/) offers similar functionality but has key differences: + +* Cannon operates on a 32-bit MIPS architecture, whereas Asterisc uses RISC-V. +* Asterisc supports 64-bit operations and deterministic threading, making it more future-ready. + +## How it works + +Asterisc, when combined with fault proof program like Kona, enables parties to reach consensus on shared execution trace states. In cases of dispute, it identifies the diverging execution step. Commitments are generated for memory, registers, CSR, and VM states across the execution trace, with disputed steps emulated within the EVM to resolve inconsistencies. + +## Getting started + +Ready to dive in? Keep reading for a quick overview, or head over to the [Asterisc repo](https://github.com/ethereum-optimism/asterisc) for a complete walkthrough. + +1. Read through the [additional repo docs](https://github.com/ethereum-optimism/asterisc/docs). +2. Use Foundry to compile the associated smart contracts. +3. Compile test binaries using the [`Makefile`](https://github.com/ethereum-optimism/asteriscblob/master/tests/go-tests/Makefile). +4. Execute `rvgo` tests to validate both on-chain and off-chain operations through RISC-V unit tests. + +## FAQ + +The following section highlights specific advantages that Asterisc provides over other fault-proof systems. + +### Benefits over Cartesi + +[Cartesi](https://github.com/cartesi/) provides RISC-V fraud-proofing for a full machine, including numerous additional features. However, this added complexity can introduce risks. Asterisc focuses on simplicity by running single-process executions with minimal system calls. + +### Benefits over WebAssembly + +Arbitrum's WebAssembly-based fraud-proofing leverages a business-source license and transformation to WAVM, limiting its general usability. In contrast, Asterisc is open-source under the MIT license, offering broader applicability. + +## Contributing + +Asterisc is designed to run Go programs for fraud-proofing optimistic rollups. Contributions that align with its goals of simplicity, minimalism, and compatibility are highly encouraged. diff --git a/words.txt b/words.txt index 5ab0b5b84..03512b4c9 100644 --- a/words.txt +++ b/words.txt @@ -10,9 +10,10 @@ Allnodes Allocs allocs ANDI -Ankr Apeworx Arweave +Asterisc +asterisc authrpc Badgeholder's Badgeholders @@ -49,6 +50,7 @@ Brotli brotli Callouts callouts +Cartesi CCIP Celestia Celestia's @@ -148,7 +150,6 @@ holesky IERC IGNOREPRICE ignoreprice -Immunefi implicity Inator inator @@ -197,7 +198,6 @@ minsuggestedpriorityfee Mintable Mintplex MIPSEVM -Mitigations Monitorism Moralis Mordor @@ -292,8 +292,6 @@ Proxied Proxyd proxyd pseudorandomly -Pyth -Pyth's QRNG Quicknode quicknode @@ -326,9 +324,6 @@ runbooks RWAs safedb Schnorr -SEPOLIA -Sepolia -sepolia seqnr SEQUENCERHTTP sequencerhttp @@ -400,8 +395,8 @@ VMDEBUG vmdebug VMODULE vmodule -voxel Warpcast +WAVM xlarge XORI xtensibility @@ -409,3 +404,13 @@ ZKPs ZKVM Zora zora +Sepolia +voxel +sepolia +SEPOLIA +Pyth +Pyth's +Ankr +Mitigations +Immunefi +Arbitrum's \ No newline at end of file