ProverRay/Zig verifier experiments for the wiop compilers by arijitdutta67 · Pull Request #3102 · Consensys/linea-monorepo

arijitdutta67 · 2026-05-14T11:20:52Z

This PR implements issue(s) #

I wrote new tests for my new core changes.
I have successfully ran tests, style checker and build against my new changes locally.
If this change is deployed to any environment (including Devnet), E2E test coverage exists or is included in this
PR.
I have informed the team of any breaking changes if there are any.

arijitdutta67 added 6 commits May 11, 2026 13:28

feat: initial zig verifier for fibonacci

15998db

zig verifier codegen

b0d18f7

fix(minor): improve global verifier

1fc2f00

fix(wiop): minor comment and code fixes

ba18a20

feat: zig verifier and codegen added

0b9e28a

refactor(global): simplyfy the test, generate verifier for all scenarios

68caa86

arijitdutta67 self-assigned this May 14, 2026

arijitdutta67 added the Prover-RAY All issues or PR relevant to the establishment of the framework in prover-ray label May 14, 2026

fix(codegen): remove experiments files

5bbe4ce

ivokub modified the milestones: RV recursion - M2, RV recursion - M1 May 15, 2026

This was referenced May 18, 2026

[RV recursion] - Vortex verification #3108

Open

[RV verifier] - measure verifier operations #3122

Open

Provide feedback