買比特幣 買比特幣
Ctrl+D 買比特幣
ads

STARK:StarkWare總裁:要獲得最大的可擴展性需使用能釋放其潛力的編程語言_STARK價格

Author:

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

9月22日,在由萬向區塊鏈實驗室主辦的第八屆區塊鏈全球峰會上,以太坊擴容解決方案StarkWare聯合創始人兼總裁Eli Ben-Sasson表示,STARK數學技術能夠讓人們相信,即使沒有監管,也不需要監督計算的每一步,合約都會保證正確的執行。一臺性能有限的計算機,可以監督并聲明大量計算集群的可靠性,并且無需重新執行計算,這就是這項技術為什么會和區塊鏈有關系。

Ben-Sasson稱,StarkWare采用的方法是基于數學的證明,也就是有效性證明的方式,StarkWare要實現的目標是能夠讓任何人運行非常龐大的計算機,并且處理相關的事情,然而做執行的一切事情都必須向L1進行證明。如果想要獲得最大的可擴展性,實際上需要使用能夠釋放其潛力的編程語言。對于StarkNet,其編程語言就是Cairo ,開發者可以用它來寫各類應用。而且目前為止,開發人員已經為它編寫了數百應用程序,包括用于投票、虛擬身份和游戲的應用程序。

一下為演講全文:

Eli Ben-Sasson:大家好!

我是StarkWare聯合創始人兼總裁。今天下午我想和大家分享關于STARK數學技術。這項技術是我們最先發明,然后將其打造成產品,部署在區塊鏈的第二層,也就是Starknet。有關STARK技術和密碼學的故事,可以追溯到三十年前。在80年代中期和90年代初,數學創新釋放出了巨大的力量,并且將這種力量交還到人類的手中。

所以,我們經常會在電影當中看到這樣一個畫面,一個年幼弱小的孩子,碰到了一條非常強大的巨龍,并且通過某種神奇的方式控制著這條巨龍,而在區塊鏈的世界當中,弱小的孩子實際上就是以太坊,它是作為一種計算設備,存在著某種限制。

Ape Coin董事會成員Yat Siu給出新Staking提案建議:4月17日消息,Animoca Brands主席兼 Apecoin董事會成員Yat Siu提出了修訂版質押提案,新提案中不僅提出質押上限的要求并且還將實施時間框架進一步縮短。據 Yat Siu 在社交媒體上披露,他已經收到了第三方區塊鏈開發人員的新提案,其中將質押實施時間表縮短到14周,UI 開發需要 13 周,而且可以同步完成,但 1 周時間進行審核可能有些保守。Yat Siu特別表示,如果社區愿意,他們將很榮幸重新提交新的修訂版AIP提案。

此前報道,3月31日,ApeCoin DAO的五個初始提案已于今日 9:00 結束投票,其中 APE Token 質押及分配提案(第四、五項提案)未獲得通過。AIP-4 和 AIP-5 提案建議建立 APE Token 激勵池,質押 APE 的 BAYC 生態 NFT 持有者可以獲得 APE Token 獎勵,且本次質押期間的獎勵將在三年內釋放。[2022/4/17 14:29:25]

而通過某種魔法能夠控制大量算力,這里所提到的“魔法”就是數學,所以,STARK就是基于30年的數學研究成果。其中,很多研究成果是經過發明優化之后應用到了StarkWare,核心在于數學允許你使用密碼學來聲明它的可靠性。

可靠性到底意味著什么呢?實際上在小說家路易斯(音)有一個非常精妙的描述,算沒有人在監督,也要保證做正確的事情。

同理,這項數學技術能夠讓人們相信,即使沒有監管,也不需要監督計算的每一步,合約都會保證正確的執行。所以,借助這項非常神奇的數學技術,我們可以致力于讓以太坊擴容,以滿足全世界的需求。

Instagram網紅Jebara Igbara因涉及加密貨幣騙局而被起訴:金色財經報道,美國司法部周三宣布,被稱為“Jay Mazini”、擁有100萬名粉絲的Instagram網紅Jebara Igbara因涉及與加密貨幣騙局有關的電匯欺詐指控而被起訴。聯邦檢察官表示,Igbara提出以電匯的方式向其粉絲匯款,以換取以高于市價的價格購買他們的比特幣。他聲稱支付高于市場價格的原因是加密交易所限制了他可以購買多少比特幣。雖然受害者向Igbara的錢包中發送了價值超過300萬美元的比特幣,但他從未向發送者全額支付,而是向他們發送虛假的銀行轉賬聲明。[2021/3/25 19:15:39]

這篇來自于30年前的論文當中有一段非常優美的描述,介紹了一項了不起的數學創新,其中提到“一臺可靠的個人電腦,可以監督一臺超級計算機的運行”,哪怕這些超級計算機使用的是極其強大,但是不可靠的軟件和未經測試的硬件。以太坊就像是非常薄弱、功能有限的計算機。

