原文:《Volitions:在ZK-rollup和Validium之間做選擇的零知識證明方案》
作者:Chloe
目前以太坊基于零知識證明的擴容方案是ZK-rollup,但其實還有另外兩種解決方案——Validium和Volitions。
本文簡單介紹以上3種基于零知識證明的擴容方案。
ZKrollup
ZK-rollup的運作簡單來說是將多筆交易打包在一起,發布到L1上,同時發布一個證明來聲稱這些交易有效,一旦在L1上驗證確實有效,那么zk-rollup的狀態就會更新。
Web3風投公司Red Beard Ventures完成2500萬美元融資:金色財經報道,Web3 風險投資公司Red Beard Ventures完成一輪2500萬美元的融資,投資方包括a16z的Marc Andreessen和Chris Dixon、Web3游戲巨頭Animoca Brands、NFT平臺SuperRare等知名Web3參與者。
新一輪融資旨在加速 Web3 技術的采用,并支持啟動名為 Denarii Labs 的代幣經濟學加速器項目,該項目是與 Horizen Labs Ventures 的聯合倡議。該計劃將專注于為那些啟動代幣項目的人提供咨詢服務、每周教育課程、指導、啟動支持等。[2023/5/16 15:06:52]
這套證明機制也被稱作「有效性證明」,目前ZK-rollup主要采用的證明機制是zkSNARK和zkSTARK。
美聯儲梅斯特:美聯儲不會采取行動推出央行數字貨幣:金色財經報道,美聯儲梅斯特:美聯儲不會采取行動推出央行數字貨幣,這需要國會批準。美國必須提高債務上限,這項任務必須完成。[2023/4/21 14:16:46]
尤其是zk-SNARK應用最為廣泛,而zk-SNARK則是它的改進版,目前使用者并不多。
zk-SNARK即zero-knowledgesuccinctnon-interactiveargumentonknowledge,是一種文件很小且很容易驗證的加密證明,而簡潔jiu就在于非交互式。
傳統方案是交互式證明,即示證者和驗證者之間反復確認。你可以理解為示證者不斷向驗證者詢問“是或不是?”,然后驗證者不斷給出回答,直到最后碰出一個正確答案來,所以效率很低。
報告:今年第一季度的NFT交易量創下歷史新高:金色財經報道,根據DappRadar周四發布的一份報告,2023年第一季度,虛擬世界的NFT交易有所增加,今年迄今為止總計3.11億美元。根據該報告,由于Yuga Labs旗下的Otherside和MG land等平臺在該領域占據主導地位,虛擬土地交易在過去一個季度達到了14.7萬筆的歷史新高。[2023/3/24 13:23:04]
而SNARK的解決方案是提前先搞一個“可信初始化”,從而生成公共參考字符串,這樣所有的示證者直接訪問它就可以了。你可以理解為有一個標準答案,示證者就像批改試卷那樣去驗證。
Terra社區研究員FatMan:有證據表明截至 6 月 3 日Do Kwon就住在新加坡:金色財經報道,據 Terra Research Forum 社區研究員 @FatMan 在社交媒體透露,一位經過核實的消息來源向他發送了視頻證據,證實截至 6 月 3 日,Do Kwon 和 TFL 創始成員 Nicholas Platias 仍住在他的新加坡房子里,當記者和代理人試圖聯系時,他卻提供了一個錯誤地址信息。FatMan補充稱:我不會分享 Do Kwon 的地址。我永遠不會那樣做,這就是我不分享視頻的具體原因,但我認為了解他所在管轄權以及他試圖向人們隱瞞信息是一個重要事實。[2022/6/3 4:00:27]
但SNARK提前生成公共參考字符串提高了效率,但也留下了隱患——萬一公共參考字符串泄漏了呢?于是就催生出了STARK。
STARK是交互式證明,但它是一種巧妙的交互式證明——通過哈希函數碰撞來保證安全性,因此也比較高效。
Validiums
ZK-rollup是將交易分批發送到L1上去執行,是一種無需信任的「自定義安全性」。
Validiums則是直接在鏈下執行,并通過零知識證明來維護數據,只有需要的時候才在主網上驗證取款請求的有效性證明。
所以Validiums可擴展性要高于ZK-rollup,但它是把信任交給鏈外第三方的「弱信任擴容」,會被攻擊導致數據不可用或者用戶無法取出資金。
解決安全的方式是采用PoS機制,用經濟激勵來確保數據儲存在各個節點之中并且隨時可用。
目前采用Validiums方案的代表項目是ImmutableX,以NFT為中心的擴展解決方案。
Vitalik認為Validiums其實被嚴重低估,因為大多數Dapp用Validiums就已經可以滿足運行需求了。
Volitions
StarkWare團隊結合ZK-rollup和validium,創造性地推出了Volitions方案,顧名思義是關于「決斷能力」。
Volitions方案本質上是同時提供ZK-rollup和validium這兩種服務,它們共享同一個狀態根,用戶可以自行選擇每筆交易的DA模式。即便Validium那部分被攻破,ZK-rollup上的資金仍然安全。
用戶就可以在涉及重要資金往來時選擇ZK-rollup模式,共享以太坊的安全性,如果是日常娛樂、社交或者小額交易,自然選擇Validium模式來提高速度并節省成本。
結語
以太坊擴容戰爭還在剛開始,目前占據優勢的是Optimisticrollups陣營,它們可以做到EVM兼容甚至完全等效,另外社區運營能力也非常強勁。
ZK-rollup落于下風很大程度上是因為一開始就要定制VM,這意味著來自EVM的代碼要從頭開始編寫。
不過長遠來看,相比于Optimisticrollups,ZKrollups具有內置的隱私和安全優勢,未來實現EVM兼容性,很可能勝過Optimisticrollups。
而且可以在ZK-rollup和validium之間做決斷的Volitions方案,也不失為一種兼顧了各種場景的解決方案。
在SilverGate因未能按時提交?10-K?報告而遭遇?FUD?的當下,同為加密友好型銀行的?SignatureBank?在?3?月?2?日提交?10-K?報告.
1900/1/1 0:00:00金色財經報道,美國證券交易委員會主席GaryGensler周三向記者建議,根據美國法律,使用抵押協議的代幣可被視為證券.
1900/1/1 0:00:007:00-12:00關鍵詞:Lido、OP、Voyager、Circle、高盛1.Lido預計5月中旬進行主網升級;2.OPLabs發布Optimism技術去中心化路線圖;3.
1900/1/1 0:00:00作者:fishman 為下一個“Axie”的形態,做一個猜想。在創造更好玩的游戲體驗同時,實現為資產賦予價值;通過NFTFi的方式讓游戲資產與其他游戲和協議融合與互通;合理利用雙代幣模型和用戶裂.
1900/1/1 0:00:00作者:FrancesCoppola編譯:比推BitpushNewsMaryLiu加密銀行業務一團糟,FTX交易所的暴雷導致兩家受美國監管的銀行遭受破壞性擠兌.
1900/1/1 0:00:00作者:AIGC研修社 北京時間今天凌晨1點,OpenAI發布了全網期待已久的GPT-4。GPT-4的看點都有哪些呢?邏輯推理,強到可以代替你考律師啦角色扮演,cosplay認定角色不輕易被忽悠.
1900/1/1 0:00:00