由金色財經主辦的「在世界中心呼喚Web3」活動舉行了主題為「StarkWare眼中的Layer2」的AMA，嘉賓為Eli Ben-Sasson。
主持人：Eli教授您好，我們知道您之前是以色列理工學院的教授，在普林斯頓高等研究院、哈佛、MIT等著名學術機構都從事過科學研究，是什麼驅動您離開學術界進入加密行業創業的？
Eli：簡而言之，通過我的研究，我發現了一套工具，我意識到這些工具可以帶來重大影響，對人類產生真正的幫助。我發現，沒有人真正在推動這項技術的發展，更沒有人推動這項技術在現實世界中的應用，我想努力一把。另一部分原因是因為我堅信這些工具是實用的，現在我看到他們在實踐中使用。所以，如果你有一項你堅信的發明，你真的希望它能被應用和使用，為這世界做些有益的事情。我們能夠在學術研究的背景下推動這項發明的發展，有些時候，你必須更加努力，建立一個更大的團隊，獲得更多的資金，而這些事情在學術界是做得不好的。
在2018年的時候，技術已經相對成熟。多虧了我在那之前參與了zCash，不僅僅是我，還有我的另一位創始人，埃利桑多·基爾扎·恩教授。當我們在區塊鏈世界中接觸到V季的玩家時，他們表現出了極大的熱情。所以我們的種子輪實際上進展很快，我們非常重要的初始種子投資人是維塔利奇·布泰恩，還有很多很多投資人都強烈支持我們的項目，所以我們看到我們可以為此獲得資金並組建一個團隊。 Starkware早期招募的很多人對區塊鍊和baltist研究也很有熱情，所以，我們看到了獲得資金和組建一個非常強大的團隊的機會，他們也很有熱情把Starkware變成現實，並以最好的方式幫助區塊鏈的擴展和隱私發展。這就是為什麼我們建立了它。
主持人：能請您簡短介紹一下StarkWare以及StarkWare旗下的產品比如StarkEx、StarkNET、Cairo嗎？
Eli：讓我來介紹一下StarkEx、StarkNET、Cairo。首先，讓我退一步想想，我們的核心技術是什麼？因為你提到的這個項目，StarkEx、StarkNET、Cairo都是圍繞著法庭技術建立的，這就是Stark。那麼什麼是Stark系統呢？它們是一種通過數學提供完整性的技術。這也就意味著即使沒有人監督也要做正確的事情。我們真的迫切的希望了解涉及我們資金的計算，我們的醫療信息，比如，法醫和個人數據。
我們希望，當這些屬於我們的數據被處理時它是完整地處理的，這意味著有人在做正確的事情，即使我沒有看到，即使其他人可能想偷我的錢或用它做壞事，所以我們真的想要是誠實。現在，在我們都熟悉的銀行和政府的傳統世界中，我們基本上需要信任一些中央機構以整合的方式運作。我必須相信我的政府會誠實地處理我的醫療數據。我必須相信銀行會如實地處理我的財務數據，沒有其他選擇。而現在，區塊鏈的工作方式非常不同了。它們通過透明、包容和數字提供誠信。區塊鏈會說：“嘿，把每個人都邀請過來，把他們的筆記本電腦連接到互聯網上。”然後把系統的所有進化記錄下來，基本上檢查所有的交易是否正常。
因此，區塊鏈通過依賴數字、包容性和透明度來提供完整性。然而，正因為如此，它們的規模非常有限，因為我性能較弱的筆記本電腦現在需要檢查世界上所有的交易。你知道，如果你考慮像支付寶，或在微信支付，這是非常不可思議的，我的筆記本電腦可以檢查所有這些交易。因此，區塊鏈確實存在規模問題。那麼我們從哪裡開始呢？我們發明了一套數學工具通過數學來提供完整性，這意味著我們可以檢查一個證明，一個明確的證明，一個龐大的計算是正確的，我們知道它是正確的，不是因為我們相信另一方，而是因為我們相信數學被證明可以提供這種完整性。
所以我們現在有了這項技術，讓區塊鏈，而不是運行所有的計算和做所有的繁重工作，它們可以作為驗證，作為嚴格的檢查，作為證明的檢查。如果證明通過，區塊鏈就知道這些交易，所有的交易，都被完整地處理了。這是核心技術，叫做Stark。它讓你得到指數級的完整性，不是通過信任另一方，而是通過信任數學。
接下來，讓我解釋一下StarkEx、StarkNET和Cairo的意思。
StarkExStarkEx是一個系統，它的代碼是由StarkWare編寫的，一次為一個客戶操作。例如，UM有一個starkex系統，不可變X處理N-Fts，還有一個Stark系統是為UM寫的，用於交易的YDX。所以每一個都是不同的系統。他們將X劃分為非常罕見的，不可變的X多樣化，還有一些其他功能也將很快上線，在這個過程中，當他們使用這項技術時，基本上我們正在處理大量交易，比如支付，並向區塊鏈提交一個非常短的星號證明來證明這些交易的有效性，然後你就得到了區塊鏈的所有完整性和區塊鏈的所有安全性，除了區塊鏈，無任何信任假設。這就是StarkEx。
StarkNet就像以太坊。它是一個開放的平台，任何人都可以使用它來編寫和部署智能合約到開發中。它是為開發人員準備的，所以開發人員可以開始部署和發送UMether來啟動網絡並開始在其上運行。隨著時間的推移，我們UM提供了越來越多的工具，以便開發人員能夠更容易地在starkNet上進行開發和部署，我們正在提高性能和吞吐量，我們希望為開發人員提供最好的體驗。但是現在我們要為生產級做準備，這意味著我們要加快速度，增加產量。我們的目標是達到eTPS，即至少是以太坊吞吐量的十倍，成本至少比以太坊低十倍。這是我們的下一個目標，我們正在為此努力。除此之外，我們也開始致力於去中心化。
最後，Cairo是什麼呢？就像在聽證會上，你用一種特定的語言來編寫你的智能合約，這種語言是最可靠的。
主持人：目前的L2擴容技術有Optimistic Rollup，ZK Rollup、Plasma、Sidechain等，但行業普遍更看好ZK Rollup，您的觀點是怎樣的呢？ StarkWare的ZK Rollup技術相比其它ZK Rollup有何特點？
Eli：人們通常提到的是Optimistic和Arbitrum。然後在有效性Rollup中，有時被稱為ZK Rollup，我們有StarkNET和Cairo。關於我們的Rollup，事實上它是目前唯一上線的Rollup並且使用了它所承諾的安全技術。我來解釋一下，Optimisti沒有欺詐的證據。欺詐證明是保證其安全的核心安全機制，它沒有在Arbitrum上開放，我們都不能援引欺詐證據，只有一小部分人可以使用它們。他們提出了一個測試網。它沒有ZK證明。目前唯一的L2是由本應具有安全性的技術先提供安全性的。所以這是我們真正引以為傲的地方，也是我們在競爭中脫穎而出的地方。在這方面，順便說一下，我們現在正在經歷市場的重大動盪，我們看到了讓所有安全機制和所有技術正常工作的重要性。我們不僅開啟了核心技術。我們還有最能證明未來的技術。
主持人：在目前眾多的L2產品中，有不少項目比如dYdX、Immutable X、DeversiFi、Sorare都基於StarkEx，他們為什麼選擇了StarkEx呢？
Eli：答案其實很簡單，它與我之前的問題的答案有關，當這些非常認真的團隊，非常成功的團隊，尋找可以建立穩固基礎的技術，在這些技術的基礎上建立一些東西，能夠經受住市場的風風雨雨，並擁有用戶需要的安全性。無論過去還是現在，只有一種技術可以實現這個目標，那就是我們的技術。
主持人：由於L2相關的技術和產品較多，這也導致可組合性優勢難以發揮，您認為目前L2上可組合性遇到的最大挑戰是什麼？有哪些可能的解決方案？
Eli：我們最大的挑戰是達到開發人員使用工具的水平。也就是說，開發人員習慣於在以太坊上進行開發。但我們在這方面進展很快。有一個驚人的開發生態系統，有幾十個團隊致力於提供這個工具。如果你是一名開發者，想要尋找一些快速發展的生態系統，那就一定要看看StackNet。
以太坊上有可複合性，你只要在第二層上有可複合性就可以免費獲得它。另一個解決方案是，你可以使用一層來互連不同的層管。第三個解決方案是，在有效性機器人中，你實際上可以有非常快的可組合性，因為你可以在一個系統中證明在另一個系統中發生的事情是完整的。這些東西後來也被其他人使用，有一件事只能發生在有效性累積上，這也是我們發明的，是通過微風的層的概念，這意味著你它作為第三層工作。然後，當他們想要交談和交流時，你可以用這一層來組合他們，讓他們彼此交談，就像你可以讓兩層人通過後面的一層人交談一樣。這是StarkWere發明的另一個新東西，我們希望並相信這也會成為StarNet的標準。
主持人：感謝Eli教授的發言，非常精彩。感謝本次AMA的合作媒體，DeFi之道、Foresight News、鏈捕手、MarsBit News、星球日報、Panews、深潮和0x499社區。
文章有刪減，全部內容請查看Twitter Space直播回訪。
