feat: linea #1885

hussein-aitlahcen · 2024-05-09T11:32:46Z

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)
linea-verifier for L2 -> L1 settlement chain verification
linea-light-client implementing wasm light client with all the above

lib/unionlabs/src/linea/account.rs

lib/unionlabs/src/linea/proof.rs

lib/linea-zktrie/src/node.rs

light-clients/linea-light-client/src/client.rs

…, `linea-light-client`

hussein-aitlahcen force-pushed the linea branch 2 times, most recently from 0c62e5c to 1ff2681 Compare May 10, 2024 22:29

hussein-aitlahcen changed the title ~~wip: linea~~ feat: linea May 10, 2024

hussein-aitlahcen force-pushed the linea branch from 1ff2681 to 9aaf74e Compare May 10, 2024 22:33

hussein-aitlahcen marked this pull request as ready for review May 10, 2024 22:33

hussein-aitlahcen force-pushed the linea branch 2 times, most recently from a249382 to cd5aef3 Compare May 10, 2024 22:51

benluelo reviewed May 10, 2024

View reviewed changes

hussein-aitlahcen force-pushed the linea branch from cd5aef3 to 333c7ad Compare May 10, 2024 23:19

hussein-aitlahcen added 5 commits May 13, 2024 19:08

feat(linea): introduce gnark-mimc, linea-zktrie, linea-verifier…

fcb1839

…, `linea-light-client`

chore: spellcheck

64c7f61

chore: clippy

9e80490

chore(linea): move decoding to associated fns

825e75a

fix(linea): ensure header contains an inclusion proof

5c0d0b7

hussein-aitlahcen force-pushed the linea branch from 11dfe97 to 5c0d0b7 Compare May 13, 2024 17:09

feat(linea): ergonomic types and full header test

c17b590

hussein-aitlahcen force-pushed the linea branch from f6aede9 to c17b590 Compare May 13, 2024 18:06

hussein-aitlahcen added 2 commits May 13, 2024 20:55

fix(linea): unused error variant

33329b0

feat(linea): more type safe and robust node pathing

7cdff1e

aeryz approved these changes May 13, 2024

View reviewed changes

benluelo approved these changes May 13, 2024

View reviewed changes

hussein-aitlahcen merged commit 20d5d7f into main May 13, 2024
34 of 38 checks passed

hussein-aitlahcen deleted the linea branch May 13, 2024 20:54

Provide feedback