Code

Eip4844 Point Evaluation precompile#2701

Code

Open

mariaKt wants to merge 10 commits intomasterruntimeverification/evm-semantics:masterfrom eip4844-pointevalprecruntimeverification/evm-semantics:eip4844-pointevalprecCopy head branch name to clipboard

+40-34

Commits

Commits on Feb 3, 2025

• Implementation of point evaluation precompile for EIP 4844.

  mariaKt

  committed
  70cf86b

  Copy full SHA for 70cf86b

• Updated failing.llvm

  mariaKt

  committed
  5ebd32a

  Copy full SHA for 5ebd32a

Commits on Feb 4, 2025

• Update kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md - formatting

  Show description for 09a43ad
  

  mariaKt

  and

  anvacaru

  authored
  09a43ad

  Copy full SHA for 09a43ad

• Update kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md - formatting

  Show description for 9ecc99f
  

  mariaKt

  and

  anvacaru

  authored
  9ecc99f

  Copy full SHA for 9ecc99f

• Added definition of Gpointeval schedule constant, and updated #gasExec.

  mariaKt

  committed
  77920f6

  Copy full SHA for 77920f6

• Added conditions to test the value of fields z and y vs BLS_MODULUS.

  mariaKt

  committed
  7e40cbf

  Copy full SHA for 7e40cbf

Commits on Feb 6, 2025

• Merge branch 'master' into eip4844-pointevalprec

  mariaKt

  authored
  b0c075e

  Copy full SHA for b0c075e

• Merge branch 'master' into eip4844-pointevalprec

  dwightguth

  authored
  eaf0320

  Copy full SHA for eaf0320

• Replaced large constant BLS_MODULUS with a macro.

  mariaKt

  committed
  99c8d82

  Copy full SHA for 99c8d82

Commits on Feb 8, 2025

• Updated failing.llvm list.

  mariaKt

  committed
  9a335d0

  Copy full SHA for 9a335d0