Ethereum writing and news

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

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

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)

Introducing Confidential Transactions to OP Succinct (opens in a new tab)

OP Succinct now supports data confidentiality, letting chains keep transaction data private while still settling to Ethereum. Polygon CDK is the first production-ready implementation to use this feature, letting institutions keep customer data private without…OP Succinct

Base Adds ZK Proofs to Base Azul with SP1 (opens in a new tab)

Base is partnering with Succinct to prove $7.4 billion in deposits with zero-knowledge proofs.OP Succinct