亚洲乱码中文字幕综合,中国熟女仑乱hd,亚洲精品乱拍国产一区二区三区,一本大道卡一卡二卡三乱码全集资源,又粗又黄又硬又爽的免费视频

當(dāng)前位置：主頁 > 區(qū)塊鏈 > 區(qū)塊鏈技術(shù) > ZK-STARK全面介紹

什么是ZK-STARK以及有哪些技術(shù)優(yōu)勢?如何運(yùn)作?

2023-06-01 10:23:03 | 來源： | 作者：佚名
這篇文章主要介紹了什么是ZK-STARK以及有哪些技術(shù)優(yōu)勢?如何運(yùn)作?的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹

在之前的零知識(shí)證明系列文章中，我們?cè)敿?xì)介紹了ZK-SNARKs技術(shù)及其使用優(yōu)缺點(diǎn)，本期內(nèi)容我們將繼續(xù)介紹另外兩種零知識(shí)證明類型ZK-STARK和遞歸ZK-SNARK?

什么是ZK-STARK?

ZK-STARK 是 Zero-Knowledge Scalable Transparent Argument of Knowledge 的縮寫。就像 ZK-SNARKs 一樣，ZK-STARKs 表示一個(gè)聲明是有效的，而不透露任何關(guān)于聲明本身的信息。

除了一些差異外，STARK 與 SNARK 具有相同的屬性。關(guān)于SNARK的文章可參考往期(超鏈接)?；?STARK 的有效性證明是使用一條對(duì)驗(yàn)證者隱藏的信息生成的。STARK 還可以在不泄露輸入的情況下驗(yàn)證交易的正確性。

ZK-STARKs 與 ZK-SNARKs

ZK-STARKs 的主要區(qū)別在于它們的可擴(kuò)展性和透明性：

ZK-STARK 被認(rèn)為是透明的，因?yàn)樗梢栽跊]有公共參考字符串 (CRS：Common Reference String ) 的可信設(shè)置的情況下工作。相反，STARK 協(xié)議使用可公開驗(yàn)證的隨機(jī)性來建立證明者和驗(yàn)證者之間的交互。

ZK-STARK 是可擴(kuò)展的，因?yàn)樽C明和驗(yàn)證復(fù)雜性規(guī)模與計(jì)算復(fù)雜性呈擬線性關(guān)系。使用 ZK-SNARKs，證明和驗(yàn)證的復(fù)雜性規(guī)模與底層計(jì)算呈線性關(guān)系。

這僅僅意味著當(dāng)我們需要驗(yàn)證的計(jì)算量更大時(shí)，ZK-SNARK 協(xié)議需要比 ZK-STARKs 更多的時(shí)間來生成和驗(yàn)證證明。這就是為什么 STARKs 更適合處理大量交易的應(yīng)用程序。

資料來源：Source: Adam Luciano

ZK-STARKs有什么好處?

使用 ZK-STARKs 有四個(gè)主要好處：不需要可信設(shè)置，它們是可擴(kuò)展的，它們?yōu)橛脩籼峁┳畲蟮耐掏铝?，并且它們有高安全性保證。

1. 無需可信設(shè)置

ZK-STARK 不需要可信設(shè)置即可運(yùn)行，而是依賴于公共隨機(jī)性。這減少了用戶的信任假設(shè)并提高了基于 STARK 的協(xié)議的安全性。

2.可擴(kuò)展的屬性

與 SNARK 相比，STARK 的計(jì)算和驗(yàn)證速度更快。更重要的是，即使底層計(jì)算的復(fù)雜性呈指數(shù)級(jí)增長，ZK-STARKs 的證明和驗(yàn)證時(shí)間仍然很短。

3.最大吞吐量

