kkrt-labs · Eikix · Oct 10, 2024 · Oct 2, 2024 · Oct 3, 2024 · Oct 7, 2024
diff --git a/.trunk/trunk.yaml b/.trunk/trunk.yaml
@@ -2,12 +2,12 @@
 # To learn more about the format of this file, see https://docs.trunk.io/reference/trunk-yaml
 version: 0.1
 cli:
-  version: 1.22.5
+  version: 1.22.6
 # Trunk provides extensibility via plugins. (https://docs.trunk.io/plugins)
 plugins:
   sources:
     - id: trunk
-      ref: v1.6.2
+      ref: v1.6.3
       uri: https://github.com/trunk-io/plugins
 # Many linters and tools depend on runtimes - configure them here. (https://docs.trunk.io/runtimes)
 runtimes:
@@ -17,15 +17,17 @@ runtimes:
 # This is the section where you manage your linters. (https://docs.trunk.io/check/configuration)
 lint:
   enabled:
-    - [email protected].255
+    - [email protected].257
     - git-diff-check
     - [email protected]
     - [email protected]
+    - [email protected]
+    - [email protected]
     - [email protected]
     - [email protected]
     - [email protected]
-    - trivy@0.55.2
-    - [email protected].5
+    - trivy@0.56.1
+    - [email protected].7
 actions:
   disabled:
     - trunk-announce

diff --git a/docs/ecosystem/account-abstraction/_category_.json b/docs/ecosystem/account-abstraction/_category_.json
diff --git a/docs/ecosystem/account-abstraction/particle.md b/docs/ecosystem/account-abstraction/particle.md
diff --git a/docs/ecosystem/data-indexers/envio.md b/docs/ecosystem/data-indexers/envio.md
diff --git a/docs/ecosystem/data-indexers/ponder.md b/docs/ecosystem/data-indexers/ponder.md
diff --git a/docs/ecosystem/oracles/pyth.md b/docs/ecosystem/oracles/pyth.md
diff --git a/docs/index.mdx b/docs/index.mdx
@@ -1,126 +1,31 @@
 ---
-title: Quick start - Kakarot on Starknet
+title: A gentle introduction to Kakarot, the provable EVM
 sidebar_position: 1
 ---
 
-## What is Kakarot on Starknet?
+## Welcome to our documentation v2
 
