Code

Apply zero traces to the SMT#1398

Code

Draft

Stefan-Ethernal wants to merge 22 commits intozkevm0xPolygonHermez/cdk-erigon:zkevmfrom feat/apply-zero-traces-to-a-smt-trie0xPolygonHermez/cdk-erigon:feat/apply-zero-traces-to-a-smt-trieCopy head branch name to clipboard

+437-65

Commits

Commits on Nov 15, 2024

• feat: implement ApplyTraces for SMT (initial approach)

  Stefan-Ethernal

  committed
  8816664

• Handle self destructed in apply traces

  Stefan-Ethernal

  committed
  bf8e37d

• Fix ReadAccountStorage in the SMT

  Stefan-Ethernal

  committed
  fed9f58

• SMT implements StateWriter and left some TODO (open questions)

  Stefan-Ethernal

  committed
  835ceed

• Copy SMT

  Stefan-Ethernal

  committed
  c2c8989

• Remove TODOs and minor changes

  Stefan-Ethernal

  committed
  62aee9e

• Handle OpSMTLeaf case in witness deserialization

  Stefan-Ethernal

  committed
  d65eb36

• Change letter case

  Stefan-Ethernal

  committed
  f4e421c

• ApplyTraces UT (initial approach WIP)

  Stefan-Ethernal

  committed
  88b0d6c

• Restructure and add empty block test case

  Stefan-Ethernal

  committed
  d123fc0

• Pass the empty block apply traces test

  Stefan-Ethernal

  committed
  411c038

• Update test using a full witness

  

  cffls

  authored and

  Stefan-Ethernal

  committed
  cae60ad

• Simplify TestOperatorSMTLeafValue_EncodeDecode

  Stefan-Ethernal

  committed
  f012537

• Rename test cases

  Stefan-Ethernal

  committed
  350459c

• Handle errors in the smt.insert

  Stefan-Ethernal

  committed
  db344ac

• Optimize BuildSMTFromWitness (capture result in local vars)

  Stefan-Ethernal

  committed
  f5642fd

• Rename BuildSMTFromWitness to match capitalization

  Stefan-Ethernal

  committed
  a02339c

• Rename test cases, introduce isFullWitness flag and pass the empty block test case

  Stefan-Ethernal

  committed
  d2c1af3

• SC deployment and interaction test vectors (WIP)

  Stefan-Ethernal

  committed
  c6fa3b2

• Some simplifications in insertHashNode function

  Stefan-Ethernal

  committed
  8a13712

• Rebase and fix TestSMTApplyTraces

  Stefan-Ethernal

  committed
  f25ff64

• Use SetAccountState for setting balance and nonce when applying zero trace

  Stefan-Ethernal

  committed
  38bc237