Verifier in Solidity#5

Open

jtcoolen wants to merge 30 commits into

mainfrom

solidity-verifier

Commits on May 15, 2026

feat(transcript): add Keccak challenge sampling
jtcoolen
committed

Commits on May 19, 2026

Commits on Jun 1, 2026

Fix clippy proof layout iteration
jtcoolen
committed
Add Solidity verifier shape isolation test artifacts

jiajieey
authored and
jtcoolen
committed
Expand Solidity verifier shape negative tests

jiajieey
authored and
jtcoolen
committed
Add IVC adversarial calldata checks

jiajieey
authored and
jtcoolen
committed
Add RSA Solidity verifier E2E coverage

jiajieey
authored and
jtcoolen
committed
Add SHA preimage Solidity verifier E2E coverage

jiajieey
authored and
jtcoolen
committed
Record solc compatibility smoke results

jiajieey
authored and
jtcoolen
committed
Harden real-circuit Solidity calldata negatives

jiajieey
authored and
jtcoolen
committed
Add hybrid Merkle tree Solidity verifier coverage

jiajieey
authored and
jtcoolen
committed
test: add verifier differential mutation checks
jtcoolen
committed
Add quotient evaluator regression tests
jtcoolen
committed
Gate split quotient proof tests on truncation mode
jtcoolen
committed
test(solidity-verifier): expand component audit coverage
jtcoolen
committed
test: cover all public input slots in fixtures
jtcoolen
committed