-Kakarot Labs has developed an EVM built in [Cairo](https://www.cairo-lang.org/),
-the provable language that powers [Starknet](https://starkware.co/starknet/) and
-all the StarknetOS chains (also called CairoVM chains, or Starknet appchains).
+Welcome to our new documentation! We've updated it to reflect our roadmap and
+vision for the coming years: accelerating the adoption of ZK in
+Ethereum-equivalent blockchain infrastructure. Kakarot is a verifiable EVM, and
+KKRT Labs is bringing it to [Starknet L2](./starknet/overview) as well as to all
+[EVM chains](./keth) - L1 and rollups alike.
 
-Kakarot enhances and extends Starknet by making it a MultiVM environment.
-Starknet effectively becomes EVM compatible; allowing the use of both CairoVM
-and EVM for builders & users. Additionally, Kakarot
-[strives to push more innovations](https://ethcc.io/archive/Kakarot-zkEVM-beyond-ethereum-compatibility)
-to the L2 space, participating in governance initiative such as
-[Rollup Improvement Proposals](https://github.com/ethereum/RIPs) (RIPs) and
-[Rollcall](https://github.com/ethereum/pm/issues/1071#issuecomment-2221171582).
+## Introduction
 
-## How can I use Kakarot?
+KKRT Labs is building Kakarot, the most lightweight and efficient EVM proving
+engine, in order to power the “STARKification” of all EVM execution. Kakarot is
+built on Cairo, Starkware’s STARK-friendly ZK-VM.
 
-As a user and developer, you can interact with Starknet MultiVM thanks to
-Kakarot in the same way you would interact with Ethereum mainnet or any other
-Ethereum-based chain (use Metamask, Rainbow, build with Foundry or Hardhat,
-etc.). **Change the RPC URL and it "just works"**. That being said, Kakarot is
-still in alpha testnet phase 🚧 and unexpected behavior may still occur. Reach
-out to us on [discord](https://discord.gg/kakarotzkevm) to report bugs 🐛.
+KKRT Labs packages this provable EVM into four different applications.
 
-Though we aim at no difference at all between Ethereum and Kakarot ZK-EVM — and
-we actually work toward passing 100% of the
-[official Ethereum Foundation test](https://github.com/ethereum/tests) — they
-are currently some small difference recorded in the
-[differences between Kakarot and Ethereum](differences) page in this
-documentation website.
+| Component                                   | Description                                                                                          |
+| ------------------------------------------- | ---------------------------------------------------------------------------------------------------- |
+| **[Starknet MultiVM](./starknet/overview)** | EVM execution on Starknet L2, making Starknet EVM compatible and thus a MultiVM ZK-rollup.           |
+| **[K Stack](./keth/kstack)**                | An EVM-compatible ZK-appchain modular stack composable with Starknet Appchains or Reth-based rollups |
+| **[Keth](./keth)**                          | A chain-agnostic EVM proving service. Prove billions of EVM blocks from L1 and L2 networks.          |
+| **[KBTC](./keth/kbtc)**                     | The first-ever EVM proving engine verifiable on Bitcoin, facilitating scaling for Bitcoin L1.        |
 
-### As a user, how can I interact with Kakarot on Starknet?
+> Diagram - Kakarot proving engine has four applications
 
-Head over to the [survival guide](survival-guide) section to find useful links
-for our alpha testnet. Again, change the network to Kakarot in your wallet and
-it should "just work".
-
-#### Adding Kakarot Sepolia to Metamask
-
-You can add Kakarot Sepolia to Metamask by clicking the button below:
-
-export const AddKakarotNetwork = () => (
-  <button
-    onClick={async () => {
-      const params = [
-        {
-          chainId: "0x6B6B7274",
-          chainName: "Kakarot Sepolia",
-          nativeCurrency: {
-            name: "Ether",
-            symbol: "ETH",
-            decimals: 18,
-          },
-          rpcUrls: ["https://sepolia-rpc.kakarot.org"],
-          blockExplorerUrls: [
-            "https://sepolia.kakarotscan.org/",
-            "https://sepolia-blockscout.kakarot.org",
-          ],
-        },
-      ];
-      try {
-        // Note: if chain is already added, returns `null` and won't error out
-        await window.ethereum.request({
-          method: "wallet_addEthereumChain",
-          params,
-        });
-      } catch (error) {
-        // TODO: Add User feedback (e.g. Toast message) in case of error
-        console.error(error);
-      }
-    }}
-    className="button button--primary button--md padding-horiz--md padding-vert--md margin--md margin-bottom--lg"
-  >
-    🦊 Add Kakarot Sepolia to Metamask 🦊
-  </button>
-);
-
-<AddKakarotNetwork />
-
-Or by add a new network manually to Metamask: open the Metamask extension. Click
-"Add Network". Choose "Add a Network Manually". Then fill the fields:
-
-| Category       | Value                            |
-| -------------- | -------------------------------- |
-| Network Name   | Kakarot Sepolia                  |
-| RPC URL        | https://sepolia-rpc.kakarot.org  |
-| Chain Id       | 1802203764                       |
-| Symbol         | ETH                              |
-| Block Explorer | https://sepolia.kakarotscan.org/ |
-
-### As a developer, how can I build on Kakarot ZK-EVM?
-
-For developers as well, change the RPC URL, and it should "just work".
-
-In case you encounter some unknown bug or want to discuss new features, you can:
-
-- Join our discord and get support: https://discord.gg/kakarotzkevm
-- Ask us anything on Twitter: https://twitter.com/KakarotZkEvm
-
-## What differentiates Kakarot on Starknet?
-
-1. Agile and lightweight: Kakarot's core EVM is built on Cairo, a provable VM,
-   enabling cryptography efforts to be separated from engineering. As a result,
-   Kakarot's code is lean, highly auditable and easily extensible. A strong
-   example is the
-   [EOF set of Ethereum Improvement Proposals probably coming in Pectra](https://x.com/_weidai/status/1816019532890444216),
-   which are easy to implement for Kakarot and extremely hard for circuit-based
-   ZK-EVMs.
-
-2. Interoperable and modular: Kakarot enables a MultiVM environment on Starknet
-   chains. Solidity contracts can call into Cairo programs, and vice-versa.
-   Starknet apps can gain exposure to EVM ecosystems, and EVM apps can finally
-   land on Starknet for minimal costs.
-
-3. Highly-performant and future-proof: Building on Kakarot means benefiting from
-   all the future upgrades of the Cairo stack. For instance, with the release of
-   [Stwo](https://github.com/starkware-libs/stwo), an extremely fast prover by
-   Starkware expected in early 2025, Kakarot apps will directly experience
-   100-1,000x improvements in ZK proof generation performance.
-
-For a deep-dive into the Kakarot design, check out
-[the architecture overview](architecture/understanding-zkevm).
+![Kakarot proving engine has four applications](../static/diagrams/kakarot_applications.png)
diff --git a/docs/keth/_category_.json b/docs/keth/_category_.json
@@ -0,0 +1,8 @@
+{
+  "label": "Keth - EVM prover",
+  "position": 4,
+  "link": {
+    "type": "generated-index",
+    "description": "Introduce Provability of all EVM Execution in the Ethereum Ecosystem - Prove billions of EVM blocks"
+  }
+}