A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
by rvolz.eth1420 🥝 • 2h • arxiv.org
avatar
Practical proving in the scope of the Ethereum Foundation’s zkEVM Verification Project
Characters remaining: 10,000

comment guidelines
HomeNewSubmit