1/ 自主性正在以超過我們驗證能力的速度擴展。 下一波的 AI 不僅會思考和行動，還會做出影響真實系統和真實人員的決策。

深度機器人進行了一次使用自主機器狗的救援演習。 這些機器將在每一個決策都至關重要的情況下行動。 加密證明確保它們的行動是可驗證的，即使在連接有限的情況下。

你不會在生活中保留每一張收據。只保留那些重要的。 AI 也應該如此。 證明關鍵的切片，其餘的以原生速度運行。 選擇性證明將 zkML 從科學實驗轉變為基礎設施。