與 SNARKs 一樣，STARKs 可以通過啟用安全且可驗(yàn)證的鏈下計(jì)算來擴(kuò)展區(qū)塊鏈。 提交到 L1 鏈的單個(gè) STARK 證明可以驗(yàn)證在主鏈外進(jìn)行的數(shù)千筆交易。因此，幾個(gè)備受矚目的 ZK rollup 項(xiàng)目使用 ZK-SNARKs 來證明鏈下計(jì)算的完整性。

4.更高的安全保障

ZK-STARKs 使用抗碰撞哈希(collision-resistant hashes)進(jìn)行加密，而不是 ZK-SNARKs 中使用的橢圓曲線方案(elliptic curve schemes )。這被認(rèn)為可以抵抗量子計(jì)算攻擊，使其比 SNARK 中使用的橢圓曲線更安全。

ZK-STARK 的缺點(diǎn)是什么?

使用 ZK-STARKs 的兩個(gè)主要缺點(diǎn)是它們使用更大的證明大小，并且在區(qū)塊鏈空間中采用該技術(shù)的較少。

1. 更大的證明尺寸

雖然 STARKs 提供了更快的證明，但缺點(diǎn)是這些證明與基于 SNARK 的證明相比更大。這使得 STARK 證明在以太坊上的驗(yàn)證成本更高，因?yàn)橛?jì)算更大的證明會(huì)產(chǎn)生更高的 gas 費(fèi)用。

2.采用率較低

SNARKs 是零知識(shí)技術(shù)在區(qū)塊鏈中的第一個(gè)實(shí)際應(yīng)用，這就是為什么它們比 STARKs 擁有更多的市場份額。大多數(shù) ZK rollups 使用 ZK-SNARKs，基于 SNARK 的 ZK 證明的開發(fā)者生態(tài)系統(tǒng)和工具更大。

盡管 ZK-STARKs 也有知名的支持者，包括以太坊基金會(huì)，但他們的采用率較低。因此，開發(fā)人員可能會(huì)發(fā)現(xiàn)使用 STARKs 構(gòu)建 ZK 項(xiàng)目的支持和工具較少。

哪些項(xiàng)目使用 ZK-STARKs?

StarkNet

作為以太坊上的 L2 網(wǎng)絡(luò)運(yùn)行的通用 ZK rollup。StarkNet 允許去中心化應(yīng)用程序 (dApps) 實(shí)現(xiàn)無限的可擴(kuò)展性，而不會(huì)損害以太坊的去中心化和安全性。

dYdX

基于以太坊的 ZK rollup 項(xiàng)目(兼作去中心化交易所)為加密貨幣用戶和交易者提供快速且低成本的交易、借貸。dYdX 使用 STARK 證明作為其安全機(jī)制的一部分，保證用戶的資金安全。

Polygon Miden

具有 EVM 兼容性的基于 STARK 的 ZK rollup。雖然仍在生產(chǎn)中，但 Polygon Miden 將成為第一個(gè)與 EVM 兼容的 ZK-STARK 協(xié)議，并允許開發(fā)人員遷移以太坊原生 dApp 以享受 L2 網(wǎng)絡(luò)上的可擴(kuò)展性。

什么是遞歸ZK-SNARK?

遞歸 SNARK (Recursive SNARK)系統(tǒng)為不同的交易區(qū)塊并行生成證明，并將它們聚合成一個(gè)提交到主區(qū)塊鏈的單個(gè)區(qū)塊證明，這意味著一個(gè) SNARK 可以驗(yàn)證其他 SNARK。

L2 匯總?cè)匀辉谝蕴簧咸峤灰环萦行宰C明。然而，這種“遞歸證明”會(huì)驗(yàn)證多個(gè) L2 區(qū)塊中的交易，一旦鏈上合約接受提交的證明，所有交易都會(huì)生效。

資料來源：Matter Labs

遞歸 ZK-SNARKs 解決了什么問題?

遞歸ZK- snarks通過將多個(gè)L2證明包含在提交給L1鏈的單個(gè)證明中，極大地增加了可以用ZK證明完成的交易數(shù)量，這目前受到以太坊12-14秒出塊時(shí)間的限制。

