當談到零知識系統時，大多數設計最終都會面臨相同的選擇。

zk-SNARKs 或 zk-STARKs。

兩者都很強大。兩者都有取捨。

對於需要將大量歷史數據推送到鏈下的無限計算層，@brevis_zk 做出了非常慎重的決定。

他們選擇了 zk-SNARKs。

為什麼這很重要：

→ 超小的證明使鏈上驗證保持低成本
→ 快速驗證實現幾乎即時的 dApp 邏輯
→ 工具成熟且經過實戰考驗
→ 高效總結大量歷史數據集的理想方案

這讓一個 dApp 能夠證明類似
用戶在過去 30 天內執行了 100 次交換
而不揭露具體的交換內容或任何敏感細節

所有內容都壓縮成只有幾百字節的證明。

這樣的簡單設計選擇正是大規模可驗證計算得以實現的關鍵。