Succinct 推出 SP1-Contract-Call (SP1-CC)，这是一个新的 ZK 原语，旨在增强 EVM 的功能。SP1-CC 允许开发者访问历史区块链状态、执行任意的链下 Solidity 逻辑，并通过链上 ZK 证明来验证计算的正确性，从而突破 EVM 的限制，实现更灵活和可扩展的链上应用。

SP1 Hypercube是新一代的zkVM，为以太坊提供实时证明，它基于多线性多项式的新型证明系统构建，在延迟和成本方面实现了最先进的结果，比SP1 Turbo提升高达5倍，并且可以在12秒内证明超过93%的以太坊区块。它结合了新的密码学技术和强大的性能工程，成为第一个实现这一目标的团队。

Succinct 与 LayerZero 合作推出了一种名为 vApps（可验证应用程序）的新开发范例。

Succinct Labs 发布了 OP Succinct 的“Lite”版本，该版本通过 ZK fraud proofs 为 OP Stack rollups 提供了一种新的安全选择。OP Succinct Lite 简化了争议解决过程，降低了资本需求，并缩短了最终确认时间，为 rollups 提供了可扩展性、安全性和去中心化。

SP1 Turbo是SP1的最新版本，通过CUDA优化，在成本和延迟方面有显著改进，尤其是在GPU并行化处理时，能更接近实时以太坊证明。它引入了Secp256R1和RSA签名验证等新的预编译，使得SP1成为zkEVM和rollup工作负载的最佳zkVM，开发者可以通过文档和prover network beta开始使用。

Succinct Labs 推出了 SP1 的 Solana 验证器，使开发者能够在 Solana 上使用零知识证明（ZKP）来实现可扩展性和隐私性。开发者可以使用 SP1 以 Rust 编写代码并生成证明，用于网络扩展、大规模 ZK 协同处理、可验证凭证、ZK KYC、机密 AMM 以及更安全的跨链互操作性等用例。

本文介绍了EVM Object Format (EOF)升级，它是以太坊虚拟机（EVM）的一个重要更新，旨在提升智能合约的效率和ZK友好的特性。EOF通过静态跳转替代动态跳转，简化了控制流，并引入了SWAPN和DUPN等新指令，从而降低了gas成本，提高了ZK证明的效率。实验结果表明，EOF合约在周期数和运行速度方面都有显著提升，同时减小了STARK证明的大小。

Succinct 团队的实习生 Bhargav 在 SP1 上实现了 bn254 和 bls12-381 椭圆曲线运算的预编译，显著提升了 SP1 的 ZKVM 性能。这些预编译加速了 Groth16 和 PlonK-KZG 证明的验证，并优化了以太坊 ZK 轻客户端 SP1 Helios 的性能，同时还加速了revm中bn254配对。

将 SP1(一个通用的 zkVM) 与 OP Stack (一个经过实战考验的 Rollup 框架)相结合，创建一个快速、经济且高度可定制的 zkEVM Rollup

OP Succinct 结合了 OP Stack 和 SP1 zkVM，旨在将现有的 Optimistic Rollup 链升级为 ZK Rollup，实现快速最终性、低成本证明和良好的开发者体验。通过利用 OP Stack 的模块化设计和 SP1 的高性能，OP Succinct 能够以较低的成本实现EVM等效的链。