Succinct has announced a major achievement in its development of zero-knowledge (ZK) proofs for Arbitrum, successfully validating real Arbitrum blocks. This includes Ethereum Virtual Machine (EVM) smart contracts in Solidity and Stylus smart contracts in Rust and C. The company enhanced its SP1 proof system with features like memory access management and conversion of WebAssembly (WASM) code to RISC-V architecture. In August 2025, Succinct entered a one-year exclusive partnership with Tandem to provide ZK proofs for Arbitrum, marking a significant step in its collaboration efforts. This milestone underscores Succinct's commitment to advancing blockchain technology through innovative proof systems.