區(qū)塊時(shí)間是指在以太坊上挖掘一個(gè)新的交易區(qū)塊需要多長時(shí)間。ZK rollups 每個(gè)區(qū)塊只能提交一筆鏈上交易(以及相應(yīng)的有效性證明)，限制了它們可以處理的交易數(shù)量。

遞歸 ZK-SNARK 與常規(guī) ZK-SNARK 有何不同?

遞歸 ZK-SNARK 不同于普通的 ZK-SNARK，因?yàn)檫f歸 ZK-SNARK 可以通過將為不同 L2 塊生成的 SNARK 組合成一個(gè)提交給 L1 鏈的有效性證明來驗(yàn)證多個(gè)交易塊。

ZK rollups 在發(fā)布到主區(qū)塊鏈之前為每批交易創(chuàng)建一個(gè) SNARK 證明，并且單個(gè) SNARK 證明只能驗(yàn)證在 L2 rollup 上進(jìn)行的一個(gè)交易塊。

ZK-SNARKs 可以在不使用原始輸入的情況下驗(yàn)證已被常規(guī) ZK-SNARKs 驗(yàn)證過的交易。因此，鏈上智能合約可以驗(yàn)證更大的鏈下計(jì)算集，而無需運(yùn)行多個(gè) SNARK 作為輸入。

零知識(shí)證明已經(jīng)從隱私保護(hù)技術(shù)發(fā)展成為下一個(gè)擴(kuò)展技術(shù)的前沿。隨著ZK rollup的爆發(fā)，可以肯定地說，ZK-SNARKs, ZK- stark和遞歸SNARKs將在擴(kuò)展以太坊的驅(qū)動(dòng)中發(fā)揮重要作用。

以上就是什么是ZK-STARK以及有哪些技術(shù)優(yōu)勢?如何運(yùn)作?的詳細(xì)內(nèi)容，更多關(guān)于ZK-STARK全面介紹的資料請(qǐng)關(guān)注腳本之家其它相關(guān)文章！

聲明：文章內(nèi)容不代表本站觀點(diǎn)及立場，不構(gòu)成本平臺(tái)任何投資建議。本文內(nèi)容僅供參考，風(fēng)險(xiǎn)自擔(dān)！

你可能感興趣的文章

