買以太坊 買以太坊
Ctrl+D 買以太坊
ads
首頁 > FTX > Info

DAPP:?DAOrayaki:創建假的zkSNARK證明-ODAILY_TAU

Author:

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

DAOrayakiDAO研究獎金池:

zkSNARKs是一種創建零知識證明的方法。具體來說,是簡潔的、非交互式的創建零知識證明的方法。

zkSNARKs到底是什么可以參考以下內容

1.zkSNARKs在Zcash中是如何構建的--由Zcash團隊提供。

https://z.cash/technology/zksnarks/

2.私人數據的無信任計算—QED-it的首席密碼學家DanielBenarroch和AvivZohar

教授的博文。

https://qed-it.com/trustless-computing-on-private-data/

3.證明,區塊鏈。ZKPinAction-一個解釋ZKP和如何為數獨創建一個的會議

視頻。

土耳其總統候選人Kemal K?l??daro?lu:將在上臺后擴大Web3平臺采用:5月14日消息,2023年土耳其總統候選人、土耳其最大反對黨領袖Kemal K?l??daro?lu表示將在上臺后取消對PayPal的禁令并擴大Web3平臺采用,K?l??daro?lu還批評了土耳其央行禁止在國內使用加密貨幣作為支付方式的決定。

土耳其現任總統埃爾多安曾在2021年9月份推出反對加密貨幣的政策,但由于土耳其通脹一直居高不下,該國一直位于全球加密采用率前列。(Rossaprimavera)[2023/5/14 15:02:00]

https://qed-it.com/2017/07/04/zkp-in-action/

4.不可思議的機器--QED-it首席科學家AvivZohar教授的博文,解釋了可信的設置。

https://qed-it.com/2017-12-20-the-incredible-machine/

動態 | 昨日EOS?Dapp交易額達到近一個月最低點:據RatingDapp和RatingToken大數據監測顯示,昨日,EOS/ETH/TRON三大主流公鏈平臺Dapps活躍用戶分別為:EOS(109358)>TRON(52793)>ETH(21590)。從交易額來看,EOS?Dapp昨日交易額$14372271.83,環比前日下降9.38%,達到近一個月最低點;ETH Dapp昨日交易額$10704132.34,環比上升11.02%;TRON Dapp昨日交易額$12439654.66,環比下降1.43%。[2019/6/5]

5.獵殺SNARK-一系列的謎語,用于實驗ZKPs。

https://qed-it.com/2017/07/11/the-hunting-of-the-snark/

在QED-it,我們使用zkSNARKs和其他工具,為企業創建零知識區塊鏈。

分析 | 最近一周ETH?Dapp?單筆平均交易額環比下降39.78%:據RatingDapp和RatingToken大數據監測顯示,最近一周,三大公鏈EOS/ETH/TRON?Dapp交易筆數分別為EOS(26208833)>TRON(5138201)>ETH(555460);交易額EOS($167909257.01)>TRON($84869324.83)>ETH($66362082.26)。從各公鏈Dapp單筆平均交易額來看:EOS 6.41美元,環比上周上漲1.58%;ETH 119.47美元,環比上周下降39.78%;TRON16.52美元,環比上周下降14.79%。[2019/5/29]

最為人所知的zkSNARKs的生產部署可能是ZCash--一種具有不可鏈接的交易和隱藏金額的加密貨幣。ZCash,以及其他一些利用zkSNARKs的產品,都是基于一種叫做Pinnochio的結構,盡管更具體的是BCTV14a。這是一項了不起的技術,正如你可能懷疑的那樣。這種結構有一個明顯的缺點:可信的設置。

動態 | TRON?Dapp每個用戶平均周交易額環比下降3成以上:據RatingDapp和RatingToken大數據監測顯示,最近一周?EOS/ETH/TRON三大主流公鏈平臺Dapps活躍用戶EOS(164338)>TRON(158759)>ETH(56290),交易額EOS($131033554.33)>TRON($90399562.53)>ETH($89744592.9)。從單個用戶平均周交易額來看,最近一周EOS?Dapp為797.34美元,環比上周下降3.56%;ETH Dapp為1594.33美元,環比上周上漲1.02%;TRON Dapp為569.41美元,環比上周下降36.97%。[2019/5/22]

受信任設置

設置是一個生成CRS的過程,或者更公開地稱為一對證明和驗證密鑰。這些"密鑰"被證明者和驗證者用來分別生成和驗證特定問題的證明。

在這個過程中,有一些隨機的元素被抽樣,但必須保密。因為如果驗證者知道這些,他們將能夠創造出被成功驗證的證明,而在證明過程中不使用問題的實際解決方案。換句話說,就是要偽造證明,破壞健全性。這種隨機性也被稱為"有廢料"。有一些方法可以避免這種擔憂,不把信任放在單一實體上。對于公共電路來說,這些方法通常涉及多方計算,在這個過程中,多個參與者捐出自己的隨機性,之后再將其銷毀。有趣的是,只要有一個參與者是誠實的,并且銷毀了他們的隨機性,整個過程就會很安全。

動態 | 近一個月ETH?Dapp單筆平均交易額環比上漲達34.79%:據RatingDapp和RatingToken大數據監測顯示,最近一個月?EOS/ETH/TRON三大主流公鏈平臺Dapps?交易額分別為EOS($728945752.64)>TRON($387566154.16)>ETH($253931932.08)。從各公鏈Dapp單筆平均交易額來看,EOS 6.52美元,環比上月上漲0.57%;ETH121.84美元,環比上月上漲34.79%;TRON 11.03美元,環比上月下降29.37%。[2019/5/14]

使用MPC做可信設置的一些值得注意的例子仍舊是:ZCash。

1."TheCeremony"播客

