Bare-metal (zkVM guest) support for Constantine - #631

Open

Filter94 wants to merge 24 commits into

mratsim:masterfrom

Consensys-Incorporated:feat/standalone-zkvm-guest

Commits on Sep 4, 2026

Add standalone (bare-metal zkVM guest) gates
Roman
committed
e169d02
Add standalone primitive implementations + panicoverride
Roman
committed
9241a6d
Adding some helpers for a freestanding riscv64 target
Filter94
committed
73cbd4f
Adding some missing files as well
Filter94
committed
0a258cd
Addressed review comments
Filter94
committed
07bed87
Exposed eth_evm_secp256k1_verify, addressed more comments
Filter94
committed
ec41926
Exposed eth_zkvm_secp256k1_ecrecover too, changed the secp verification function name to zkvm as well
Filter94
committed
a132035

Commits on Sep 7, 2026

Review comments, vulenrability fix
Filter94
committed
be43621

Commits on Sep 8, 2026

Commits on Sep 9, 2026

Run embedded KZG profiles in parallel tests
Filter94
committed
59532b4
Fixed the entrypoint
Filter94
committed
7c83acf
Added missing test
Filter94
committed
fe7d318
Added invocation of the test back
Filter94
committed
892a24f

Commits on Sep 10, 2026

tests: add BN254 pairing check bypass test
ivokub
committed
c9db46c
fix: BN254 infinity point pairing check bypass
ivokub
committed
56498f3
Merge pull request #1 from Consensys-Incorporated/fix/bn254-pairing-precompile
ivokub
authored
f3f8b4b
tests: cover zkVM secp256k1 ABI
Filter94
committed
23f5881
fix: address freestanding guest review comments
Filter94
committed
bb23463
tests: isolate zkVM secp256k1 ABI cases
Filter94
committed
ba2b28f

Commits on Sep 16, 2026

Fixed compilation issue
Filter94
committed
420c90c