feat: linea (#1885)

introduce:
- `gnark-mimc` crate that implements:
- mimc over bn254 symmetric to
https://github.com/Consensys/gnark-crypto/blob/master/ecc/bn254/fr/mimc/mimc.go
- mimc over bls12377 symmetric to
https://github.com/Consensys/gnark-crypto/blob/master/ecc/bls12-377/fr/mimc/mimc.go
- `linea-zktrie` crate that implements:
  - zktrie node decoding
  - merkle path verification (inclusion/noninclusion)
- spec defined in [EXT_ zkEVM_ State management .pdf (internal
documentation)](https://github.com/unionlabs/union/files/15280720/EXT_.zkEVM_.State.management.pdf)
- `linea-verifier` for L2 -> L1 settlement chain verification
- `linea-light-client` implementing wasm light client with all the above

Cargo.toml

@@ -22,8 +22,10 @@ members = [
   "lib/block-message",
   "lib/chain-utils",
   "lib/gnark-key-parser",
+  "lib/gnark-mimc",
   "lib/ics-008-wasm-client",
   "lib/ics23",
+  "lib/linea-verifier",
   "lib/macros",
   "lib/pg-queue",
   "lib/poseidon-rs",
@@ -53,6 +55,7 @@ members = [
   "light-clients/ethereum-light-client",
   "light-clients/scroll-light-client",
   "light-clients/tendermint-light-client",
+  "light-clients/linea-light-client",
 
   "tools/generate-rust-sol-bindings",
   "tools/keygen",
@@ -63,6 +66,7 @@ members = [
   "unionvisor",
   "voyager",
   "zerg",
+  "lib/linea-zktrie",
 ]
 
 [workspace.package]
@@ -89,8 +93,11 @@ cometbls-groth16-verifier = { path = "lib/cometbls-groth16-verifier", default-fe
 contracts                 = { path = "generated/rust/contracts", default-features = false }
 ethereum-verifier         = { path = "lib/ethereum-verifier", default-features = false }
 gnark-key-parser          = { path = "lib/gnark-key-parser", default-features = false }
+gnark-mimc                = { path = "lib/gnark-mimc", default-features = false }
 ics008-wasm-client        = { path = "lib/ics-008-wasm-client", default-features = false }
 ics23                     = { path = "lib/ics23", default-features = false }
+linea-verifier            = { path = "lib/linea-verifier", default-features = false }
+linea-zktrie              = { path = "lib/linea-zktrie", default-features = false }
 macros                    = { path = "lib/macros", default-features = false }
 pg-queue                  = { path = "lib/pg-queue", default-features = false }
 poseidon-rs               = { path = "lib/poseidon-rs", default-features = false }

dictionary.txt

@@ -145,6 +145,7 @@ Solana
 Subdemom
 Sublist
 Subo
+Subtrie
 Tada
 Tempdirs
 Tendermint
@@ -172,6 +173,7 @@ Wrapf
 XMSB
 YMSB
 Yair
+ZKACCOUNT
 ZKTRIE
 Zerg
 aarch
@@ -608,6 +610,7 @@ libwasmvmstatic
 lifecycles
 lightclient
 lightclients
+linea
 linkmode
 livenesses
 lmfao
@@ -685,6 +688,7 @@ nois
 nolint
 nolus
 nonexist
+noninclusion
 noopener
 noreferrer
 notrunc
@@ -919,6 +923,7 @@ subsec
 subslice
 substituters
 substores
+subtrie
 sumbitter
 superforms
 supermajority

flake.nix

@@ -213,7 +213,10 @@
         ./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
+        ./light-clients/linea-light-client/linea-light-client.nix
         ./lib/cometbls-groth16-verifier/default.nix
+        ./lib/linea-verifier/default.nix
+        ./lib/linea-zktrie/default.nix
         ./cosmwasm/cosmwasm.nix
         ./evm/evm.nix
         ./tools/rust-proto.nix