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和如何為數獨創建一個的會議
美SEC主席:Coinbase提供沖突服務并且缺乏有效風險監督:7月13日消息,彭博高級ETF分析師Eric Balchunas發推稱,美國證券交易委員會(SEC)主席Gary Gensler今天在一次網絡研討會上,被問及Coinbase是否處于比特幣ETF申請的中心,表示他無法對這些文件發表評論,但對加密貨幣交易所持相當負面的態度,稱他們提供沖突服務并且缺乏有效風險監督。[2023/7/13 10:51:49]
視頻。
https://qed-it.com/2017/07/04/zkp-in-action/
4.不可思議的機器--QED-it首席科學家AvivZohar教授的博文,解釋了可信的設置。
https://qed-it.com/2017-12-20-the-incredible-machine/
21家美國監管機構反對美眾議院提出的有關加密貨幣的法案草案:金色財經報道,21家美國監管機構反對美國眾議院金融服務委員會提出的有關加密貨幣市場結構的法案草案。全面的數字資產法案旨在在美國引入一個監管框架,其中包括針對加密行業的明確規則和指南。金色財經此前報道稱,委員會主席 Patrick McHenry 計劃于 2023 年 7 月舉行委員會投票。該法案草案圍繞美國證券交易委員會(SEC)在監管框架監管方面的作用展開。[2023/7/12 10:50:57]
5.獵殺SNARK-一系列的謎語,用于實驗ZKPs。
https://qed-it.com/2017/07/11/the-hunting-of-the-snark/
在QED-it,我們使用zkSNARKs和其他工具,為企業創建零知識區塊鏈。
比特幣市值占比回升至38.2%,加密貨幣總市值回升至8429.85億美元:金色財經報道,12月16日,據Coingecko數據顯示,當前比特幣市值占比回升至38.2%,全網加密貨幣總市值為842,985,632,423美元,24小時漲幅0.1%。[2022/12/18 21:51:37]
最為人所知的zkSNARKs的生產部署可能是ZCash--一種具有不可鏈接的交易和隱藏金額的加密貨幣。ZCash,以及其他一些利用zkSNARKs的產品,都是基于一種叫做Pinnochio的結構,盡管更具體的是BCTV14a。這是一項了不起的技術,正如你可能懷疑的那樣。這種結構有一個明顯的缺點:可信的設置。
受信任設置
設置是一個生成CRS的過程,或者更公開地稱為一對證明和驗證密鑰。這些"密鑰"被證明者和驗證者用來分別生成和驗證特定問題的證明。
加密貨幣交易所CoinFLEX削減團隊以節約成本:金色財經報道,加密貨幣交易所CoinFLEX周五表示,它已經解雇了來自各個部門和地理位置的“大量”員工,以削減成本并專注于其核心業務。CoinFLEX 裁員之前,該公司提出了一項補償儲戶并支撐其財務狀況的計劃,因為它試圖追回“大型個人客戶”所欠的超過 8400 萬美元的債務。CoinFLEX在周五的一篇博文中表示,其余員工主要專注于產品和技術。
該交易所將在下周提供更新,以尋求儲戶的投票。CoinFLEX 表示,該過程的延遲源于法律和會計程序。此外,CoinFLEX 的目標是在下周提供鎖定余額與未鎖定余額的交易,該公司稱之為“難以定價的市場”。(Coindesk)[2022/7/30 2:47:19]
在這個過程中,有一些隨機的元素被抽樣,但必須保密。因為如果驗證者知道這些,他們將能夠創造出被成功驗證的證明,而在證明過程中不使用問題的實際解決方案。換句話說,就是要偽造證明,破壞健全性。這種隨機性也被稱為"有廢料"。有一些方法可以避免這種擔憂,不把信任放在單一實體上。對于公共電路來說,這些方法通常涉及多方計算,在這個過程中,多個參與者捐出自己的隨機性,之后再將其銷毀。有趣的是,只要有一個參與者是誠實的,并且銷毀了他們的隨機性,整個過程就會很安全。
合成資產協議Synthetix已升級至Algol版本:6月24日消息,合成資產協議Synthetix已于北京時間2022年6月23日15:00升級至Algol版本,該版本添加了SIP-251,分別將抵押貸款清算罰款比例和SNX質押強制清算罰款比例定為10%和30%。[2022/6/24 1:28:33]
使用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的"有廢物",以及為什么它的暴露會導致容易被攻擊。
來源:金色財經
撰文:HooResearch摘要:Polygon和MirProtocol于11月26日達成交易,以4億美元的價格收購這家ZK-rollups初創公司.
1900/1/1 0:00:00FirstSupper 最初的晚餐(firstSupper)的作者是13位數字藝術家,分別是:AlottaMoney、Blackboxdotart、Coldie、Connie、Hackatao、.
1900/1/1 0:00:00繼DeFi和NFT熱度減退之后,呈現出元宇宙雛形的GameFi作為區塊鏈下一個大事件吸引了投資者和游戲愛好者的目光.
1900/1/1 0:00:00過去的一年被視為加密貨幣的巨大成功。2022年將為比特幣和更廣泛的加密行業帶來什么?2021年是加密貨幣動蕩但碩果累累的一年.
1900/1/1 0:00:00近日,元宇宙概念下挫走弱,但就整體而言還是處于一個比較火熱的狀態,絲毫不影響大家對于元宇宙的關注.
1900/1/1 0:00:00隨著高質量攝像機和無處不在的帶寬和無線網絡的普及,人們對視頻娛樂媒體的需求和使用激增,這也進一步帶動了視頻應用程序的崛起。然而在傳統的、中心化的結構下,內容創作的版權和安全性是難以實現的.
1900/1/1 0:00:00