✍️ Gate 廣場「創作者認證激勵計劃」進行中！
我們歡迎優質創作者積極創作，申請認證
贏取豪華代幣獎池、Gate 精美周邊、流量曝光等超過 $10,000+ 豐厚獎勵！
立即報名 👉 https://www.gate.com/questionnaire/7159
📕 認證申請步驟：
1️⃣ App 首頁底部進入【廣場】 → 點擊右上角頭像進入個人主頁
2️⃣ 點擊頭像右下角【申請認證】進入認證頁面，等待審核
讓優質內容被更多人看到，一起共建創作者社區！
活動詳情：https://www.gate.com/announcements/article/47889
當談到零知識系統時，大多數設計最終都會面臨相同的選擇。
zk-SNARKs 或 zk-STARKs。
兩者都很強大。兩者都有取捨。
對於需要將大量歷史數據推送到鏈下的無限計算層，@brevis_zk 做出了非常慎重的決定。
他們選擇了 zk-SNARKs。
為什麼這很重要：
→ 超小的證明使鏈上驗證保持低成本
→ 快速驗證實現幾乎即時的 dApp 邏輯
→ 工具成熟且經過實戰考驗
→ 高效總結大量歷史數據集的理想方案
這讓一個 dApp 能夠證明類似
用戶在過去 30 天內執行了 100 次交換
而不揭露具體的交換內容或任何敏感細節
所有內容都壓縮成只有幾百字節的證明。
這樣的簡單設計選擇正是大規模可驗證計算得以實現的關鍵。