Succinct

Formal Verification of SP1 Hypercube

We are happy to announce that the Nethermind Security Formal Verification team and Succinct Labs have joined forces to formally verify the correctness of all of the core RV-64 chips from SP1 Hypercube (https://blog.succinct.xyz/sp1-hypercube/) RISC-V zkVM in the Lean proof assistant. We would also like to

Benefits of EOF (EVM Object Format) for Zero Knowledge Proofs

By Cairo / Succinct Residency 2024 The Ethereum Virtual Machine (EVM) is the computational heart of Ethereum. It enables developers to build decentralized applications accessible to anyone. One of the upcoming EVM updates is transformational: the EVM Object Format (EOF) upgrade introduces a series of improvements to the stack, control flow,