Kakarot uses S-two inside ETHProofs to generate Ethereum block proofs more efficiently, while Nexus is standardizing RISC-V traces to align with S-two’s architecture. Meanwhile, ZAN and AntChain OpenLabs are adding GPU acceleration to push the prover’s performance even further.