幣圈快訊

  • 數(shù)據(jù)：疑似ConsenSys于45分鐘前向SharpLink轉(zhuǎn)入5071枚ETH，約1347萬美元

    2025-07-10 01:19
    ChainCatcher消息，據(jù)Arkm數(shù)據(jù)顯示，45分鐘前，標(biāo)記為SharpLinkGaming的地址接收到5071枚ETH，價(jià)值約1347萬美元，資金來源疑為ConsenSys。

  • 美參議員ElizabethWarren：CLARITY法案或?qū)⒃试S特斯拉和Meta等上市公司規(guī)避美國SEC監(jiān)管

    2025-07-10 01:15
    ChainCatcher消息，據(jù)Cointelegraph報(bào)道，美參議員ElizabethWarren發(fā)出警告稱，如果一項(xiàng)旨在監(jiān)管加密貨幣市場的法案成為法律，上市公司可能會(huì)繞過美國證券法的監(jiān)管。 在周三參議院銀行委員會(huì)就加密市場結(jié)構(gòu)立法舉行的聽證會(huì)上，擔(dān)任委員會(huì)高級(jí)成員的Warren表示，她支持能增強(qiáng)美國金融體系的數(shù)字資產(chǎn)監(jiān)管，但對(duì)眾議院正在審議的《數(shù)字資產(chǎn)市場透明法案》（CLARITY法案）提出了嚴(yán)重?fù)?dān)憂。 Warren指出，該法案可能允許「非加密公司」通過資產(chǎn)代幣化來規(guī)避美國證券交易委員會(huì)（SEC）的監(jiān)管。根據(jù)眾議院的這項(xiàng)法案，像Meta或特斯拉這樣的上市公司，只需把自家股票放到區(qū)塊鏈上，就能徹底擺脫SEC的監(jiān)管。

  • 美SEC發(fā)布證券代幣化聲明

    2025-07-10 01:02
    ChainCatcher消息，據(jù)美SEC發(fā)布關(guān)于證券代幣化聲明，表示區(qū)塊鏈技術(shù)為以「代幣化」形式發(fā)行和交易證券開辟了新的模式。代幣化有可能促進(jìn)資本形成，并提升投資者將其資產(chǎn)用作抵押品的能力。受這些可能性的吸引，越來越多的新興參與者和傳統(tǒng)機(jī)構(gòu)正在積極擁抱鏈上產(chǎn)品。然而，盡管區(qū)塊鏈技術(shù)極具潛力，它并不具備「魔法」來改變基礎(chǔ)資產(chǎn)的本質(zhì)。被代幣化的證券依然是證券。因此，市場參與者在交易此類工具時(shí)，必須認(rèn)真考量并遵守聯(lián)邦證券法的相關(guān)規(guī)定。 有時(shí)，發(fā)行方會(huì)對(duì)自身證券進(jìn)行代幣化。購買此類第三方代幣的投資者可能面臨一些特有風(fēng)險(xiǎn)，例如對(duì)手方風(fēng)險(xiǎn)。代幣化證券的發(fā)行方還必須考慮在聯(lián)邦證券法下的信息披露義務(wù)，并可參考美國證監(jiān)會(huì)公司財(cái)務(wù)部近期發(fā)布的相關(guān)員工聲明。 同時(shí)，那些發(fā)行、購買及交易代幣化證券的市場參與者，也應(yīng)考慮這些證券的屬性及其所引發(fā)的證券法合規(guī)問題。雖然基于區(qū)塊鏈的代幣化是一項(xiàng)新興技術(shù)，但「發(fā)行代表證券權(quán)利的金融工具」這一行為本身并不新穎。無論是在鏈上還是鏈下發(fā)行此類工具，適用的法律要求都是相同的。因此，市場參與者在設(shè)計(jì)其代幣化產(chǎn)品方案時(shí)，應(yīng)考慮與美國證監(jiān)會(huì)（SEC）及其工作人員進(jìn)行溝通，我們?cè)敢馀c市場參與者合作，制定合理的豁免機(jī)制，并推動(dòng)規(guī)則現(xiàn)代化。

  • LondonBTCCompanyLimited正籌集100萬至500萬英鎊，部分將用于增持比特幣

    2025-07-10 00:57
    ChainCatcher消息，據(jù)市場消息，LondonBTCCompanyLimited（原名VinanzLimited）正在籌集100萬至500萬英鎊（最高約合680萬美元）資金，其中部分將用于增持比特幣。

  • 慢霧：GMX遭攻擊核心原因系GMXv1全局空頭均價(jià)可被操控，GLP價(jià)格遭惡意抬高套利

    2025-07-10 00:54
    ChainCatcher消息，據(jù)慢霧CISO@im23pds發(fā)推表示，「GMX被攻擊的根本原因是GMXv1在處理空頭頭寸時(shí)會(huì)立即更新全局空頭平局價(jià)格，而這個(gè)全局平局價(jià)格將直接影響總資產(chǎn)規(guī)模(AUM)的計(jì)算，進(jìn)而導(dǎo)致GLP代幣價(jià)格被操控。 攻擊者利用這個(gè)設(shè)計(jì)缺陷通過Keeper在執(zhí)行訂單時(shí)會(huì)啟用timelock.enableLeverage的特性(創(chuàng)建大額空單的必要條件)，通過重入的方式成功創(chuàng)建大額空頭頭寸操縱全局平均價(jià)格，以在單筆交易中人為抬高GLP價(jià)格并通過贖回操作獲利。
    • 查看更多