Skip to content

Deferred proof verification: guests verify leanVM proofs, resolved by the recursion machine - #522

Draft
kevaundray wants to merge 15 commits into
leanEthereum:riscv-explorationfrom
kevaundray:kw/deferred-proofs
Draft

Deferred proof verification: guests verify leanVM proofs, resolved by the recursion machine#522
kevaundray wants to merge 15 commits into
leanEthereum:riscv-explorationfrom
kevaundray:kw/deferred-proofs

Merge upstream riscv-exploration 37c1525f9 into kw/deferred-proofs

461ab22
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Validate mobile benchmark source
succeeded Oct 14, 2026 in 11s