π΅ μ΄λ리μ L1-zkEVM 2026 λ‘λλ§΅ 곡κ°
sose Β· 2026.01.27 Β· Forwarded
π΅ μ΄λ리μ L1-zkEVM 2026 λ‘λλ§΅ κ³΅κ° EF zkEVM νμ΄ L1μ zkEVM μ¦λͺ μ ν΅ν©νκΈ° μν ꡬ체μ μΈ 2026λ λ‘λλ§΅μ λ°ννμ΅λλ€. κΈ°μ‘΄μ λΈλ‘ μ¬μ€ν(re-execution) λ°©μμ zkEVM μ¦λͺ μΌλ‘ λ체νλ κ²μ΄ λͺ©νμ λλ€. 1. End-to-End μν¬νλ‘μ° EL ν΄λΌμ΄μΈνΈ β ExecutionWitness μμ± β zk
π΅ μ΄λ리μ L1-zkEVM 2026 λ‘λλ§΅ κ³΅κ° EF zkEVM νμ΄ L1μ zkEVM μ¦λͺ
μ ν΅ν©νκΈ° μν ꡬ체μ μΈ 2026λ
λ‘λλ§΅μ λ°ννμ΅λλ€. κΈ°μ‘΄μ λΈλ‘ μ¬μ€ν(re-execution) λ°©μμ zkEVM μ¦λͺ
μΌλ‘ λ체νλ κ²μ΄ λͺ©νμ
λλ€. 1. End-to-End μν¬νλ‘μ° EL ν΄λΌμ΄μΈνΈ β ExecutionWitness μμ± β zkEVM κ²μ€νΈ νλ‘κ·Έλ¨(μν κ²μ¦) β zkVM(RISC-V μ€ν) β zkEVM Proof μμ± β CL ν΄λΌμ΄μΈνΈ(κ²μ¦) 2. 8κ° ν΅μ¬ νλ‘μ νΈ (1) ExecutionWitness: λΈλ‘ κ²μ¦μ νμν λͺ¨λ λ°μ΄ν°λ₯Ό λ΄μ stateless μ
λ ₯ ν¬λ§· νμ€ν (2) zkEVM Guest Program: μν μ μ΄ μ ν¨μ±μ κ²μ¦νλ stateless λ‘μ§ μ μ (3) zkVM-Guest API νμ€ν: zkVMκ³Ό κ²μ€νΈ νλ‘κ·Έλ¨ κ° μΈν°νμ΄μ€ νμ€νλ‘ λ€μν ꡬν체 μνΈ μ΄μ© κ°λ₯ (4) CL ν΅ν©: λΉμ½ λΈλ‘ κ²μ¦ μ zkEVM μ¦λͺ
κ²μ¦ (zkAttester ν΄λΌμ΄μΈνΈ) (5) Prover μΈνλΌ: Ethproofs, Ere ν΅ν© λ° GPU μ€νμμ€ν (6) λ²€μΉλ§νΉ/λ©νΈλ¦: κ°μ€ 리νλΌμ΄μ± λ° νλ£¨λ² νλμ¨μ΄ μꡬμ¬ν μ μ (7) 보μ/Formal Verification: κ²μ€νΈ νλ‘κ·Έλ¨, zkVM, SNARK prover/verifier μ ν κ²μ¦ (8) ePBS(μΈλΆ μμ‘΄μ±): μ¦λͺ
μμ± μκ°μ 1-2μ΄ β 6-9μ΄λ‘ νμ₯ 3. ePBSμ μ€μμ± νμ¬ ν루λ²κ° μ¦λͺ
μ μμ±ν μ μλ μκ°μ 1-2μ΄μ λΆκ³Όν©λλ€. 2026λ
μ€λ° μμ λ Glamsterdam νλν¬ν¬μμ ePBSκ° λ°°ν¬λλ©΄ μ΄ μκ°μ΄ 6-9μ΄λ‘ λμ΄λ μ€μκ° μ¦λͺ
μμ±μ΄ νμ€μ μΌλ‘ κ°λ₯ν΄μ§λλ€. 4. μ°Έμ¬ ν Geth, Reth, Erigon, Nethermind, Besu, Ethrex λ± μ£Όμ EL ν΄λΌμ΄μΈνΈμ Lighthouse, Prysm, Teku, Nimbus, Lodestar, Grandine λ± CL ν΄λΌμ΄μΈνΈ, κ·Έλ¦¬κ³ Succinct, RISC0, Jolt, Axiom, MatterLabs λ± zkVM νλ€μ΄ μ°Έμ¬νκ³ μμ΅λλ€. νΈμ L2μ κΈ°μ μ΄ L1μΌλ‘ μ¬λΌμ€λ νλ¦μ΄ 본격νλκ³ μλ κ² κ°μ΅λλ€. νΉν ePBSκ° zkEVM ν΅ν©μ ν΅μ¬μ΄λΌλ μ , λ€μ Glamsterdamμ΄ μ€μν νλν¬ν¬κ° λ κ²μ΄λΌλ μ μ takeawayλ‘ κ°μ Έκ°μλ©΄ μ’μ κ² κ°μ΅λλ€