claims can generate zero-knowledge proofs for Ethereum blocks in under 12 seconds, crossing a milestone in the race for real-time proving.