用論文當中的話來講,就是一臺個人電腦,但是它可以用來聲明可靠性,并且知道這群超級計算機執行了正確的操作,而且不對這群超級計算機的可靠性做任何假設。聽起來像有魔力一般,但數學的魔法的確可以讓它成為現實。

分享我個人的故事,大概二十年前我成為了一名對計算理論感興趣的年輕數學研究員。而且當時研究的問題之一,就是讓這些美麗而又強大的證明魔法不斷變得非常高效。而且,我與我的合作者、同事一道做了大量辛勤的工作,幾十年以來讓這個效率不高的理論,變成了最終非常高效,而且可以在普通或者通用電腦上生成,并且進行驗證。

到了這一階段,成立了StarkWare,而StarkWare的使命就是用數學來維護區塊鏈的可靠性,并且能夠實現區塊鏈的可擴展性。在此期間,我也使用了零知識證明技術的不同版本,并且為區塊鏈引入隱私保護。我也是Z-cash創始人之一,但是今天不談隱私的話題,我會聚焦數學和StarkNet的可擴展性。

Gate.io Startup首發項目ALN認購成功:據官方公告,Gate.io Startup 首發項目Aluna Social (ALN)認購已成功,共有1,822人下單,下單總價值超過10萬美金,認購系數約為0.01 。Gate.io將根據每個人的下單情況和每個下單幣種的認購系數進行ALN分發,按照項目要求,代幣分發時間會收到解鎖代幣,具體時間另行公告。[2021/3/4 18:14:25]

經常有人會問我,從數學家到一名實踐者,從一名計算機科學家、教授到企業家是怎樣的一種體驗?對我而言,從非常理論化的研究到非常實用的場景應用,就好像是穿越一座“沙漠”一樣,作為理論家和科學家,我要談實際應用,而做實踐的人有時候不明白理論如何為他們所用,很長一段時間,我和我的同事們不得不穿行在“沙漠”當中,直到我們成功地抵達另外一邊,并且做出了今天實際非常有效和可行可用的應用,當然這是另外一個故事了。這項技術能夠讓用戶操作一臺較為弱小的計算機,去驗證另外一臺更強大計算機的可靠性,而這與區塊鏈又有什么關系呢?

回到剛才這句話,一臺性能有限的計算機,可以監督并聲明大量計算集群的可靠性,并且無需重新執行計算,這就是這項技術為什么會和區塊鏈有關系。

試想一下,以太坊做一臺電腦,有許多節點,以去中心化的方式來運行,但如果是一臺電腦,作為一臺電腦計算機而言,它的性能十分有限。換句話說,對它計算能力的需求遠遠高于當前的實際性能,這也就是為什么Gas的費用很高,而且很擁擠。所以,用STARK技術,可以用這臺計算機監控在鏈下完成的更大規模的計算,以及計算結果的可靠性,而且可以擁有和以太坊相同的安全級別和信任假設。

Blockstack CEO:智能合約的潛在應用遠遠超出其名稱所示的范圍:區塊鏈軟件公司Blockstack的聯合創始人兼首席執行官Muneeb Ali認為,智能合約的潛在好處和應用遠遠超出其名稱所示的范圍。

Muneeb Ali稱,就像云計算對廣泛的行業產生了影響,而不僅僅局限于金融業,智能合約也是如此。它們甚至不應該被稱為“智能合約”,因為這是一個相當局限的名稱。(Cointelegraph)[2020/6/12]

與此同時,通過數學的魔法來增強所有計算的可靠性和安全性。

在當今的金融交易中,我們面臨著兩種不同的交易方式,第一種是非常傳統,我們使用銀行的信用卡和支付處理流程,通過這種方式,如果以一種抽象的方式來表述,有人正在使用一臺大型計算機,并且每個人都需要信任它。

如果你想知道整個系統是否是非常誠信的,只需要相信或相信政府、審計員或者其他人正在做正確的事情,但它并不是非常包容性的系統,實際上是非常獨特的,你和我都不能成為一家銀行,并且進行這些交易的處理,那是傳統的方式,它在計算和處理事務的能力非常有效。

比如區塊鏈-以太坊是極強的包容性,這點非常棒,每個人都可以,也非常歡迎使用自己的個人筆記本電腦接入到以太坊網絡,并且成為其信任基礎的一部分,我也希望大家正在這樣做。

為了讓大家每個人都用我們的筆記本電腦連接到以太坊網絡,并且成為其信任基礎的一部分,我們需要限制其計算量,這樣筆記本電腦才能承載。

換句話說,以太坊這樣的高度包容性系統非常好,但是作為計算設備而言非常緩慢。我們想要的是具有包容性的系統,能夠允許每個人將自己的計算機添加到這個網絡中,并且對網絡活動予以監督。

