feat(arbitrum): light client

Cargo.toml

@@ -21,8 +21,6 @@ members = [
   "lib/beacon-api",
   "lib/block-message",
   "lib/chain-utils",
-  "lib/cometbls-groth16-verifier",
-  "lib/ethereum-verifier",
   "lib/gnark-key-parser",
   "lib/ics-008-wasm-client",
   "lib/ics23",
@@ -36,17 +34,21 @@ members = [
   "lib/scroll-codec",
   "lib/scroll-codec/fetch-test-vectors",
   "lib/scroll-rpc",
-  "lib/scroll-verifier",
   "lib/serde-utils",
   "lib/ssz",
   "lib/ssz/tests-generator",
   "lib/ssz-derive",
-  "lib/tendermint-verifier",
   "lib/unionlabs",
   "lib/voyager-message",
   "lib/zktrie-rs",
-  "lib/gnark-key-parser",
 
+  "lib/arbitrum-verifier",
+  "lib/cometbls-groth16-verifier",
+  "lib/ethereum-verifier",
+  "lib/scroll-verifier",
+  "lib/tendermint-verifier",
+
+  "light-clients/arbitrum-light-client",
   "light-clients/cometbls-light-client",
   "light-clients/ethereum-light-client",
   "light-clients/scroll-light-client",
@@ -75,7 +77,11 @@ disallowed_types = "deny"
 lto       = "thin"
 opt-level = 3
 
+[profile.dev]
+strip = true
+
 [workspace.dependencies]
+arbitrum-verifier         = { path = "lib/arbitrum-verifier", default-features = false }
 beacon-api                = { path = "lib/beacon-api", default-features = false }
 block-message             = { path = "lib/block-message", default-features = false }
 chain-utils               = { path = "lib/chain-utils", default-features = false }

dictionary.txt

@@ -204,6 +204,7 @@ appchain
 appchains
 appmodule
 appparams
+arbitrum
 arbtest
 arethetypeswrong
 argjson
@@ -393,6 +394,7 @@ domrehype
 dont
 downcasting
 drawio
+drpc
 dudx
 dydx
 dyld
@@ -412,6 +414,7 @@ ethabicodec
 ethash
 ethcall
 etherbase
+ethevent
 ethkey
 evidencekeeper
 evidencetypes

flake.nix

@@ -212,6 +212,7 @@
         ./light-clients/cometbls-light-client/cometbls-light-client.nix
         ./light-clients/tendermint-light-client/tendermint-light-client.nix
         ./light-clients/scroll-light-client/scroll-light-client.nix
+        ./light-clients/arbitrum-light-client/arbitrum-light-client.nix
         ./lib/cometbls-groth16-verifier/default.nix
         ./cosmwasm/cosmwasm.nix
         ./evm/evm.nix

lib/arbitrum-verifier/Cargo.toml

@@ -0,0 +1,28 @@
+[package]
+edition      = { workspace = true }
+license-file = { workspace = true }
+name         = "arbitrum-verifier"
+repository   = { workspace = true }
+version      = "0.1.0"
+
+[lints]
+workspace = true
+
+[package.metadata.crane]
+# test-include = ["lib/arbitrum-verifier/tests"]
+
+[dependencies]
+ethereum-verifier     = { workspace = true }
+ethers-core.workspace = true
+hex                   = { workspace = true }
+hex-literal.workspace = true
+rlp                   = { workspace = true }
+serde                 = { workspace = true }
+serde-utils           = { workspace = true }
+serde_json            = { workspace = true }
+sha3                  = { workspace = true }
+thiserror             = { workspace = true }
+unionlabs             = { workspace = true }
+
+[dev-dependencies]
+error_reporter = "1.0.0"

lib/arbitrum-verifier/arbitrum-verifier.nix

@@ -0,0 +1,11 @@
+{ ... }: {
+  perSystem = { self', pkgs, system, config, crane, stdenv, dbg, lib, ... }:
+    let
+      arbitrum-verifier-all = (crane.buildWorkspaceMember {
+        crateDirFromRoot = "lib/arbitrum-verifier";
+      });
+    in
+    {
+      inherit (arbitrum-verifier-all) checks;
+    };
+}