買比特幣 買比特幣
Ctrl+D 買比特幣
ads

BOB:一文讀懂零知識證明(ZKP)_區塊鏈

Author:

Time:1900/1/1 0:00:00

區塊鏈本身的一個關鍵優勢就是透明性,然而在許多情況下,智能合約應用卻出于各種商業或法律原因需要保障數據隱私,比如傳入專有數據觸發智能合約執行。現在,越來越多項目都采用零知識證明技術在公鏈上保護隱私。在區塊鏈網絡中,零知識證明只披露某條隱藏信息是有效且為證明者所擁有的。本文將詳細探討零知識證明如何保障隱私,而隱私保護是零知識證明對用戶的核心價值。另外文中還會列舉零知識證明在區塊鏈上的各種用例,以及如何利用Chainlink的DECO技術建立保護隱私的預言機網絡,證明數據來自某一web服務器的同時保護數據隱私,并實現向后兼容。零知識證明的運行機制

零知識證明最早由MIT的ShafiGoldwasser和SilvioMicali在1985年一篇名為《互動式證明系統的知識復雜性》的論文中提出。作者在論文中提到,證明者有可能在不透露具體數據的情況下讓驗證者相信數據的真實性。零知識證明可以是交互式的,即證明者面對每個驗證者都要證明一次數據的真實性;也可以是非交互式的,即證明者創建一份證明,任何使用這份證明的人都可以進行驗證。零知識證明目前有多種實現方式,如zk-SNARKS、zk-STARKS、PLONK以及Bulletproofs。每種方式在證明大小、證明者時間以及驗證時間上都有自己的優缺點。零知識證明有三個基本特征,即:完整性:如果statement為true,則誠實的驗證者可以相信誠實的證明者確實擁有正確的信息。可靠性:如果statement為false,則任何不誠實的證明者都無法說服誠實的驗證者相信他擁有正確的信息。零知識性:如果statement為true,則驗證者除了從證明者那里得知statement為true以外,什么都不知道。總而言之,要創建零知識證明,驗證者需要讓證明者執行一系列操作,而證明者只有在得知底層信息的情況下才能正確執行。如果證明者亂蒙一個結果,那么驗證者極有可能在驗證中發現并證明他的錯誤。

比特幣協議Ordinals已上線遞歸銘文,可讓銘文大小突破4MB限制:6月12日消息,比特幣協議Ordinals新任首席維護者Raph近日在Github上,將比特幣協議Ordinals創建者Casey Rodarmor提出的遞歸銘文2167號更新合并到Ordinals代碼中。根據開發者Leonidas.og的解讀,銘文現在可以使用特殊的/-/content/:inscription_id語法來請求其他銘文的內容。這個簡單的改變解鎖了許多強大的用例。

例如,與其單獨為一個PFP集合銘刻10,000個JPEG文件(這將非常昂貴),不如從集合中銘刻200個特征,然后再制作10,000個銘刻,每個銘刻使用少量代碼請求特征并通過編程呈現圖像。藝術品只是以一種更有效的方式存儲在鏈上,在Bitcoin Apes的情況下,這可以節省100多萬美元的交易費用。此外,可以實現將許多代碼包完全刻錄在在比特幣鏈上,因調用的是代碼(文字形式),因此體積很小,這可以讓銘文大小可以突破比特幣區塊大小4MB的限制,可以將復雜的3D視頻游戲完全上鏈到比特幣上。[2023/6/12 21:31:55]

CertiK:ArbitrumNews DAO項目Discord服務器已被入侵,請勿點擊任何鏈接:金色財經報道,據CertiK監測,ArbitrumNews DAO項目Discord服務器已被入侵,有黑客發布了虛假空投信息。在團隊確認已重獲對服務器的控制之前,請勿點擊任何鏈接。[2023/5/19 15:12:48]

