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