While several teams, including RISC0, Snarkify, and Kakarot, have been actively working toward this goal, Succinct says it's the first to reach 'real-time' sub-12 second speeds.