零知識證明概念演示,如何在不透露數據內容的情況下向對方證明擁有數據如果要用一個概念直觀地解釋零知識證明如何證明用戶擁有數據,可以想象一個山洞只有一個入口,洞里面有兩條路,這兩條路由一扇門連接,要說出密碼才能通過這扇門。Alice希望向Bob證明她知道開門的密碼,但不想將密碼透露給Bob。因此,Bob需要站在山洞外,Alice從其中一條路走進山洞,而Bob并不知道她選了哪條路。接著,Bob指定Alice從其中一條路回到山洞入口。如果Alice最初選擇從路徑A走到門口,但Bob讓她從路徑B回來,唯一的方法就是穿過那扇門,而穿過門必須知道密碼。為了充分證明Alice真的知道門的密碼,而不是運氣好剛好選到了同一條路,這個過程可以反復重復好幾次。這一步操作完成后,Bob就可以非常確信Alice知道門的密碼,與此同時Alice也不用向Bob透露密碼是什么。雖然以上只是零知識證明機制簡單的概念演示,但真正的零知識證明運用的是密碼學,在不透露數據的情況下證明數據的存在。在這個山洞的示例中有一個輸入數據,一條路徑和一個輸出數據。在計算機中也存在類似的系統和電路,傳入數據,數據通過某些電路門之后再輸出。零知識證明利用了類似這種電路機制來創建證明。想象有這么一種計算機電路,傳入數據,并輸出某一拋物線上的值。如果用戶能夠對拋物線上的某一點連續給出正確答案,那么就可以確信他知道這條拋物線函數是什么,因為每一輪成功猜出正確答案的概率會越來越低。你可以把電路理解成Alice在山洞里走的路徑。如果她能夠順利通過電路,那么就說明她極有可能知道穿過電路的“密碼”。在不透露任何具體信息的情況下證明自己擁有數據,將帶來許多關鍵價值,特別是對區塊鏈領域而言尤為如此。零知識證明的價值

以太坊研究Grant第二輪資助名單公布,第三輪項目提交正在進行中:3月30日消息,以太坊研究長期Grant(ETH Research Grant)第二輪資助項目名單及資金分配已在開源開發者激勵平臺DoraHacks.io公布。本輪共有5個BUIDL團隊入選社區投票環節,5000美金Grant資助已基于社區MACI投票結果分配。本輪進入Grant投票輪的項目分別是:Antsyb,Eigen Network,Topia,DeGov MODEL,MemeBook。

ETH Research Grant旨在長期資助以太坊社區的開發者和研究者,資助課題覆蓋賬戶抽象/ERC4337, 地址隱私, 零知識證明, DeGov, 以太坊擴容, Data Availability, Rollups, zkEVM/zkVM, ERC/EIP,以及以太坊應用采用等。活動報名入口長期開放,凡于4月18日之前提交的項目均可進入第三輪項目評選。[2023/3/30 13:35:27]

零知識證明的主要價值是可以在以太坊等透明的公鏈上利用隱私數據集。區塊鏈本質上透明度非常高,任何在區塊鏈網絡中運行的節點都可以查看并下載所有儲存在賬本中的數據,而區塊鏈結合了零知識證明技術,可以讓用戶和企業用隱私數據來執行智能合約,并且不透露具體的數據內容。供應鏈公司、企業和銀行等傳統實體希望創建并執行智能合約,但又為了在競爭中保持優勢需要保護商業機密,因此在區塊鏈網絡中保障數據隱私就顯得至關重要。另外,這些實體通常受到法律監管約束,必須保護客戶個人身份數據隱私,并要遵守歐盟通用數據保護條例和美國健康保險便攜性和責任法案等各項法律法規。聯盟鏈的出現可以有效保護機構交易數據隱私,但聯盟鏈在網絡規模上卻遜色于公鏈,公鏈可以覆蓋全世界各地的用戶,并形成巨大的網絡效應。而零知識證明可以使這些機構安全地與公鏈網絡交互,并同時保護內部敏感數據隱私。因此,零知識證明成功為傳統企業激活了一些列公鏈的應用場景,推動創新,并建立更高效的全球經濟體系。零知識證明應用

Sushi Swap將推出帶有用于LP管理的定制優化器解決方案:金色財經報道,Sushi Swap新任CEO Jared Grey最近透露了Sushi 的新改進 DEX 和聚合產品堆棧的計劃。將實施:1.一個先進的聚合路由器;2.一個可持續的代幣經濟學模型,以調整對 LP 和代幣持有者的激勵;3.一個集中的流動性 (CL) 產品,帶有用于 LP 管理的定制優化器解決方案。[2023/2/20 12:17:38]

