Ethereum releases, writing, news and network upgrades

SP1 Integrates NVIDIA cuPQC to Optimize Proving with NVIDIA Accelerated Computing (opens in a new tab)

SP1 is integrating NVIDIA cuPQC, an SDK for GPU-accelerated cryptographic primitives. cuPQC will power core operations in SP1's GPU prover, making proving performant across NVIDIA accelerated computing and opening up access to the Succinct Prover Network.OP Succinct

v4.6.0 (opens in a new tab)

v4.6.0: Private Stdin + Operational Fixes. Verification keys have changed. All deployments must upgrade contracts with the new keys before using proofs produced by this release.OP Succinct release notes

How Close Can Proving Get to Computing? Introducing Flock (opens in a new tab)

Introducing Flock: a new SNARK for proving batches of standard hash functions at just 250× the cost of computing them natively.OP Succinct

v4.5.0 (opens in a new tab)

v4.5.0: SP1 6.2.4 + kona v1.6.0. Verification keys have changed. All deployments must upgrade contracts with the new keys before using proofs produced by this release.OP Succinct release notes

AI Is Destroying the Internet. Math Is Our Only Hope. (opens in a new tab)

The rise of autonomous AI agents necessitates the utilization of zero-knowledge proofs.OP Succinct

An Experiment in Formal Verification with Claude (opens in a new tab)

Written by Rahul Dalal A few weeks ago, we announced VEIL , a compiler that adds zero-knowledge to hash-based multilinear proof systems with only ~3% prover overhead.OP Succinct

Also reported Vitalik Buterin: A shallow dive into formal verification (opens in a new tab) zkEVM: On Formal Verification and a Bug in SP1 Hypercube (opens in a new tab)