在執行 50 筆付款時是即時的，但驗證過程是否正確處理通常需要一些電子表格的魔法。在 Mina，您的系統提供證據，證明它自動、可驗證且私密地遵循規則，使用 ZK。@o1_labs 開發了一個 POC 來演示這是如何運作的。