Obviously SQL, Space and Time’s proprietary ZK-proof system, capable of verifying million-row computations.