動態 | 4800萬枚XRP轉入Bitstamp交易所,價值1503萬美元:監測數據顯示,北京時間07月16日11:22,4800萬枚XRP從rKUy1E開頭地址轉入Bitstamp交易所,按當前價格計算,價值約1503萬美元,交易哈希為:

737D2022630A0BC677A04BB184F35DD531DB2AFC847A91DD70B00CE0382335CB。[2019/7/16]

與此同時,能讓這個系統在鏈下獲得與大型計算機同等的規模。而連接這些不同世界的橋梁,實際上就是STARK以及相關的數學應用。

可擴展性有哪些方案可以選擇呢?首先你可以讓每個人買一臺更大的電腦,當然有些人會被拒之門外。順便說一下,我們也存在一些側鏈,一些非常流行的側鏈就是用這種做法。過去我們也存在著側鏈的做法,比如EOS和BSC等等,實際上這個方案的實施就是讓節點運行更大的計算機,你也可以選擇購買一臺大型的設備參與其中。但即便如此,它的規模也是有限的。與此同時,包容性也就喪失了。

比如說,當前最受歡迎的區塊鏈之一,對硬件的要求是至少需要12個內核和128GB的內存,但是我的計算機沒有,所以采取另外一種做法,就是要求使用稱為欺詐證明的東西。比如Arbitrum和Rollup。有些硬件的要求會更大,這也就意味著我自己的筆記本電腦就沒有辦法加入。然而,有些人會聲稱存在著各種博弈論或者激勵措施,將會使得這些更大的設備相互之間形成約束,到目前為止,這項技術還沒有像預想的那樣在任何地方開始啟用。如果它確實得到應用,它的安全性應該要符合預期,但至少對于我而言,這點還不清楚,也沒有得到證明。因此,這個方案會速度稍快,但是包容性稍差,有些人會拒之門外。

而我們要采用的方法是基于數學的證明,也就是有效性證明的方式,我們要實現的目標是能夠讓任何人運行非常龐大的計算機,并且處理相關的事情,然而做執行的一切事情都必須向L1進行證明,因為這是我們唯一信任的網絡。

StarkNet很好體現了這一原則,當我們在StarkNet上運作時,安全性就是以太坊的安全性,你不用對StarkNet生態做出任何信任的假設,因為安全性的保障來自于底層,也就是以太坊,這是StarkNet能提供的,而這是來自于數學的力量。

證明商店、參觀的收據,事實上餐廳的收據是一種非常古老的證明形式。如果你認為餐廳收據是一串用于聲明可靠性的字串符,它是用來向顧客證明應該支付的總金額,而總和來自于一系列的算法。當我們收到收據的時候,你可以通過簡單的運行這些計算來檢查和驗證結果的可靠性,因此餐廳收據就是可靠性的證明。

但是從數學的角度來看,它們并不是非常成熟,并且它們不支持可擴展性,因為你需要重新進行運算。而Stark證明是類似的,你可以將它看作類似于餐廳收據的東西,但是這個收據的長度以及檢查該證明所需要的計算量,要比它所宣稱的計算量小得多。所以使用這項技術,你可以處理數十萬筆交易,而且不需要對證明器以及整個處理器做出任何信任假設,它可能是黑暗之王或者達斯維德的邪惡之王。

無論你處理這些交易提供什么,但是你可以保證所有的節點都不能作弊,也不能借,因為系統的任何更新都要有完整性證明,一起提交到L1,這就是我們所做的,對系統狀態的任何更新都附有證明,沒有人證明是虛假的,如果有證據那就表明是正確的執行,即使沒有L1的監督,這就是STARK證明的力量。所以它不僅僅是一種理論,在以前是一種理論,但如今已經成為一種有效的系統。

想象一下,打造NFT的時候,如果你想用以太坊來鑄造NFT,可以在一個區塊當中放入幾百個NFT。實際上,一年多以來,我們都為客戶Inmiutebo X(音)提供服務,而他時不時需要鑄造數十萬、數百萬個NFT,而我們的技術一次又一次幫助他們只需要用一個Stark證明又可以打造出來,而且執行了60萬的NFT,所有這一切都可以輕松放入一個以太坊證明當中。有了這項技術之后,可以實現每個區塊數百筆交易,擴容到每個區塊數十萬、數百萬個交易。

StarkNet能夠讓每個開發人員、用戶擁有這種非常魔力的技術,它能夠增強以太坊的能力,并且為它擴容達到指數級。什么是StarkNet?它非常像以太坊,但是它是為L2。你可以把智能合約寫到StarkNet上,可以向智能合約提供相關的交易,而且它支持通用的計算和可以組合。但是由于Stark證明的魔力性,可以提供更低Gas費用,你甚至可以把StarkNet看作是和以太坊非常類似的東西。從用戶的角度來看,當你提供交易的時候,所有交易都進入到礦池,礦工對交易進行打包處理,寫入到區塊當中。

