簡析 STARKs、StarkEx、StarkNet 區別與聯系_STA

原文標題：《分不清楚？STARKs、StarkEx、StarkNet分別都是什么？》

作者：StarkNetIntern

編譯：Kxp，律動BlockBeats

本文梳理自StarkNetIntern在社交媒體平臺上的觀點，律動BlockBeats對其整理翻譯如下：

概要：

STARKs證明了鏈上計算的完整性，使擴展成為可能

StarkEx是一個用于特定應用的擴容引擎

StarkNet是一個無需許可的Layer2網絡

STARKs

Beosin：EthTeamFinance項目遭受到了漏洞攻擊事件簡析:據Beosin EagleEye 安全預警與監控平臺檢測顯示，ETH鏈上的EthTeamFinance項目遭受漏洞攻擊，攻擊合約0xCFF07C4e6aa9E2fEc04DAaF5f41d1b10f3adAdF4通過LockToken合約的migrate函數沒有正確驗證_id和params的漏洞，將WTH，CAW，USDC，TSUKA代幣從V2流動性池非法升級到V3流動性池，并且通過sqrtPriceX96打亂V3流動池的Initialize的價格，從而獲取大量refund套利。共計套利了約1300多萬美元。[2022/10/27 11:49:12]

在STARK方案中，只需要生成一份證明，計算結果就可以在簡單幾步內得到驗證。?

慢霧：GenomesDAO被黑簡析:據慢霧區hacktivist消息，MATIC上@GenomesDAO項目遭受黑客攻擊，導致其LPSTAKING合約中資金被非預期的取出。慢霧安全團隊進行分析有以下原因：

1.由于GenomesDAO的LPSTAKING合約的initialized函數公開可調用且無權限與不可能重復初始化限制，攻擊者利用initialized函數將合約的stakingToken設置為攻擊者創建的虛假LP代幣。

2.隨后攻擊者通過stake函數進行虛假LP代幣的抵押操作，以獲得大量的LPSTAKING抵押憑證。

3.獲得憑證后再次通過initialized函數將合約的stakingToken設置為原先真是的LP代幣，隨后通過withdraw函數銷毀LPSTAKING憑證獲取合約中真實的LP抵押物。

4.最后將LP發送至DEX中移除流動性獲利。

本次事件是因為GenomesDAO的LPSTAKING合約可被任意重復初始化設置關鍵參數而導致合約中的抵押物被惡意耗盡。[2022/8/7 12:07:06]

有了STARKs，較大的計算可以在鏈下進行，減少了區塊鏈上驗證所需的計算量。只需幾步鏈上操作，驗證者就可以驗證大規模的鏈下計算。

慢霧簡析Qubit被盜原因：對白名單代幣進行轉賬操作時未對其是否是0地址再次進行檢查:據慢霧區情報，2022 年 01 月 28 日，Qubit 項目的 QBridge 遭受攻擊損失約 8000 萬美金。慢霧安全團隊進行分析后表示，本次攻擊的主要原因在于在充值普通代幣與 native 代幣分開實現的情況下，在對白名單內的代幣進行轉賬操作時未對其是否是 0 地址再次進行檢查，導致本該通過 native 充值函數進行充值的操作卻能順利走通普通代幣充值邏輯。慢霧安全團隊建議在對充值代幣進行白名單檢查后仍需對充值的是否為 native 代幣進行檢查。[2022/1/28 9:19:19]

STARKs解決方案可以用單一STARK證明進行組合、計算以及驗證成千上萬的區塊鏈交易，處理成本將分攤到一批交易的所有交易中，保證了Ethereum的安全性，降低了Gas費用。

低計算成本的好處在于，它將方便新類型的應用在鏈上完成搭建，改善了用戶體驗，降低了Gas成本，并確保了Ethereum的安全性。

StarkEx

StarkWare為Ethereum擴容提供了兩種解決方案：StarkEx和StarkNet。

StarkEx可以提供許可的、針對特定應用的擴容解決方案。有了StarkEx，鏈下計算的成本將大幅下降。STARK證明是在鏈外生成的，以驗證執行情況，可以覆蓋12000-500000個交易。同時，STARK驗證器可以在鏈上驗證該證明。

所有交易只用被驗證一次，且每筆交易分攤下來的Gas成本低得驚人。

你可以在StarkEx上找到像dYdX、Immutable和Sorare、DeversiFi和Celer等應用。

為了滿足市場和客戶的需求，StarkEx正在進行擴容。

StarkNet

StarkNet是一個無需許可的Layer2網絡，任何人都可以在這里部署智能合約。

StarkNet的生態系統類似于Ethereum，任何合約都可以與StarkNet上的任何其他合約互動，協議也可以進行自由組合。同時，非同步消息傳遞功能允許StarkNet與Ethereum合約進行通信。

StarkNet的排序器可以批量處理交易，而不像StarkEx那樣由應用程序提交交易。目前，StarkNet的排序器由StarkWare運營，下一步將計劃完成去中心化。

一旦應用程序部署了Cairo合約，就不再需要額外的運營商基礎設施。StarkNet將支持Rollup數據的可用性，意味著Rollup狀態與STARK證明將一起被寫入Ethereum。

StarkNet的開發者構建了應用程序、工具和基礎設施，而DeFi、游戲、投票、AI等功能已經可以在Testnet上運行了。另外，StarkNet還建立了開發者工具，如區塊探索器、本地測試環境和幾種語言的SDK。

在Shamans平臺上，你可以自由提出改進意見、新功能以及最優方法。

總結

StarkEx和StarkNet都是基于STARK的擴容解決方案，每一個都兼備了可擴展性、低成本和安全性，只是操作參數有所不同。對于StarkEx來說，一個獨立且兼容StarkEx的API的應用程序可能是最合適的選擇。

對于那些與其他協議同步互動或需要比StarkEx提供更多功能的協議來說，使用StarkNet可能才是更優的選擇。

STARKs徹底改變了Ethereum上的應用程序，與此同時，StarkEx和StarkNet也為區塊鏈的應用創造了更多可能。

Tags：STASTARKARKSTARfuture-starStarkMetaMARKETING價格Gaming Stars

萊特幣