📢 Gate廣場專屬 #WXTM创作大赛# 正式開啓!
聚焦 CandyDrop 第59期 —— MinoTari (WXTM),總獎池 70,000 枚 WXTM 等你贏!
🎯 關於 MinoTari (WXTM)
Tari 是一個以數字資產爲核心的區塊鏈協議,由 Rust 構建,致力於爲創作者提供設計全新數字體驗的平台。
通過 Tari,數字稀缺資產(如收藏品、遊戲資產等)將成爲創作者拓展商業價值的新方式。
🎨 活動時間:
2025年8月7日 17:00 - 8月12日 24:00(UTC+8)
📌 參與方式:
在 Gate廣場發布與 WXTM 或相關活動(充值 / 交易 / CandyDrop)相關的原創內容
內容不少於 100 字,形式不限(觀點分析、教程分享、圖文創意等)
添加標籤: #WXTM创作大赛# 和 #WXTM#
附本人活動截圖(如充值記錄、交易頁面或 CandyDrop 報名圖)
🏆 獎勵設置(共計 70,000 枚 WXTM):
一等獎(1名):20,000 枚 WXTM
二等獎(3名):10,000 枚 WXTM
三等獎(10名):2,000 枚 WXTM
📋 評選標準:
內容質量(主題相關、邏輯清晰、有深度)
用戶互動熱度(點讚、評論)
附帶參與截圖者優先
📄 活動說明:
內容必須原創,禁止抄襲和小號刷量行爲
獲獎用戶需完成 Gate廣場實名
Nova:Microsoft推出高效零知識證明系統 提升ZK應用效率
Nova: 一種高效的零知識證明系統
Nova是微軟開發的一種新型零知識證明系統,它使用了松弛的秩一約束系統(Relaxed Rank-1 Constraint Systems,Relaxed R1CS)技術,以提高證明的效率和靈活性。
Nova的優點
Nova的主要優點在於使用松弛的R1CS技術。與傳統R1CS系統相比,Nova允許在證明中使用更少的隨機性,從而大大提高了證明的效率。此外,Nova還支持增量計算和多項式計算,使其能夠處理更復雜的證明任務。
Nova支持增量計算,可以逐步計算復雜函數,而不必一次性計算整個函數。這在處理大規模數據或進行復雜計算時非常有用。
Nova的缺點
由於使用松弛的R1CS,Nova的證明可能不如傳統R1CS系統那麼強大。松弛的R1CS允許使用更少的隨機性,可能會降低證明的安全性。不過,Nova的開發者已採取措施來解決這個問題,如使用更強大的密碼學算法和更復雜的證明策略。
Nova的實現相對復雜,可能會增加使用和維護的難度。它使用了許多高級的密碼學技術,如多項式計算、羣操作和隨機預言機等,需要深入理解這些技術才能有效地使用和修改Nova。
Nova在零知識證明領域的重要性
Nova爲零知識證明的發展開闢了新的道路。它採用的松弛的R1CS技術,使得證明的生成和驗證過程更加高效,這對於大規模的零知識證明應用至關重要。此外,Nova還支持增量計算和多項式計算,使其可以處理更復雜的證明任務,進一步擴大了零知識證明的應用範圍。
Nova的源碼解讀
Nova的源碼主要包含以下幾個部分:
R1CS相關實現:定義了R1CSShape、R1CSWitness、R1CSInstance等結構體,以及它們的方法。
Spartan協議實現:包括多項式計算、Sumcheck算法等。
承諾方案:實現了基於IPA的多項式承諾方案。
轉錄引擎:使用Keccak256哈希函數實現了TranscriptEngineTrait。
評估引擎:實現了EvaluationEngineTrait,用於多項式評估的證明和驗證。
SNARK實現:定義了RelaxedR1CSSNARKTrait,實現了setup、prove和verify方法。
數學工具:實現了一些基本的數學操作,如計算2的冪、獲取二進制位等。
電路定義:定義了StepCircuit特質,用於描述增量計算的步驟函數。
Nova的源碼結構清晰,模塊化程度高,爲開發者提供了一個靈活、高效的零知識證明系統框架。