最近,Protocol Labs研究團隊發布了zk-SNARKs for the World site網站。這個網站介紹了目前在Filecoin網絡上整合零知識證明密碼學所完成的工作。這些努力已持續三年,已讓Filecoin成為目前最大的zk-SNARK部署網絡,并且每天生成了600萬到700萬個零知識證明。
zk-SNARKs對Filecoin網絡的價值
為了讓Filecoin網絡上的存儲提供者繼續為用戶提供服務(并在過程中賺取回報),他們必須定期證明自己在鏈上持續存儲其所承諾存儲的數據。將他們放在零知識證明的關系中理解的話,這些存儲提供者就成為了證明者(provers)。
Aztec創始人:出于商業原因關閉其以太坊零知識工具:金色財經報道,Aztec Network并非出于監管擔憂而決定放棄其Aztec Connect私人支付產品,只是由于“商業”原因。該公司正在從支持自己的支付產品轉向開發供去中心化社區使用的軟件工具。3月13日,公司宣布將停止其中一個項目,即以太坊零知識(ZK)匯總Aztec Connect。它于3月23日停止接受新存款,但將允許再提款一年。[2023/3/25 13:25:30]
這個公式的另一邊就是全節點,他們負責為整個Filecoin網絡維護共識。這些節點希望確保數據被存儲、維護和保管好,而沒有疏忽或損壞。這些參與方—— 驗證者(verifiers)必須能確保存儲提供者對數據被妥善存儲所給出的證明是真實的。這要求在數據易手時,存儲提供者和節點之間有一種形式的通訊。
Wemade擬推出采用零知識證明技術的以太坊Layer 2平臺:金色財經報道,韓國游戲巨頭Wemade正在進軍“以太坊Layer 2”市場,作為第一步,該公司將在3月上線Layer 2平臺測試網,該測試網將采用其去年12月成立的零知識證明研究中心內部研究的技術。Wemade計劃在6月份發布該平臺的正式版本,其認為將區塊鏈平臺“Wemix 3.0”與以太坊Layer 2平臺連接起來將有助于擴展Wemix生態系統。
此前去年12月消息,WeMade旗下鏈游平臺代幣WEMIX遭多家韓國交易所下架。[2023/1/5 9:54:11]
對每一個區塊來說,這個過程是(將是)對資源要求很高的。今天,個體的存儲提供者為驗證存儲所需要證明的數據是海量的,而且隨著時間推移只會增加。Filecoin網絡的區塊時間是30秒,為了維持這個區塊時間并允許可擴展的方法,網絡需要一個能提供快速、高效和健壯的驗證過程的解決方案。
聲音 | V神評價MimbleWimble:只有零知識證明 ZK-SNARKs 等全局匿名集,才能真正保證隱私安全:針對 Dragonfly Capital 的分析師 Ivan Bogatyy 發布的關于闡述 MimbleWimble 協議有重大缺陷、Grin 網絡 96% 的交易可被破譯的文章。
以太坊創始人Vitalik在推特回應稱:如果隱私模型設置了一個中等的匿名集,那么它實際上設置了一個小范圍的匿名集。如果隱私模型的匿名集較小,則其匿名集為 1。只有全局匿名集(例如,使用 ZK-SNARKs 技術進行的加密)才真正具有安全性。[2019/11/19]
了解zk-SNARKs
動態 | 以色列理工學院教授違反知識產權規定建立零知識證明技術公司:據Bitcoin.com報道,以色列理工學院教授Eli Ben-Sasson因違反了該學校知識產權規定而被起訴。據報道,Ben-Sasson利用在為該機構工作時開發的知識產權建立了一家零知識證明技術公司。Ben-Sasson是區塊鏈技術初創公司Starkware的聯合創始人兼首席科學家,以色列理工學院在法庭提出要求Ben-Sasson轉讓其在該公司的50%股份。[2019/4/23]
對Filecoin網絡來說,zk-SNARKs提升了網絡可擴展性和效率,這是通過極大地降低各方驗證存儲的時間來實現的。這對維持Filecoin的30秒區塊時間很重要。
對存儲提供者來說,zk-SNARKs降低了他們證明存儲所需要傳輸的數據量,從而降低了在網絡上提供其服務的成本。
zk-SNARKs實踐
為了在Filecoin上驗證存儲,會涉及到兩個證明:_復制證明——Proof of Replication (PoRep)和時空證明——Proof of Spacetime (PoSt)。在復制證明中,存儲提供者需證明他們正存儲一份數據或信息的獨特副本。復制證明只會發生一次,這是在用戶和存儲提供者達成最初存儲交易提議且數據首次被存儲提供者存儲時發生的。每一個被鏈上記錄的復制證明包括了10個獨立的的SNARKs證明,它們一起證明了該過程是通過概率挑戰(probabilistic challenges)而正確完成的。
另一方面,時空證明用于證明存儲提供者隨著時間推移依然持續存儲原始的數據,而沒有被操縱或損壞。當一個存儲提供者剛開始同意為用戶存儲數據時,他們必須以FIL的方式投入質押品。如果存儲提供者在這個協議中間的任何時點無法提供時空證明,他們會被懲罰并可能損失部分或所有的FIL抵押品。
在 證明者(prover)和驗證者(verifier)的鏈上互動中,它們同意數據已被正確地存儲和維護,那么這就是一個證明(proof)。如前所述如果缺乏讓這些證明足夠小和高效的解決方案,它們就會占據大量的網絡帶寬并為存儲提供者和礦工帶來很高的運作成本。不過如果通過使用zk-SNARKs來生成證明,那么所生成的證明就會很小,驗證過程也會非常快(因此就很便宜了)。例如,通常要占據幾百kb來驗證的證明可以使用zk-SNARKs來壓縮到192字節。前面已經提到過,每一個復制證明包括了10個SNARKs,這就意味著它只會占據1920字節(10*192字節)。
zk在Filecoin的過去和未來
從10月份的發布開始,Filecoin網絡對zk-SNARKs的使用就已經上線了。故事是這樣的:零知識證明長期是Filecoin網絡的一部分,也會繼續被證明是網絡未來演變的關鍵一環。隨著越來越多的數據在Filecoin上被存儲、維護和訪問,生態系統需要繼續提供高效、劃算和安全的驗證解決方案。零知識證明是Filecoin網絡的游戲規則改變者,將復雜的驗證流程的大小降低到原始體積的一小部分,而沒有影響安全性、可信性或信心。
Protocol Labs研究團隊已長期投入了Filecoin網絡上的零知識證明工作。他們的努力已為網絡提供了關鍵的效率解決方案。隨著新的驗證系統的出現,團隊會繼續為未來的Filecoin網絡實施最有效率的解決方案。
請訪問zk-SNARKs for the World site網站并深入了解Filecoin上的零知識證明。
NFT、GameFi、元宇宙已經成為時下熱詞,各大鏈圈巨頭爭相布局,影響力甚至一度擴散至鏈圈之外.
1900/1/1 0:00:00NFT本身是一個將區塊鏈應用落地與現實世界對接的一個入口,因此我們不能用「傳統」眼光去審視這一新興領域.
1900/1/1 0:00:00加密貨幣市場正在以驚人的速度發展。越來越多的傳統金融市場投資者和交易員轉向加密貨幣市場,因為他們認為加密貨幣是過去幾年中最具流動性和最可靠的資產.
1900/1/1 0:00:00大家好,我是佩佩,這幾天市場的狀態趨弱,我到不覺得是什么消息面的因素,能傳到咱耳邊的小道消息,就像那些能讓新手小白都看得非常清晰的賺錢機會一樣,emmm,懂的吧,哈哈.
1900/1/1 0:00:00一條神秘鯨魚在Bitfinex上出現,或是大戶或是機構,每逢其出現,市場無不人心惶惶。據Datamish數據,在過去半年里,這條神秘鯨魚出現了四次.
1900/1/1 0:00:00錢包應用是我們進入區塊鏈和去中心化鏈上世界的必需品。作為公鏈的基礎設施之一,一個功能齊全并且安全的錢包應用至關重要,它往往決定了我們在區塊鏈上交互時的操作體驗.
1900/1/1 0:00:00