feat(zkevm): SP1 platform for ZKEVM guests (eth-act zkvm-standards)#2763

Open

tamirhemo wants to merge 48 commits into

mainfrom

Commits on Apr 30, 2026

feat(zkevm-sdk): scaffolding for non-Rust SP1 guests against eth-act/zkvm-standards C ABI

tamirhemo
and
claude
committed
use light prover
tamirhemo
committed
feat(zkevm-sdk): add fibonacci + panic examples

tamirhemo
and
claude
committed
feat(zkevm-sdk): implement zkvm_keccak256 precompile + keccak example

tamirhemo
and
claude
committed
feat(zkevm-sdk): switch zkvm_keccak256 to patched tiny-keccak

tamirhemo
and
claude
committed
feat(zkevm-sdk): implement zkvm_sha256 via patched RustCrypto-hashes

tamirhemo
and
claude
committed
refactor(zkevm-sdk): unify all examples under zkevm/examples/Cargo.toml

tamirhemo
and
claude
committed
feat(zkevm-sdk): add C versions of fibonacci, panic, keccak; extract zkevm-c-build helper

tamirhemo
and
claude
committed
feat(sp1-build): expose find_lld, CLANG_FLAGS, build_program_staticlib

tamirhemo
and
claude
committed
feat(zkevm-sdk): redistributable SDK tarball + C-program template + release workflow

tamirhemo
and
claude
committed
clippy
tamirhemo
committed
chore(zkevm-sdk): rename CI to build-only, drop release-creation logic

tamirhemo
and
claude
committed
chore(zkevm-sdk/examples): use light prover in execute scripts

tamirhemo
and
claude
committed
chore(zkevm-sdk/examples): enable sp1-sdk `cuda` feature in the examples workspace

tamirhemo
and
claude
committed
chore(zkevm-sdk/examples): enable sp1-sdk `network` feature too

tamirhemo
and
claude
committed
feat(zkevm-sdk/examples): add prove scripts for panic and panic-c

tamirhemo
and
claude
committed
feat(zkevm-sdk): assert-c + exit-code-c examples; route <assert.h> to halt(1)

tamirhemo
and
claude
committed
feat(zkevm-sdk): implement zkvm_ripemd160 + ripemd-c example

tamirhemo
and
claude
committed
feat(zkevm-sdk): implement zkvm_blake2f + blake2f-c example

tamirhemo
and
claude
committed
feat(zkevm-sdk): implement zkvm_secp256k1_verify + secp256k1-c example

tamirhemo
and
claude
committed
feat(zkevm-sdk): implement zkvm_secp256r1_verify + secp256r1-c example

tamirhemo
and
claude
committed
feat(zkevm-sdk): implement zkvm_bn254_g1_add/mul/pairing + bn254-c example

tamirhemo
and
claude
committed
feat(zkevm-sdk): implement zkvm_bls12_g1/g2_add, _msm, _pairing + bls12-c

tamirhemo
and
claude
committed
feat(zkevm-sdk): implement zkvm_modexp + modexp-c example

tamirhemo
and
claude
committed
feat(zkevm-sdk): implement zkvm_secp256k1_ecrecover + ecrecover-c

tamirhemo
and
claude
committed
feat(zkevm-sdk): implement zkvm_bls12_map_fp{,2}_to_g{1,2}

tamirhemo
and
claude
committed
docs(zkevm-sdk): refresh libzkevm precompile module index

tamirhemo
and
claude
committed
feat(zkevm-sdk): implement zkvm_kzg_point_eval via kzg-rs + kzg-c example

tamirhemo
and
claude
committed
test(zkevm-sdk/examples): add zkevm-fixtures crate; expand kzg-c with consensus-spec vectors

tamirhemo
and
claude
committed
test(zkevm-sdk/examples): wycheproof differential coverage for secp256k1-c

tamirhemo
and
claude
committed
test(zkevm-sdk/examples): wycheproof differential coverage for ecrecover-c

tamirhemo
and
claude
committed
chore: refresh Cargo.lock after sp1-patches retag to branch=main

tamirhemo
and
claude
committed

Commits on May 1, 2026

Commits on May 5, 2026

Merge branch 'main' into tamir/zkevm
tamirhemo
authored

Commits on May 12, 2026

Commits on May 14, 2026

Merge branch 'main' into tamir/zkevm
tamirhemo
authored

Commits on May 23, 2026

Merge branch 'main' into tamir/zkevm
tamirhemo
authored