在我們看項目介紹時經常會碰到一些奇怪的詞組,使我們對項目的理解造成困擾,本期我們來聊聊一個經常看到,并且長得很奇怪的概念性詞組“零知識證明”。
什么是零知識證明
區塊鏈領域最卓越的技術之一是零知識證明的廣泛采用。這項技術提供了區塊鏈的不變性和隱私性,并且已經成為確保區塊鏈上交換資訊隱私的三種可能的解決方案之一,其他兩種分別是安全多方計算和可信執行環境,在此本篇不作展開。
圖片資料來源:Google
零知識證明的邏輯
零知識證明(zeroknowledgeproofs),簡稱為ZKP,它是密碼學中使用的一種方法,用于證明某些已知的東西,而不直接揭示已知的資訊。它基本上允許在交換中對私人資訊保密。零知識證明是間接證明,允許您證明自己知道一個秘密,而無需向其他人透露該秘密。
Aave社區正對“減少V2對CRV的風險敞口”提案進行鏈上投票:7月1日消息,治理頁面顯示,Aave社區正對“降低Aave V2以太坊上CRV的清算閾值 (LT) 和貸款價值 (LTV) ”提案進行鏈上投票。距離投票結束還有20個小時,目前支持率達100%。
據悉,該提案旨在減少Aave在V2以太坊上的CRV風險敞口,建議按照社區先前批準的風險規避框架,通過一系列增量減少來達到預期的設置,在任何給定的AIP中減少最多3%。[2023/7/1 22:12:21]
在零知識證明中,基本角色是證明者和驗證者。證明者必須證明他們知道這個秘密。驗證者必須能夠驗證證明者是否說實話。
它之所以有效是因為,驗證者要求證明者做一些只有在證明者肯定知道秘密的情況下才能完成的事情。如果證明者只是依靠猜測,他們最終將被驗證者的測試所淘汰。如果證明者的確知道這個秘密,那么證明者每次都會通過驗證者的測試,而不會出現問題。簡單地說。這就像我們在找回銀行賬戶密碼時,需要向系統提供正確的手機驗證碼,而不用告訴銀行我們的賬戶里有多少錢。
金融科技公司Ejara完成800萬美元融資, Anthemis與Dragonfly領投:11月28日消息,喀麥隆金融科技公司Ejara完成800萬美元A輪融資,Anthemis與Dragonfly領投,參投方包括Mercy Corps Ventures、CoinShares Ventures、Lateral Capital、Circle Ventures、Moonstake、Emurgo、HashKey和BPI France,個人投資者包括Blockworks的聯合創始人Jason Yanowitz等。
據悉,Ejara為非洲法語國家的用戶提供購買、出售、交換和存儲其加密貨幣的服務,且使用非托管錢包進行。除了加密貨幣之外,其還在將政府債券代幣化并據此發行儲蓄產品。(techcrunch)[2022/11/28 21:07:25]
零知識證明的工作原理
狗狗幣DOGE價格近期上漲已導致近5200萬美元空頭被清算:金色財經報道,由于狗狗幣 DOGE 價格近日出現上漲,導致上周有近9000 萬美元被清算,其中約有 5200 萬美元來自空頭交易者。自上周五以來,由于埃隆·馬斯克對 Twitter 的收購得到確認,DOGE 在過去一周增加了 90% 以上的價值,但也超過了比特幣和以太坊成為清算量最大的加密貨幣,截至 10月31日,狗狗幣期貨未平倉頭寸約為6470億美元。(coindesk )[2022/11/1 12:06:16]
零知識證明是一種加密協議,它允許一方向另一方出示信息的正確性,而無需透露有關該方的任何其他訊息。該定義最初是由麻省理工學院的研究人員ShafiGoldwasser,SilvioMicali和CharlesRakoff在1958年的論文《交互式證明系統的知識復雜性》中提出的。
谷歌現支持搜索顯示以太坊錢包余額:10月11日消息,谷歌現在支持在搜索時直接提供有關以太坊地址的數據。當在谷歌上搜索以太坊地址時,搜索引擎現在會顯示錢包的 ETH 余額。數據源于以太坊區塊瀏覽器 Etherscan。(The Block)[2022/10/11 10:31:17]
零知識證明具有三個主要屬性:
完整性-如果證明者知道驗證信息,那么他可以說服驗證者。
正確性-如果證明者不知道驗證信息,那么他幾乎不可能欺騙驗證者。
零知識-驗證者即使行為不誠實,也不會從證明者那里得知除驗證信息以外任何其他訊息。
采用交互協議的形式。這意味著驗證者向證明者提出一系列問題,證明者如果知道答案,將正確回答所有問題。否則,驗證者將確定證明者不知道答案。在這種情況下,所有答案都不會給出有關機密本身的任何訊息。
零知識協議有兩種類型:
交互的:
驗證者獨立地實時詢問證明者﹔
非交互式的:
不需要驗證者和證明者之間的直接通訊;
驗證者可以在事實之后驗證信息的真實性。
圖片資料來源:Google
zk-SNARKs
第一個基于零知識證明的智能合約就是匿蹤加密貨幣ZEC,其中的演算法便是zk-SNARKs,但因為ZEC的區塊獎勵會有大約20%進入基金會的口袋以支持運作,由于部分支持者不滿這種行為于是分岔出了ZCL代幣,但是兩者的加密算法與架構都是一致的。
zk-SNARKs是zeroknowledgeSuccinctNon-interactiveARgumentofKnowledge的縮寫,這幾個詞分別代表了:Succinct(簡潔,用很少的資料量可以完成整個溝通與驗證)、Non-interactive(不需要與原始發送者溝通即可驗證訊息)、ARgument(只在計算上是安全的,如果遇到一個計算能力極強的攻擊者會失效)。
零知識證明的應用
1.ZKP的應用
零知識的證明的應用主要有5個方面:
1.零知識證明可以為公共區塊鏈引入更多的隱私。例如,四大匿名代幣ZEC,XMR,DASH,REP就是基于零知識證明的加密貨幣,這些匿名代幣在流轉過程中隱匿信息,我們無法通過區塊鏈查詢到交易金額甚至錢包地址。
2.財務:ING使用ZKP,例如,貸款申請人可以證明他們的收入在可貸款的范圍內,而無需透露他們的確切工資。
3.投票:如果在公共區塊鏈進行投票,則不需要值得信賴的第三方來驗證結果。因此,ZKP可以使投票系統匿名,合格的選民可以在不透露身份的情況下證明他們投票的權利。
4.認證:在身份驗證系統中,一方希望通過密碼等一些秘密資訊向第二方證明其身份,但不讓第二方了解具體信息。ZKP可以幫助執行此類資訊交換。
5.訊息傳遞:通過ZKP和區塊鏈,可以讓您要發送到的郵箱之外,沒有人可以閱讀私人郵件。我們可以在消息傳遞世界中建立端到端的信任,而不會泄露任何額外的資訊。
2.ZKP的具體用例
新創公司QEDIT開發了SDK,該工具包使您可以在現有的區塊鏈中實施零知識證明,以增加交易的隱私性,同時保持通過節點進行交易驗證的可能性。該項目已獲得歐盟委員會質量認證,其合作伙伴包括VMWare,AntFinancial和Deloitte等知名公司。
StarkWare已經創建了基于zk-STARKs協議的解決方案,該協議也可以在現有網路上實現。該項目已經吸引了VitalikButerin,PanteraCapital,IntelCapital,SequoiaCapital和其他投資者的資金。
荷蘭銀行ING已發布零知識證明的修改版本-零知識范圍證明。該協議可以使荷蘭銀行在發放企業員工的工資時,無需透露其本身的具體金額。
圖片資料來源:Google
來源:金色財經
如果說2021是元宇宙元年,那么Web3無疑是今年科技領域最熱的詞匯了。那投身Web3不就是今年最好的機會么?既然選擇了風口,便只顧風雨兼程!不過話又說回來,到底什么是Web3呢?盡管網絡上對W.
1900/1/1 0:00:00近期,全球對于美國的經濟是越來關注得越多,而在今年很多人表示,美國的經濟已經處于全面衰退狀態了。尤其是在美聯儲在6月16日發布的75點的加息后,很多國際專家紛紛表示,美國的衰退期馬上要來臨了.
1900/1/1 0:00:00DoKwon利用狂熱的Twitter追隨者建立了一個加密貨幣帝國,該帝國上個月在400億美元的崩盤中崩潰。盡管投資者憤怒、調查和加密市場低迷,這位韓國企業家如今正試圖卷土重來.
1900/1/1 0:00:00依現在局勢來看,空頭目前呈現出弱勢的領先優勢,然后大趨勢的到來還需要時間,我們需要做的就是繼續等價格回彈到參考位21000點附近以及21500點附近這兩個關鍵位來布局空頭的機會.
1900/1/1 0:00:00翹首以盼,BV第四期直播終于定日子了。北京時間6月30日下午1點,膚白帥氣的Hyden也要和大家見面了,這一次,他準備了一個大招——元宇宙。元宇宙并非是一個新鮮概念.
1900/1/1 0:00:00PEOPEL今天在Q群讓大家都止盈了。沒走在最高點,也有20%左右的利潤,還不錯。今天把所有的幣種都看了下,絕大部分的幣種今天都到了左側的壓力位附近開始出現了回落,那么預計是四小時周期會有所調整.
1900/1/1 0:00:00