比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > TRX > Info

一文讀懂區塊鏈中的零知識證明_門羅幣

Author:

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

本文來自:BFTF,作者:吳瓊。零知識證明是一種基于概率的驗證方式,驗證的內容包括“事實類陳述”和“關于個人知識的陳述”。驗證者基于一定的隨機性向證明者提出問題,如果都能給出正確回答,則說明證明者大概率擁有他所聲稱的“知識”。零知識證明系統包括兩部分:宣稱某一命題為真的示證者(prover)和確認該命題確實為真的驗證者(verifier)。證明是通過這兩部分之間的交互來執行的。在零知識協議的結尾,驗證者只有當命題為真時才會確認。但是,如果示證者宣稱一個錯誤的命題,那么驗證者完全可能發現這個錯誤。這里我們給出一個有關零知識證明的非常經典的例子,來幫助大家理解:阿里巴巴被強盜抓住,為了保命,他需要向強盜證明自己擁有打開石門的口令,同時又不能把密碼告訴強盜。他想出一個解決辦法,先讓強盜離開自己一箭之地,距離足夠遠讓強盜無法聽到口令,足夠近讓阿里巴巴無法在強盜的弓箭下逃生。如果強盜舉起左手,阿里巴巴就使用口令將石門打開,如果舉起右手,就將石門關閉。阿里巴巴就在這個距離下向強盜展示了石門的打開和關閉。如果每次都能正確打開和關閉大門,則證實阿里巴巴確實知道石門的密碼。這個整個過程就是零知識證明,即證明者能夠在不向驗證者提供任何有用信息的情況下,使驗證者相信某個論斷是正確的。由此我們可以總結出零知識證明的三個屬性:如果語句為真,誠實的驗證者將由誠實的證明者確信這一事實。如果語句為假,不排除有概率欺騙者可以說服誠實的驗證者它是真的。如果語句為真,證明者的目的就是向驗證者證明并使驗證者相信自己知道或擁有某一消息,而在證明過程中不可向驗證者泄漏任何有關被證明消息的內容。零知識證明系統也叫做最小泄露證明系統。中本聰創造性的提出了比特幣并且構建了一個去中心化的交易平臺,從而去除了長久以來對第三方交易平臺的信任依賴,但是與此同時,比特幣又需要將所有的交易廣播到網絡上并通過所有節點達成共識來保證整個系統的安全性,也就是說所有的人都可以看到網絡上所有的交易,而原始的比特幣協議又并沒有對交易發送者和接收者的地址作任何處理,這就導致某些細心的攻擊者通過分析一個地址的交易特征并結合一些實際信息,就有可能分析出地址與實際人的對應關系,從而給使用者的隱私帶來極大的隱患。基于此衍生了幾種知名的隱私幣,其中零知識證明起到了非常大的作用。下面我們來介紹幾種采用了零知識證明的區塊鏈系統。ZCash

Jack Dorsey:愿與Coinbase共建開放的互聯網貨幣傳輸協議:8月2日消息,Jack Dorsey 在收到 Coinbase 首席執行官 Brian Armstrong 對其推文的回復后表示:毫無疑問,Coinbase 向更多人介紹了比特幣,對此我很感激。如果你們能將更多的資源投入到你們最初關注的比特幣和 Layer 2 技術上,那將是非常棒的,我們也很樂意成為合作伙伴。我們希望有一個開放的互聯網貨幣傳輸協議,而不是由單個個體、公司或政府控制。我們是同一支隊伍。

金色財經此前報道,Coinbase CEO Brian Armstrong 在回應 Jack Dorsey 提出的Coinbase 為何一直忽視比特幣閃電網絡支付方案」問題時表示,正在研究如何最好地添加閃電網絡。這并不簡單,完全支持比特幣支付的發展。[2023/8/2 16:13:21]