https://www.wnycstudios.org/podcasts/radiolab/articles/ceremony

2.Tau的冪

https://z.cash.foundation/blog/powers-of-tau/

你可能會注意到這里冒出來的這個"Tau"...Tau的保密性非常重要。一旦Tau被證明人知道,就很容易偽造證明。

創建一個證明

讓我們快速看一下BCTV14a中提出的建設。

這是一個數學問題,所以讓我們挑出與本篇文章有關的細節部分:

1.Tau是在設置過程中隨機抽取的有限場中的一個點,是"有廢料"中的一部分。

2.在證明過程中,驗證者會計算一些多項式--A(z),B(z)和C(z),它們來自約束系統和公共及私人輸入的解決方案。本質上,這些多項式代表了"a*b=c"形式的約束,或者等同于"a*b-c=0"。

3.驗證人還計算H(z)=(A(z)B(z)-C(z))/Z(z),其中Z(z)是一個公開的多項式,在代表約束系統的點上為零。請注意,由于A、B和C考慮了驗證者的輸入,只有當分子也在相同的點上歸零時才能計算出H,證明驗證者實際上知道問題的一個解決方案,即產生A*B-C=0。重要的部分現在發生了--驗證者在不知道Tau的情況下,可以計算出在Tau處求值的"指數內"H(z)--H(Tau)。

我們為什么要這樣做?因為通過在隨機點Tau上求值,證明者有很高的概率表明方程H=(A*B-C)/Z對所有Z都成立。從同一問題的不同角度來看,在不知道Tau的情況下,證明者以高概率,將無法產生一個在該點得到完全相同的值的多項式。

我們如何在技術上做到這一點呢?有這樣一個事實:設置過程的一部分產生了包含Tau所有相關冪的元素隱藏在指數中,以pk_Hi的形式給出。如果我們有H的系數,我們可以將這些結合起來并創建H。

更具體地說

驗證者計算的H(z)

取自證明的鑰匙,在設置過程中計算出來的

對H(Tau)進行“指數內”評估

驗證者在收到證明后,可以再次在指數中檢查驗證者是否確實提供了滿足H=(A*BC)/Z關系的H的系數,這只有在驗證者確實知道一個解決方案時才能做到。

偽造證明

現在讓我們做個假設,如果Tau被知道了會怎樣?如果由于某種原因,它在設置過程中被暴露出來,并且被惡意驗證者知道了。

顯然,偽造一個證明是非常容易的。因為H=(A*B-C)/Z的等價檢查是在特定的點Tau進行的,我們可以利用我們對Tau的了解來創建一個完全滿足的多項式。也就是說,創建一個常數多項式H(z),它只是一直返回/Z(Tau)。

核查員的檢查會通過,而且沒有人知道。這聽起來很難...

其實一點也不。我們非常歡迎你查看這段概念驗證代碼,它基于HowardWu的libsnarktutorial,自己看看對代碼所做的修改。

1.該程序設置了一個用于比特分解的電路,盡管它是C。

2.設置過程惡意地將Tau保存到磁盤。

3.驗證者從磁盤上加載Tau,并使用錯誤的輸入進行證明。驗證者知道Tau,生成常數多項式,不考慮輸入。

然后驗證者成功地驗證了證明!

結論

我希望這篇文章提供了一些見解,讓我們了解什么是大家一直在談論的關于zkSNARKs的"有廢物",以及為什么它的暴露會導致容易被攻擊。

Tags:DAPPAPPDAPTAUInstadapp元宇宙app官方版下載網易云DAPS幣TAUR價格

FTX
NFT:AAX成為2021年香港金融科技周鉆石贊助商,將深入探索現實世界和虛擬世界的交集-ODAILY_QUO

AAX很高興能成為2021年香港金融科技周的鉆石贊助商,該活動將于2021年11月1日至5日舉行。這次贊助為AAX提供了一個完美的契機,來探索我們的真實世界和虛擬世界之間的交集是如何變化的.

1900/1/1 0:00:00
UIN:一文讀懂什么是Soilidity:用于實現智能合約的高級編程語言-ODAILY_SoccerInu

函數聲明 functioneatHamburgers(stringmemory_name,uint_amount)public{}函數的可見性是公開的.

1900/1/1 0:00:00
加密貨幣:區塊鏈頭條觀察 | 比特幣市值即將超過白銀?-ODAILY_區塊鏈

價格創新高11月9日,比特幣創下68000美元以上的歷史新高,其市值達到1.27萬億美元,超過了特斯拉和Meta,逼近白銀市值。以太坊的市值排名也上升到了第15名,緊隨騰訊之后.

1900/1/1 0:00:00
區塊鏈:區塊鏈頭條觀察 | 二層和多鏈DeFi協議資金流入創新高,以太坊壓力山大-ODAILY_DEFI

自10月份以來,由于以太坊的gas費用飆升,投資者和開發者都在試圖避開使用以太坊網絡,多鏈兼容的DeFi平臺出現了創紀錄的資金流入.

1900/1/1 0:00:00
INT:Footprint:你購買的NFT受到法律保護了嗎?-ODAILY_NFT

撰文:Footprint分析師Grace日期:2021/11/17筆者在上文《花式購買NFT就擁有了版權嗎?》里提到了NFT買家在交易時得到該NFT作品所附的權利中智能合約載明的權利.

1900/1/1 0:00:00
COI:外媒傳中國解禁比特幣挖礦,只是誤會一場-ODAILY_CCFT

吳說作者|ColinWu本期編輯|ColinWu25日,突然海外媒體與大V群起傳播:中國要解禁比特幣挖礦,甚至惹得一些國內行業人士也是一頭霧水,將信將疑.

1900/1/1 0:00:00
ads