Zcash等區塊鏈已經開始采用零知識證明,用戶可以創建隱私交易,隱藏交易金額以及發送者和接收者的地址。去中心化預言機網絡可以將智能合約接入鏈下數據和計算資源,也可以應用零知識證明來證明某一鏈下數據,并同時在鏈上隱藏數據內容。DECO是目前Chainlink正在開發的基于零知識證明技術的預言機解決方案,也是Chainlink網絡的安全鏈下計算套件中的一個隱私保護預言機協議。DECO在HTTPS/TLS協議基礎上進行了擴展,保障數據從各個隱私和付費數據源傳輸過程中的隱私性和防篡改性。DECO可以與現代TLS版本兼容,無需使用可信硬件,并且可向后兼容,服務器端無需修改。因此,使用DECO的Chainlink預言機節點可以證明數據來自可信服務器,并在鏈上隱藏數據內容。另外,由于維護了TLS托管鏈,因此還可以證明數據源。DECO等零知識證明方案可以實現一系列智能合約應用場景,其中包括低抵押貸款。在低抵押貸款中,貸款人既可以證明自己的信貸資質,又可以保護自己的隱私。具體而言,貸款人可以基于權威網站上的記錄生成信貸資質,并隱藏姓名、地址或信用分數等敏感信息協議,比如CanDID用戶可以擁有并保管自己的身份認證信息,而不是讓中心化的第三方托管這些信息。這些身份認證信息由名為“issuer”的機構簽名,這些權威機構可以將用戶與公民身份、職業和教育背景等身份信息掛鉤。DECO可以讓現有web服務器成為issuer,為賬戶提供秘鑰共享管理功能,并基于社保卡號等確定性的獨特身份認證實現隱私版的抗女巫攻擊功能。最后,DECO等零知識證明方案不僅可以為用戶帶來價值,還能讓傳統機構和數據提供商將其專有的敏感數據變現,并充分保障數據隱私。最終只在鏈上公布零知識證明的證明結果,而數據內容不會直接公布在鏈上。這為數據提供商打開了新的市場。數據提供商可以變現數據并提高收入,并同時充分保障數據隱私。另外再加上ChainlinkMixicles,不僅可以保護協議中輸入的數據隱私,還可以保護協議中的條款隱私。企業和機構可以有機結合區塊鏈網絡的透明性以及零知識證明的隱私性,在最大程度上實現價值,既保護內部數據隱私,又將數據用于智能合約應用中。

英國FCA對加密資產發行、監管義務和托管規定進行了商討:金色財經報道,英國金融行為監管局在本月早些時候舉行的第一次CryptoSprint中采取了不同的策略。FCA 在其網站上表示,在兩天的時間里,參與者在混合學科團隊中工作,以探索加密行業面臨的挑戰,包括英國金融監管機構 FCA 如何支持和平衡創新與保護消費者的標準。

CryptoSprint 探討了如何處理與加密資產發行、監管義務和托管規定相關的信息披露。許多數字資產公司高管稱,他們想要一種允許創新的協作方法。FCA 的 CryptoSprint 讓一些與會者覺得這實際上是可能的。

FCA 發言人在一份聲明中表示,過去兩天非常積極,參與者就未來的政策可能是什么樣子進行了密切討論,令人驚訝的是,對加密市場未來監管的總體看法與我們的一致,消費者保護和市場誠信是為這個不斷發展的行業提供信心的關鍵。(Coindesk)[2022/5/28 3:46:27]

Tags:區塊鏈ALIECOBOB區塊鏈通俗易懂的例子Adrenaline AIPEECOINBOBA幣

火幣網下載官方app
LANC:公鏈之爭爆發,Avalanche 蓄勢待發_VALAS

除了最常被提及的以太坊及幣安智能鏈外,一些新興的公鏈如Polygon、Terra、Avalanche、Fantom也逐漸站在前沿并引起人們的注意,上一期,我們通過FootPrint數據.

1900/1/1 0:00:00
區塊鏈:“跨鏈雙雄”Polkadot和Cosmos重回大眾視線,Paradigm如何看跨鏈橋的發展?_COS

Hasu:眾所周知,Paradigm是以太坊的大力支持者,總的來說,除了比特幣之外,以太坊是你們曾唯一支持的「其它」區塊鏈.

1900/1/1 0:00:00
NFT:一文速覽 NFT 新玩法「Noun」:每日隨機鑄造和拍賣的 NFT 新物種_SQGL Vault (NFTX)

撰文:GraemeBoy,Mirror.xyz項目首席技術官編譯:PerryWangNounsDAO是一個NFT項目,它將偽隨機生成圖像,并結合拍賣、社區治理和一種新穎的渲染技術.

1900/1/1 0:00:00
PROX:「模擬人生」創作者發布NFT游戲Proxi,用區塊鏈規范游戲內容市場_zkNFTex

Odaily星球日報譯者|念銀思唐模擬生活電子游戲《模擬人生》的創作者WillWright正著手發布一個新游戲,允許玩家在游戲中創建自己的內部id——他正在使用人工智能和區塊鏈來實現這一點.

1900/1/1 0:00:00
HOR:DeHero將逐步升級為卡牌元宇宙_HERO

由MixMarvel孵化并發行的GameFi鏈游DeHero是一款專注于NFT+DeFi玩法的卡牌收集類游戲,它首次部署在幣安智能鏈上.

1900/1/1 0:00:00
GAME:歐易OKEx GameFi項目盤點,誰將是下一個潛力幣?_DragonsGameFi

繼DEFI之后,又一概念——NFT接下DEFI發展的接力棒,成為又一火熱的項目。NFT到底有多火?據GoogleTrends數據顯示,自年初以來,NFT的搜索量增長了13.7倍;Nonfungi.

1900/1/1 0:00:00
ads