ZCash作為匿名加密貨幣項目,一開始只是作為比特幣的加密匿名層存在,后來因為其優秀的隱私性成為獨立的加密貨幣。與比特幣一樣,ZCash的總量也是2100萬,不同的是它可以實現真正意義上的匿名——各位甚至都不用知道對方有多少錢就能完成交易。那么ZCash是如何實現真正的匿名和保護隱私的?利用了zk-SNARK技術,也即零知識證明的技術:即使貨幣的來源與流向信息完全保密,零知識證明技術仍然可以驗證花錢的用戶確實擁有貨幣。公共區塊鏈:ZCash使用公共區塊鏈用于交易的展示,但是它會自動屏蔽掉交易的金額,貨幣的持有者可以通過查看密鑰來觀察相關聯的信息。在使用ZCash數字貨幣進行交易時,它會自動加密交易的原數據;同時交易個體并不需要ZCash節點來保存數據,只需要zk-SNARK來證明其“消費能力”。這主要體現在交易過程中的兩點,一可以讓別人在不知道具體交易內容的情況下驗證交易的有效性,二交易的詳情也可以在公共區塊鏈上消除掉。這樣交易雙方似乎從來沒出現,而實際交易已經完成了。作為吃瓜群眾只知道有交易發生了,但也無法對貨幣流向進行跟蹤。這樣便實現了真正的“匿名交易”。zk-SNARK中的技術實現

Upbit新增針對交易量、存款量激增等相關的警報類型:7月4日消息,加密交易所Upbit新增針對交易量激增、存款量激增、少量賬戶的重點提醒等三種警報類型,此外對于新上線支持不到24小時的加密貨幣則被排除在交易量[2023/7/4 22:16:37]

同態隱藏同態隱藏可以一定程度上實現零知識證明。舉例:A擁有x和y兩個秘密的數字,需要向B證明這兩個數字的和是7,只需要執行下面三個步驟:A計算f(x),f(y),并發送給B;因為函數f(x)滿足加法同態,B可以通過f(x),f(y)計算f(x+y);B獨立計算f(7),并驗證f(x+y)=f(7)。多項式盲驗證多項式盲驗證,即將加法同態的特性利用到多項式中。假定A知道一個最高d次的多項式P,而B想要知道對應某個s的E(P(s)):

我們希望在驗證的過程中,A只知道P,不知道s,B只知道s,不知道P,可以通過下面方式實現:對s的每個指數,B計算E(1),E(s),...,E(sd),并發送給A;A知道多項式的所有系數,可以利用同態特性計算P(s),并回送給B;KCA以及完整的多項式盲驗證。上面提供的多項式盲驗證方式有一個致命的問題,就是B根本沒法驗證A是真正利用多項式P(s)去計算結果,也就是說無法證明A真正知道這個多項式P(X)。KCA繼續完善了上面的驗證。總之,通過加法同態,我們可以實現加法隱藏,讓B在不知道x和y的情況下,校驗x+y的值。進一步,通過多項式盲驗證,我們可以在不暴露多項式P(X)的情況下,讓B校驗任意給定s對應的P(s)。任意計算轉換到多項式證明。從多項式推廣到任意計算的盲驗證。最終我們把原算式的證明轉化成為多項式的證明,只要證明多項式,即可驗證原算式。匹諾曹協議。最后一步的驗證流程。門羅幣

新當選的斐濟總理支持比特幣,考慮采用比特幣作為法定貨幣:12月29日消息,新當選的斐濟總理Sitiveni Rabuka支持比特幣,湯加貴族和前湯加議會議員Fusitu'a表示,他已經向Rabuka一步步解釋了斐濟如何像湯加一樣采用比特幣作為法定貨幣。湯加將比特幣作為法定貨幣引入的時間表是公開的,最早可能在2023年2月通過。由于地理位置和歷史原因,斐濟面臨著與湯加類似的經濟和發展挑戰。(Cointelegraph)[2022/12/29 22:15:15]