而StarkNet做的事情非常類似,在鏈下進行運行,也就是以太坊是作為L1底層鏈,不知道StarkNet上發生了什么,也不需要做任何的信任假設。但是用戶可以向排序器提供數十萬筆的交易,而排序器將對這些交易進行排序,一個個處理。然后這些交易被發送到證明器,證明器將會為所有交易的正確更新和執行生成一個更加嚴格的證明。實際上,證明要比計算和交易小幾個指數級。這個證明已經提交給了以太坊,而在以太坊中有一個驗證智能合約的把關負責校驗和可靠性。

大家回想一下剛才提到的這張畫面,一位弱小的孩子擁有巨大的魔力,通過魔力可以控制巨大的魔法生物,比如一條巨龍。而在剛才的行業當中,它指的是數學和Stark的力量,所以驗證器(所謂的小孩兒)是位于L1底層的驗證者,它是以太坊,但是他仍然可以使用StarkNet上非常強大的計算能力,這是屬于L2層。

StarkNet自帶了一種新的語言叫做Cairo ,簡單和大家解釋一下,為什么會有這種新的編程語言。你可能會有一個疑問,為什么以太坊會有這樣一種新的編程語言,以太坊什么時候出現的?2015年左右,當時已經有了非常好的編程語言,比如Python和C語言。但是Vitalik和Gavin以及其他專家提出了名為EVM的虛擬機,和與之配套的新的編程語言。

當然有幾種不同的語言,而Solidity是其中最有名的,同樣現在建議用戶和開發人員使用一種新的編程語言,即Cairo 。出于類似的原因,Vitalik和其他人發明了Solidity,想要運行區塊鏈會產生新的約束系統,而且你需要一種能夠滿足這些約束的編程語言。

同樣STARK也有許多代數和數學的限制,比如Mergen RP(音)的代數運算非常便宜,但密碼的運算,比如說KACH和Digrus(音)運算非常昂貴。以太坊內存目前一些非常高效的范式,在使用StarkNet的L2上非常昂貴。

如果你想要獲得最大的可擴展性,實際上你需要使用能夠釋放這些潛力的編程語言。對于StarkNet,其編程語言就是Cairo ,你可以用它來寫各類應用。而且目前為止,開發人員已經為它編寫了數百應用程序,包括用于投票、虛擬身份和游戲的應用程序,希望大家能夠加入龐大且不斷增長的StarkNet和用戶網絡,并且擁抱這一魔幻的技術。

非常感謝!

DeFi之道

財經法學

成都鏈安

金色早8點

Bress

鏈捕手

PANews

Odaily星球日報

Tags:STASTARSTARKARKVESTA幣Vipstar CoinSTARK價格HeroPark

芝麻開門交易所下載
CER:Ceres DAO攜手分叉式治理或將開啟DAO治理全新局面_DAO

本文轉自公號:老雅痞(laoyapi)作者:237 從直接民主到代議制民主, 再到Ceres DAO 相對于傳統組織模式,DAO最大的獨特之處就在于它以區塊鏈智能合約為技術基礎.

1900/1/1 0:00:00
WEB3:“成大事的游戲” 不做選擇題 :論Web2.5游戲過渡層_ZIG

原文作者:W Labs, CarolW關于如果鏈游一步登天很難,如何在過渡期內,做好鏈游可以做到的優化.

1900/1/1 0:00:00
OIN:Coinbase:我們為什么需要在Web3構建身份層_3WEB價格

要以一種優先考慮用戶隱私、安全和控制權的方式構建 Web3 身份層次。為了給世界創建一個開放的金融系統,我們需要確保每個人都可以使用 Web3.

1900/1/1 0:00:00
P2E:誰在阻止P2E游戲成為主流?_NFT

在過去的幾個月里,Terra等項目高調的破產,以及代幣價格的低迷,使許多人對該領域持懷疑態度。市場崩盤引發了圍繞P2E游戲的整體恐懼.

1900/1/1 0:00:00
SPA:SparkDAO行業觀察:牛熊指標更新_40億比特幣能提現嗎

SparkDAO是一支專注在數字加密領域的投研小組,成員分布在全球。我們熱衷于挖掘數字加密領域的底層邏輯和前沿賽道.

1900/1/1 0:00:00
NFT:Learn to Earn 這個推出“學習證明(PoL)”的項目靠譜嗎?_KLEAR價格

來源:老雅痞 本文為你介紹一個Web3的英語學習平臺L2EARN,很直白,主打Learn to Earn。具體怎么玩,我們給你捋清楚了.

1900/1/1 0:00:00
ads