核心提煉
零知識證明技術,可以保證計算的完整性、正確性和隱私,在區塊鏈擴容和隱私中有應用。zk-SNARK和zk-STARK各有優點,而它們的合理結合更加有潛力。zkVM能賦予應用零知識證明能力,zkVM分為使用主流、EVM或全新指令集。EVM的適配包括EVM兼容性、等同性和Specification上的適配。zkEVM是兼容EVM而又零知識證明友好的環境,主要分為原生和編譯流派。基于原生的zkEVM是以太坊和區塊鏈的未來。支持Solidity生態的通用zkVM是Web3的未來。
ParaSpace:已向資產以低于地板價清算的用戶補償了差價:7月24日消息,ParaSpace推特發文稱,在7月3日至7月4日期間,少數用戶的資產以低于地板價的價格清算。我們已經聯系到所有受影響的用戶,并向他們補償了差價。發生這種情況是由于荷蘭式拍賣在后端運行,而沒有顯示資產在前端被拍賣。當清算被觸發時,成功購買NFT將終止拍賣。[2023/7/23 15:53:18]
零知識證明
Ripple CTO:CBDC平臺支持連接XRPL并使用XRP代幣:金色財經報道,Ripple首席技術官David Schwartz證實,公司的CBDC平臺與XRP Ledger(XRPL)采用“相同的核心技術”,可以與XRPL連接并使用XRP代幣。“它具有與XRPL交互的能力,并且可以使用XRP作為跨貨幣和跨境支付的橋梁貨幣。”
不過,擁有XRPL的橋接選項與中央銀行在日常CBDC平臺運營中使用XRPL和XRP是不同的,中央銀行是否會選擇使用還有待觀察。
Schwartz承認,不能保證中央銀行會使用該橋接。然而,他堅持認為,公司的做法是“消除技術障礙”,允許用戶選擇使用XRP,而不是強迫他們這么做。這將帶來更好的產品體驗。[2023/5/20 15:14:40]
不嚴謹但簡單易懂地來介紹一下零知識證明:
V神發文探討CEX的安全性:希望技術上使交易所接近非托管:11月19日消息,針對FTX事件,V神發文”安全的CEX:償付能力證明“,探討使交易所更接近去信任化的嘗試歷史、這些技術的局限性,以及一些新的、更強大的想法,這些想法依賴于ZK SNARK和其他先進技術。
V神表示,使用ZK-SNARKs可改善隱私和穩健性,將所有用戶的存款放入一棵Merkle樹中,并使用 ZK-SNARK 來證明樹中的所有余額都是非負的,加起來為一些聲稱的價值。如果我們為隱私添加一層哈希,則提供給每個用戶的Merkle分支將不會透露任何其他用戶的余額。
對于更進一步,不想僅僅證明交易所有資金來償還用戶,更要防止交易所完全竊取用戶的資金。V甚表示,理想的長期解決方案是依靠自我托管,并輔以多重簽名和社交恢復錢包等技術,以幫助用戶應對緊急情況。在短期內,有兩種明確的替代方案:Coinbase等托管交易所、Uniswap等非托管交易所。
最后,V神表示,短期內,交易所分為兩個明確的“類別”:托管交易所和非托管交易所。今天,后一類只是DEXes,例如Uniswap,未來我們可能還會看到加密“受限”的CEXes,其中用戶資金保存在類似于validium智能合約的東西中。我們也可能會看到半托管交易所,我們用法定貨幣而不是加密貨幣來信任它們。
兩種類型的交易所都將繼續存在,而提高托管交易所安全性的最簡單的向后兼容方式是添加儲備證明。這包括資產證明和負債證明的組合。為兩者制定良好的協議存在技術挑戰,但我們可以而且應該盡可能地在兩者上取得進展,并盡可能開源軟件和流程,以便所有交易所都能受益。
從長遠來看,V神希望我們越來越接近于所有交易所都是非托管的,至少在加密方面是這樣。錢包恢復將存在,并且可能需要為處理小額交易的新用戶以及出于法律原因需要此類安排的機構提供高度中心化的恢復選項,但這可以在錢包層而不是在交易所本身內完成。[2022/11/19 22:06:43]
你在上小學。老師是驗證者,你作為學生是證明者。你如何證明你掌握了一元二次方程的求解公式呢?那就需要數學考試。
老師會隨機出10道相關的題目,而你如果掌握了,則可以把他們都做出來。在這個過程中,你沒有背誦或者默寫求解公式的具體內容,但是老師卻可以很簡單地驗證你的知識掌握程度。
其實這就是Tartaglia與Cardano(對的,就是這個名字)爭奪誰是一元三次方程發現者時所采用的方法。他們都不想告訴對方自己公式的內容,但是通過做題,就可以很容易地驗證且過程中不透露知識地,判斷他們是否掌握了這一知識。
零知識證明有什么用呢?用處就是,整個過程可以節省計算算力和壓縮鏈上空間,同時也可以對隱私有保護,符合區塊鏈去信任的特點以及密碼學的基因。
SNARK和STARK
區塊鏈領域中所用到或者提到的「zk」通常不是真正的零知識證明,而經常是ValidityProof。由于相關詞匯的混亂,所以本文中的某些地方會延續這些「誤用」。
在目前的區塊鏈版圖中,zk可以說是區塊鏈擴容(不zk的ValidityProof)與隱私技術(真正的zk)的最前沿與最優解決方案,在Tornado.cash、ZCash、zkSync、zk.money、Filecoin和Mina等項目中都有使用。
目前的技術方案主要分為SNARK以及STARK兩類。STARK中的S代表可擴展的,意味著被證明的語句有重復的結構,而SNARK支持任意的電路,這些電路被預處理以實現簡潔的證明。其中對SNARK的技術實踐占據了主導地位,STARK主要有StarkWare在已上線的產品中大規模采用。以下是它們之間的對比。
從Meme的角度而言,STARK比SNARK優秀(
出品|白澤研究院 昨日,日本視頻游戲開發商SquareEnix?宣布,正在出售旗下部分工作室和50多個游戲IP——包括傳奇工作室CrystalDynamics、Eidos-Montréal、Sq.
1900/1/1 0:00:00Nansen的研究小組深入研究了UST的脫錨問題,并利用鏈上追蹤的結果打破了網上流傳的Terra網絡崩潰是單一惡意攻擊者所為的謠言.
1900/1/1 0:00:00USDT是市場上最大的雷,這應該是行業中絕大多數人的觀點,在前兩個月USDT瘋狂增發的時候,不少文章都表示USDT這樣毫無節制的增發,風險越來越大,暴雷隨時有可能發生.
1900/1/1 0:00:00由于每天有數百萬用戶加入,并且有新應用程序的持續推出,現在的以太坊受到交易數量的嚴重限制。以太坊處理交易的能力,其交易吞吐量,被限制為每秒15筆交易,導致它變得越來越昂貴,過于擁擠,使得許多人無.
1900/1/1 0:00:004月30日,“2022世界數字經濟與區塊鏈產業高峰論壇”在中國.廣州舉行。本次論壇以“數字經濟與‘區塊鏈+’產業融合創新”為主題,聚焦智能建造、數字科技、智慧流通、以及VR、區塊鏈、云計算、大數.
1900/1/1 0:00:00穩定幣并非完全相同。以下我將對不同穩定幣的運作模式做一個詳細的解讀,并附上我對它們的排序和建議.
1900/1/1 0:00:00