最近,ProtocolLabs研究團隊發布了zk-SNARKsfortheWorldsite網站。這個網站介紹了目前在Filecoin網絡上整合零知識證明密碼學所完成的工作。這些努力已持續三年,已讓Filecoin成為目前最大的zk-SNARK部署網絡,并且每天生成了600萬到700萬個零知識證明
zk-SNARKs對Filecoin網絡的價值
為了讓Filecoin網絡上的存儲提供者繼續為用戶提供服務,他們必須定期證明自己在鏈上持續存儲其所承諾存儲的數據。將他們放在零知識證明的關系中理解的話,這些存儲提供者就成為了證明者。
卡西歐將在Polygon上發布虛擬G-SHOCK NFT:金色財經報道,卡西歐正在與Polygon Labs合作,在Polygon區塊鏈上推出虛擬G-SHOCK手表。該項目將以基于NFT的G-SHOCK創建者通行證啟動,邀請用戶設計其外觀并對其外觀進行投票。[2023/9/5 13:17:47]
這個公式的另一邊就是全節點,他們負責為整個Filecoin網絡維護共識。這些節點希望確保數據被存儲、維護和保管好,而沒有疏忽或損壞。這些參與方——驗證者必須能確保存儲提供者對數據被妥善存儲所給出的證明是真實的。這要求在數據易手時,存儲提供者和節點之間有一種形式的通訊。
dYdX:將推出多平臺應用程序并開源前端代碼庫和相關部署腳本:5月31日消息,去中心化永續合約協議 dYdX 發文介紹 v4 架構和前端如何工作,稱其 Web 前端為不希望以編程方式與 v4 交互的交易者提供直觀 UI/UX,其正在構建三個前端:一個 Web 應用程序、一個 iOS 應用程序和一個 Android 應用程序,此外還將為高級用戶 / 機構提供 Typescript 和 Python SDK。dYdX 表示,將開源所有前端代碼庫和相關部署腳本,允許任何人通過自己的域 / 托管解決方案輕松部署 dYdX 前端。[2023/5/31 11:50:17]
對每一個區塊來說,這個過程是對資源要求很高的。今天,個體的存儲提供者為驗證存儲所需要證明的數據是海量的,而且隨著時間推移只會增加。Filecoin網絡的區塊時間是30秒,為了維持這個區塊時間并允許可擴展的方法,網絡需要一個能提供快速、高效和健壯的驗證過程的解決方案。
AWS將向50個波卡上初創項目提供25萬美元資助:5月10日消息,AWS在班加羅爾舉行的Polkadot Now India會議上宣布,將向50個波卡上初創項目提供25萬美元資助,每個項目將獲得價值5000美元的AWS積分,這些積分可用于AWS Activate,幫助項目在專家支持下發展和擴大業務。[2023/5/10 14:55:19]
了解zk-SNARKs
對Filecoin網絡來說,zk-SNARKs提升了網絡可擴展性和效率,這是通過極大地降低各方驗證存儲的時間來實現的。這對維持Filecoin的30秒區塊時間很重要。對存儲提供者來說,zk-SNARKs降低了他們證明存儲所需要傳輸的數據量,從而降低了在網絡上提供其服務的成本。
THORChain將于2023年第一季度上線免清算的借貸項目:據官方消息,去中心化跨鏈交易協議THORChain 宣布將于2023年第一季度上線免清算的借貸項目。THORChain 表示,由于抵押品獲得了系統中的權益,抵押品價值下降會降低系統的整體負債。[2022/12/20 21:56:20]
zk-SNARKs實踐
為了在Filecoin上驗證存儲,會涉及到兩個證明:復制證明和時空證明。在復制證明中,存儲提供者需證明他們正存儲一份數據或信息的獨特副本。復制證明只會發生一次,這是在用戶和存儲提供者達成最初存儲交易提議且數據首次被存儲提供者存儲時發生的。每一個被鏈上記錄的復制證明包括了10個獨立的的SNARKs證明,它們一起證明了該過程是通過概率挑戰而正確完成的。
另一方面,時空證明用于證明存儲提供者隨著時間推移依然持續存儲原始的數據,而沒有被操縱或損壞。當一個存儲提供者剛開始同意為用戶存儲數據時,他們必須以FIL的方式投入質押品。如果存儲提供者在這個協議中間的任何時點無法提供時空證明,他們會被懲罰并可能損失部分或所有的FIL抵押品。
在證明者和驗證者的鏈上互動中,他們同意數據已被正確地存儲和維護,那么這就是一個證明。如前所述如果缺乏讓這些證明足夠小和高效的解決方案,它們就會占據大量的網絡帶寬并為存儲提供者和節點帶來很高的運作成本。不過如果通過使用zk-SNARKs來生成證明,那么所生成的證明就會很小,驗證過程也會非常快。例如,通常要占據幾百kb來驗證的證明可以使用zk-SNARKs來壓縮到192字節。前面已經提到過,每一個復制證明包括了10個SNARKs,這就意味著它只會占據1920字節。
在Filecoin的過去和未來
?
從10月份的發布開始,Filecoin網絡對zk-SNARKs的使用就已經上線了。故事是這樣的:零知識證明長期是Filecoin網絡的一部分,也會繼續被證明是網絡未來演變的關鍵一環。隨著越來越多的數據在Filecoin上被存儲、維護和訪問,生態系統需要繼續提供高效、劃算和安全的驗證解決方案。零知識證明是Filecoin網絡的游戲規則改變者,將復雜的驗證流程的大小降低到原始體積的一小部分,而沒有影響安全性、可信性或信心。
ProtocolLabs研究團隊已長期投入了Filecoin網絡上的零知識證明工作。他們的努力已為網絡提供了關鍵的效率解決方案。隨著新的驗證系統的出現,團隊會繼續為未來的Filecoin網絡實施最有效率的解決方案。
據Businesswire8月3日消息,區塊鏈金融公司FigureTechnologies宣布已簽署協議.
1900/1/1 0:00:00老李最近發現有朋友交易很久依然弄不清市場的本質,總是在實際操作中舍本逐末,什么吃回調、吃超賣超買等各種短跑,老李有必要對趨勢的本質做個具體的分析了,以敲醒那些因為貪吃而被深套的迷途羔羊.
1900/1/1 0:00:007月30日,BSC鏈上首個加密指數協議Levyathan遭遇黑客攻擊。根據官方發布的事件更新,黑客鑄造100,000,000,000,000,000,0億枚LEV代幣,導致LEV價格歸零,此次攻.
1900/1/1 0:00:00NFT藝術品?——WorldofWomen本文來自:nftplazas|譯者:Odaily—不一樣的NFT《WorldofWomen》——Yam在經歷了一段枯竭期后,NFT市場再次全面爆發.
1900/1/1 0:00:00尊敬的LOEx用戶: 根據以太坊官方計劃,ETH(Ethereum)將于區塊高度達到12,965,000時)進行倫敦硬分叉升級。LOEx國際站將支持本次硬分叉.
1900/1/1 0:00:00Gate.io量化跟單“信號之星”網格賽已結束。根據活動規則,我們已為符合規則的用戶發放點卡和代幣獎勵,請注意查收。用戶可進入“錢包-賬單明細”查詢獎勵發放情況.
1900/1/1 0:00:00