門羅幣作為目前加密數字貨幣中代表性的一種,在保證交易的隱私性方面應用著極其巧妙的密碼學技術。門羅幣的兩個屬性:不可鏈接性:無法證明兩個交易是發送給同一個人的,也就是無法知道交易的接收者是誰。不可追蹤性:無法知道交易的發送者是誰。門羅幣的技術實現:StealthAddresses(隱蔽地址)在門羅幣中,每次發送者要發起一筆交易時,先利用接收者的公鑰信息計算出一個一次性臨時中間地址,然后將金額發送到這個中間地址,接收者再利用自己的公私鑰信息找到那筆交易,從而進行花費,這樣網絡上其他的用戶包括礦工等就無法確定中間地址到底屬于誰的,但依然可以驗證交易的有效性,而由于這個地址又是一次性的,每次都重新隨機產生的,攻擊者也就無法對真實的發送者接收者作任何關聯。假設Alice想給Bob轉一筆賬,對于Bob來說壓力是非常大的,因為他需要掃描區塊鏈上的所有的交易,然后計算相應的信息進行對比才能找到發給自己的交易。門羅幣為此提出了一個改進的方案,就是Bob可以將他私鑰的一半(a,B)交給一個第三方,從而授權第三方來幫忙檢查區塊鏈上所有屬于Bob的交易,也就減輕了Bob的壓力,但最終還是只有Bob能花費。One-timeRingSignature(一次性環簽名)簡而言之,環簽名要做的就是將簽名者的公鑰和另外一個公鑰集合進行混合,然后再對消息進行簽名,這樣對于簽名驗證者來說,無法區分混合后集合中哪一個公鑰對應的是真正的簽名者。門羅幣中采用的環簽名技術的整個流程:第一步,密鑰生成簽名者首先隨機選擇一個私鑰x,然后計算對應的公鑰。同時還計算另外一個公鑰。這個公鑰I稱之為“密鑰鏡像”,對于每一個簽名來說這個密鑰鏡像是唯一的,所以后面也被用來判斷簽名是否之前出現過。第二步,簽名首先簽名者隨機選擇一個包含n個元素的公鑰集合,然后和自己的公鑰進行混合產生混合后的集合S,假設混合后簽名者的公鑰在S中的下標為s,那么他的公鑰就是Ps。然后簽名者再從中隨機選擇{qi,i=0,...,n}和{wi,i=0,...,n,i!=s},然后再計算一個非交互式的挑戰(non-interactivechallenge)。這里非交互式是相對與交互式零知識證明中的挑戰而言的,在交互式中這個挑戰是驗證者隨機選取的一個值,而因為在區塊鏈中交易雙方只能通過區塊鏈來進行傳遞信息,而不能直接進行交互,所以這里選擇非交互式零知識證明。而需要這個挑戰的原因是避免證明者偽造證據來欺騙驗證者的情況出現。第三部,簽名驗證驗證者要驗證簽名的有效性,首先計算然后驗證。如果等式成立,然后運行LNK來驗證簽名是否使用過;如果等式不成立,說明簽名是非法的。第四步,重復校驗這要求系統必須維護一個包含所有簽名的鏡像的集合,然后對于每一個新的簽名,通過判斷它的鏡像是否在集合中,來判斷該簽名是否之前出現過。注意在這一步之前,先要通過上一步的簽名驗證過程。門羅幣通過隱蔽地址來保證不可鏈接性,通過環簽名來保證不可追蹤性,從而給用戶的交易信息提供了很好的隱私性。但同時我們也可以發現,在隱蔽地址時獲取incomingtransaction方面給用戶帶來很大的壓力,而且公私鑰的長度也變為了原來的兩倍,環簽名時對于混淆公鑰的選擇要保證一定的隨機性,簽名的產生和驗證過程復雜度都明顯增加了,這些都是需要改進的地方。去年12月,門羅團隊宣布在協議中整合Bulletproofs機制。門羅團隊表示,部署這項技術能夠減少80%的交易容量,后續還將降低80%的交易費用,整體上能夠提供“更大的存儲空間、更合理的驗證時間以及更低的費用”。

