📢 #Gate广场征文活动第二期# 正式啓動!
分享你對 $ERA 項目的獨特觀點,推廣ERA上線活動, 700 $ERA 等你來贏!
💰 獎勵:
一等獎(1名): 100枚 $ERA
二等獎(5名): 每人 60 枚 $ERA
三等獎(10名): 每人 30 枚 $ERA
👉 參與方式:
1.在 Gate廣場發布你對 ERA 項目的獨到見解貼文
2.在貼文中添加標籤: #Gate广场征文活动第二期# ,貼文字數不低於300字
3.將你的文章或觀點同步到X,加上標籤:Gate Square 和 ERA
4.徵文內容涵蓋但不限於以下創作方向:
ERA 項目亮點:作爲區塊鏈基礎設施公司,ERA 擁有哪些核心優勢?
ERA 代幣經濟模型:如何保障代幣的長期價值及生態可持續發展?
參與並推廣 Gate x Caldera (ERA) 生態周活動。點擊查看活動詳情:https://www.gate.com/announcements/article/46169。
歡迎圍繞上述主題,或從其他獨特視角提出您的見解與建議。
⚠️ 活動要求:
原創內容,至少 300 字, 重復或抄襲內容將被淘汰。
不得使用 #Gate广场征文活动第二期# 和 #ERA# 以外的任何標籤。
每篇文章必須獲得 至少3個互動,否則無法獲得獎勵
鼓勵圖文並茂、深度分析,觀點獨到。
⏰ 活動時間:2025年7月20日 17
Nova: 松弛R1CS技術引領零知識證明新效率
Nova:一種高效的零知識證明系統
Nova是微軟開發的新型零知識證明系統,它使用松弛的秩一約束系統(Relaxed R1CS)技術來提高證明的效率和靈活性。
Nova的主要優點在於使用松弛R1CS技術。傳統R1CS系統需要在證明過程中使用大量隨機性,導致證明生成和驗證過程復雜耗時。Nova通過使用松弛R1CS,允許在證明中使用更少的隨機性,從而大大提高了證明效率。
此外,Nova還支持增量計算,可以逐步計算復雜函數,而不必一次性計算整個函數。這在處理大規模數據或復雜計算時非常有用。Nova還支持多項式計算,可以處理更復雜的證明任務。
Nova的缺點是由於使用松弛R1CS,其證明可能不如傳統R1CS系統強大。松弛R1CS允許使用更少隨機性,可能會降低證明安全性。不過,Nova開發者已採取措施來解決這個問題,如使用更強大的密碼學算法和更復雜的證明策略。
另外,Nova的實現相對復雜,這可能會增加使用和維護難度。Nova使用了許多高級密碼學技術,需要深入理解這些技術才能有效使用和修改Nova。
總的來說,Nova在零知識證明領域佔據重要地位。它的松弛R1CS技術使證明生成和驗證更高效,這對大規模零知識證明應用至關重要。Nova還支持增量計算和多項式計算,進一步擴大了零知識證明的應用範圍。
Nova的原始碼主要包含以下幾個核心模塊:
bellperson:實現R1CS相關功能。
gadgets:包含構建zk-SNARK證明的工具。
spartan:實現Spartan協議相關功能。
traits:定義了一些通用的trait,如Group、CommitmentTrait等。
r1cs.rs:定義R1CS相關的數據結構和方法。
nifs.rs:實現非交互式折疊方案。
ipa_pc.rs:實現基於IPA的多項式承諾方案。
這些模塊共同實現了Nova的核心功能,包括R1CS約束系統、多項式承諾、零知識證明生成和驗證等。Nova通過這些模塊的組合,實現了高效的零知識證明系統。