新加坡提議禁止散戶投資者借貸購買加密貨幣:10月26日消息,據彭博社報道,新加坡提議禁止散戶投資者借貸以購買加密貨幣,這是進一步收緊其數字資產監管制度的一系列建議中的一部分。在新加坡金融管理局 (Monetary Authority of Singapore) 的一份咨詢文件中,其他可能采取的措施包括,禁止企業使用散戶投資者存入的 Token 進行借貸或質押以產生收益。

該文件還提出,Stablecoin 必須要與當地貨幣或 G10 國家法定貨幣錨定,并由相同面額的儲備資產完全支持。發行方也將面臨最低資本金要求。[2022/10/26 16:39:25]

元宇宙入選LG創業孵化器北美創新中心初創企業領域:金色財經報道,LG的內部創業孵化器北美創新中心NOVA宣布了它在 \"未來使命 \"全球挑戰賽中選出的20家初創企業。這些公司代表了互聯健康、活力移動、智能生活方式、元宇宙和創新影響等領域的新發展,該公司將其描述為一般 \"具有社會影響 \"的技術類別。

這20家公司中的每一家都將獲得10萬美元,與LG合作創建一個商業框架,與LG的加速器一起運行一個試點。[2022/6/21 4:41:29]

Tags:比特幣門羅幣區塊鏈CASH比特幣交易門羅幣是什么技術區塊鏈存證怎么弄Latam Cash

TRX
百度首席架構師、區塊鏈實驗室負責人譚待:共建可信生態 | 2018 星球日報 P.O.D大會_DAP

區塊鏈這三個字近年經歷了幾番跌宕,從前沿的技術概念、風口上的熱詞,到被過度消費的符號。很多人相信,區塊鏈是解決許多行業痛點的工具,有潛力成為下一個世代“超級商業載體”誕生的催化劑.

1900/1/1 0:00:00
紀念比特幣10周年,奢侈表品牌 Hublot推出限btc購買的新品_GOX

據cointelegraph9月29日報道,瑞士奢侈手表品牌Hublot在近日推出了新款手表BigBangBlockchain.

1900/1/1 0:00:00
星球首發 | 要在鏈上投放互動廣告,「星途協議ATP」獲軟銀中國等資本數千萬元投資_DROP

我們曾探討過目前常見的廣告鏈在做什么,總結起來就是用區塊鏈讓投放流程更透明,減少欺詐和低效投放,同時讓利益分配更公平。不過,這都是區塊鏈對互聯網廣告的改造.

1900/1/1 0:00:00
唱唱反調 | 算命也上鏈,月老他同意了嗎?_區塊鏈

編者按:之前,我們幾名作者的日常工作就是大量看BP、接觸創業者和投資人,去學習并試圖判斷背后的商業邏輯.

1900/1/1 0:00:00
清華大學數據科學研究院劉運渠:數據驅動的云網鏈一體化,下一代數據網提供區塊鏈平臺即服務 | 區塊鏈P.O.D大會_TOKE

9月5日,在由Odaily星球日報主辦、36Kr集團戰略協辦的區塊鏈P.O.D大會上,清華大學數據科學研究院劉運渠發表了題為《數據驅動的云網鏈一體化:下一代數據網提供區塊鏈平臺即服務》的演講.

1900/1/1 0:00:00
實現全民挖礦?「哈魚」想通過降低用戶挖礦門檻成為區塊鏈流量入口_ALGO

Odaily星球日報獲悉,云挖礦平臺「哈魚」近日獲得策源資本、真格基金1200萬元的天使輪融資,策源資本領投,此次融資主要用于產品的迭代與研發.

1900/1/1 0:00:00
ads