比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > Bitcoin > Info

去中心化世界里的極端計算完整性_ARK

Author:

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

CS Lewis?說,完整性即“做正確的事,即使沒有人在看”。?

尖端的密碼學將使區塊鏈能夠根據這一理念管理每個人的數據。?

當人們發現到我離開大學是為了去區塊鏈行業工作時,他們經常說我正忙著解決一個不需要解決的問題。

一個理智的學者應該知道不要被時代的浪潮丟下。我堅信區塊鏈將顯著增長,也正是因這樣的信念我才離開大學,并且相信我可以僅僅依靠數學研究成果,讓區塊鏈以大規模的計算完整性運行。這并不是抽象的預測:我是 StarkWare 的聯合創始人,我和同事們已經用這種數學方法建立了一系列先進的區塊鏈技術。

這次職業轉變的原因是,我希望看到區塊鏈提供的東西能給人類的生活狀況帶來明顯的改變。我希望它能用一個更透明、更公平、更民主的新體系,取代那些在我們所有的金融交易中起到中介作用的中心化機構,同時以主流金融公司所承諾的同等水平的,甚至是更高水平的,完整性來運營。

偉大的 C. S. Lewis 寫了大量關于完整性和其它崇高具有價值觀的文章,都抓住了完整性這個詞的力量。他把它定義為 "做正確的事,即使沒有人在看"。這正是我對處理我的資金的人或與之相關的計算所期望的: 一切都能符合我所說的計算完整性的標準。

早在區塊鏈之前,計算機科學家就一直致力于此,盡管使用的是不同的語言。在 1991 年的一篇開創性文章中,四位理論計算機科學家——László Babai、Lance Fortnow、Leonid Levin 和Mario Szegedy——預見到了這樣一種情況:"一臺可靠的 PC 可以監控一群超級計算機的運行,這些超級計算機可能使用了極其強大但不可靠的軟件和未經測試的硬件。" 用 Lewis 話說,即確保在涉及到促進我們金融交易的大量計算時,系統總是在“做正確的事”。

但是,也有人提出"如果它沒有壞,就不要修理它" 這樣的觀點,他們認為區塊鏈是為了改變而改變,并沒有帶來什么特別的好處,目前的系統就很好了,考慮到區塊鏈所支持的現行系統,這個觀點值得在此加以討論。

去中心化存儲項目Crust與保險平臺Tidal Finance達成合作:據官方消息,波卡生態去中心化存儲項目Crust Network (CRU)宣布與多鏈保險平臺Tidal Finance達成合作。Tidal Finance表示可以通過將文件儲存在分布式網絡中,從而不受任何中心化實體限制。Tidal Finance創始人Chad Liu表示,Crust Network提供的創新技術可以讓任何去中心化市場受益,包括我們在Tidal Finance建立的保險市場。

注:Crust Network已獲得NGC、HashCIB、SNZ等10多家機構A輪投資,此前已經獲得過Web3基金會Grant,同時也是Web3 Bootcamp和Substrate Builders Program的成員。[2020/11/12 14:07:09]

信譽良好的可信方反復博弈

在過去的一個世紀里,我們已經習慣了由銀行這樣的可信機構來處理和授權我們的金融互動。如今這樣的機構有很多,包括 Visa、SWIFT 和許多交易所。

這些機構承擔了所有有關計算和記錄的艱苦工作和它們所導致的麻煩問題。但主要的缺點是,我們都被期望要完全信任他們,無需我們再做出任何監督。問題是,我們為什么要滿足于此呢?特別是在一項技術能帶來更透明的解決方案的時代,即區塊鏈時代。

諾貝爾獎獲得者經濟學家 Paul Krugman 給出了一個有趣的答案。他說,現在已經有一種 "技術" 可以讓民眾相信,可信機構在以誠信行事

他創造性地使用了 "技術 "這個詞來談論聲譽問題。"思考這個問題的一種方式是,聲譽是一種技術," 他說,"我們通過將一次性游戲改變為重復游戲來解決了許多經濟問題,即將人們拿錢就跑的一次性游戲,轉變為人們在某一時期都有良好行為動機的重復游戲,這樣你就會在下一個時期信任他們,并一次往復操作。" 所以,在他看來,銀行和其它可信任的機構為我們提供了良好的服務。

這是一個重要的觀點,但在我看來,這經不起推敲。區塊鏈預示著太多的承諾以至于不能被忽視。而且,今天的局勢對我們有利的說法也不是正確的。如果銀行是可信機構的縮影(有些人可能會質疑這種說法),那么請記住,全世界至少有約 17 億成年人仍然沒有銀行賬戶——沒有機會接觸銀行或金融機構。但他們正在慢慢發現加密貨幣。在非洲,有 140 萬人持有加密貨幣,且這個數字在不斷增長。此外,直到幾十年前,人們和小企業之間幾乎所有的金融交易都是在沒有銀行中介的情況下完成的。向電子貨幣的現代轉型,使得幾乎所有交易都通過一小群“大而不倒”的機構進行,從而讓它們獲得了巨額的、本不應獲得的利潤。因此在我看來,現有的可信機構系統為通過區塊鏈進行重大改進留下了空間。

去中心化支付處理商BTCPay Server最新版本已實現比特幣退款功能:免費的開源比特幣去中心化支付處理商BTCPay Server在本周五宣布新版本1.0.5將增加一些新功能,這些功能可以使在線商家更輕松地在其網站上處理加密貨幣支付。1.0.5版本主要更新了包括付款、通知和退款在內的功能。

在增加退款功能之前,支付者和商家必須協調地址和付款金額,往往需要多次的信息往返。現在,發放退款,商家可以直接授權從托管中提取一定數量的BTC。在目前的設計中,商家仍然需要手動授權付款,預計完全自動化流程將在一段時間之后上線。

BTCPay Server還為使用該服務的商戶增加了通知功能。通知將可用于付款確認、部分付款等等,可通過專用通知頁面進行管理。未來的其他更新將為BTCPay Server通知增加通知偏好選項和API支持。

此前消息,本周四,BTCPay Server從加密貨幣交易平臺Kraken處獲得了15萬美元的捐款。并且Kraken交易平臺在交易終端Cryptowatch上集成了BTCPay Server。(decrypt)[2020/6/28]

所以支持轉向加密貨幣的人說 “讓我們扔掉會帶來重復游戲和聲譽的社會技術,并嘗試建立一個完全基于一種算法來運行系統,讓該算法來保證我們擁有我們所需要的東西”。

擁抱區塊鏈的原貌

區塊鏈依賴于“分布式賬本”的理念而不是信任的機構,開辟了一個全新的金融交易世界。這些賬本通過被廣泛共享和詳細審查,實現了計算完整性。換句話說,交易不是由銀行家或其它可信的一方來驗證,而是通過數量來驗證。

這是一個了不起的進步。那么,為什么我不能對此感到滿意,并接受區塊鏈的現狀呢? 為什么要去改變區塊鏈的工作方式呢?

答案是,區塊鏈面臨一個巨大的障礙,即擴展性問題。區塊鏈通常每秒只能處理 10 到 15 筆交易,這實在太小了,以至于使區塊鏈無法成為規模化的應用。

大多人沒意識到區塊鏈的擴展危機,但它實際上影響著我們每個人。仔細想想,為什么我們日常使用的加密貨幣應用程序沒有得到很好的發展,為什么沒能讓技術普及開來使得普通人也能充分利用區塊鏈的力量?因為面對目前的需求,區塊鏈承受著壓力,這使它的速度變得很慢,并導致交易費用飆升,這不利于這項創新技術的發展,那么更何談使大規模的人群從中受益。當擴展性能為區塊鏈創造了喘息空間時,我們將看到加密貨幣應用程序的建設熱潮。

ConsenSys創始人:DeFi前景不容小覷,未來將形成去中心化全球經濟:3月7日,ConsenSys創始人Joseph Lubin在ETHLondonUK會議上表示,去中心化金融(DeFi)是令人震驚的,一旦我們解決了這個問題,使其真正發揮作用,DeFi將成為一個巨大的磁鐵,通過新的商業模式或傳統業務吸引全球企業,并最終形成去中心化的全球經濟。雖然目前這仍是一個小空間,但它正在增長,上個月,DeFi上鎖定的加密資產突破了10億美元大關。Lubin還表示,大中型企業將開始在公共區塊鏈平臺上開展重要業務。(Decrypt)[2020/3/8]

讓我們看看系統的具體細節,以了解阻止區塊鏈擴展的原因。

區塊鏈實際上是在構建完整性 ,這好比你在餐廳與服務員的互動,服務員在你點單后附送一張清單,擔當起你的點單 "Prover(證明人)"的角色,而你驗證這份清單,使你成為 "Verifier(驗證者)"。你可以通過簡單重復地計算 Prover 做過的計算來驗證計算的(清單的)完整性。因此你是通過 "簡單的重復操作"來建立的完整性。

區塊鏈的工作原理與此類似。提交給區塊鏈的每筆交易都被視為點餐清單,區塊鏈的每個節點都必須通過簡單的重復計算來驗證這些交易。如此就不需要可信方,如果有人作弊,每個節點都能看到。

缺點是,很多節點都需要做大量的計算。以及更重要的是,這種計算繁重的模式限制了區塊鏈的擴展性,其每秒鐘的交易量上限很低。如果區塊鏈上的所有設備都需要是擁有許多內核和巨大磁盤空間的超級計算機,那么這一點就需要得到糾正,因為這將很快使區塊鏈類似于它試圖顛覆的舊系統——用運行一小批超級計算的公司取代銀行。為了防止這種情況,真正去中心化的區塊鏈推崇的一個關鍵原則是包容性問責制(inclusive accountability),即驗證整個區塊鏈的完整性必須能夠通過我們日常的筆記本電腦來完成。

因此,基于驗證其完整性的包容性,區塊鏈的巨大優勢——記錄的保存是完全可靠的——就顯現出來了,但這是以吞吐量為代價的。這好比民主制度下的每個決定都是由公民投票做出的,這是一個非常包容的過程,但在時間、精力和系統能力需求方面是繁重費力的。

聲音 | 全國社會保障基金理事會原副理事長:市場經濟的過程中一定會去中心化:據財經網報道,7月7日,在以“財富助力航運貿易金融創新”為主題的2019中國財富論壇上,全國社會保障基金理事會原副理事長王忠民表示,如果今天的區塊鏈天生和我們人的分布式結構,人就是單個人,他不是一個集合體,而且這些技術都成熟的時候,我們會發現今天一直以來說的市場經濟是每一個人的主體的經濟行為和金融行為,這樣一個過程中一定會去中心化,去中心化的邏輯是基于過去中心化組織起來的組織名稱,有可能被新的金融業務替代了,再也不叫那個組織了。[2019/7/7]

這就是為什么區塊鏈社區中雖然存在著不滿情緒,但對可擴展解決方案擁有巨大的興趣。在關于如何盡可能好地做到這一點的討論中,我和我的團隊被稱為是擴展的首要支持者,但也極力反對任何與區塊鏈相關的安全、速度或其它優點做出妥協。StarkWare 的精神是在保持完全計算完整性的同時進行擴展。

對于今天的許多人來說,究竟如何擴展區塊鏈,似乎是一個無關緊要的技術問題。然而就像對社會上其它大型基礎設施的選擇一樣,包括如何組織民主或構建稅收和福利制度,可能會對我們所有人產生重大影響。

別太復雜了,相信芯片就可以了

一個現成的解決方案不是就在眼前嗎?區塊鏈使我們無需信任像銀行這樣由人類管理的實體。本著這種精神,如果我們想擴展它,就把我們的信任放在硬件上。

被稱為可信執行環境 (TEE) 的芯片提供了這樣的解決方案。如果你想在區塊鏈上寫入許多交易,就把所有相關輸入都傳輸給 TEE,TEE 會生成一個將被寫入鏈上的簽名密鑰,并表明 TEE 已正確處理了所有交易。因此,鏈上的節點不再需要驗證長字節的計算,而是驗證由 TEE 發出的證明了許多交易完整性的短的簽名密鑰。基于向鏈上添加的數據越少驗證完整性所需的計算也就越少這一點,區塊鏈可以被擴展,無需使用超級計算機來替代驗證它的筆記本電腦。

這個解決方案聽起來很完美,但事實并非如此。讓我們假設芯片是按照最高標準設計和制造的,安全性也和我們所希望的一樣高。然而,盡管如此,每個芯片都依賴于一個隱藏的內置密鑰。雖然提取密鑰極其困難且昂貴,但如果這樣做能帶來巨大的收益,就總會有人愿意去嘗試。需要強調的是,一旦 TEE 芯片被發送,它就不再受制造商的控制,可能會落入惡意之人手中,包括作為其安全性前提的密鑰。這意味著,即使攻擊在現在不可行,也可能在一兩年后變得可行,然后系統就會受到威脅或被破壞。

聲音 | 火星人許子敬:滿足去中心、匿名性、公平性三點的有早期的BTC、LTC,以及XMR、Grin:火星人許子敬在微博上表示,去中心(防止單節點故障)、匿名性(可互換性保障)、公平性(無預挖無團隊份額),滿足這三點的幣種并不多,后續也都展現出了強大的社區生命力,比如現在的XMR、Grin,早期的BTC、LTC也滿足這些假設。[2019/6/23]

2010年,前美國軍事安全專家 Christopher Tarnovsky 發現了德國英飛凌公司號稱 infineon 不可破解的 SLE66 CL PE 芯片的一個弱點,他使用了一臺電子顯微鏡、酸和其它工具破解了該芯片。雖然這些物品不是家常所用,但對于任何想破壞金融系統的人來說,它們肯定是唾手可得的。

隨著技術的進步,用于惡意用途的技術也在進步,芯片的破解也將會越來越容易,越來越便宜。破解芯片的價值高低取決于對它們的使用,當破解它們帶來的收益價值越高就意味著破解成本越低,彼時破解動機就會上升。

信任數學

對于區塊鏈,理想的情況是,通過最少的計算,使得節點能夠保證添加至鏈上的所有內容。如此人們將有能力向鏈上添加更多的項目,區塊鏈也就可以大規模地擴展。

我所關注的研究分支提供了一種僅靠數學就能生成 "證明 "的方法,以證明許多交易的完整性。與其將這些交易發送給網絡的所有節點檢查,不如由單個證明程序處理它們,并向區塊鏈提交一個簡潔的計算完整性證明。

談論證明聽起來很抽象,讓我們更具體一些。它們是一堆協議,旨在說服任何觀察它們的人相信這些聲明都是正確的,就像在法庭上執行的公開、透明的協議,旨在說服聽眾正義已經得到了伸張。我參與發明的證明系統——STARK,要求證明者 Prover 提交一個證明(執行計算的注釋日志),以證明成千上萬個交易的完整性。

對于 Verifier 來說,要檢查計算是否有效,不需要重復 Prover 進行的計算,也不需要閱讀提交的日志。相反,Verifier 對該日志中的條目進行隨機抽樣(幾千字節),而這些樣本中的數字模式提供了驗證計算完整性所需的所有信息。有且只有計算是有效的,Verifier 才認為證明是有效的,并同意接受將交易提交到鏈上。

由此可見,這里沒有可以被黑客攻擊的硬件,只有已發布的、同行評議的和公開審查的數學及其在公開可用的軟件代碼中的實現。該軟件僅驗證證明,即使證明是由惡意方使用有故障的硬件產生的,計算完整性仍然有效。

長久以來,我一直夢想著將數學的“真理”用于這些奇妙的證明系統之下,讓人們對運行在現代生活中的系統(包括但不限于金融系統)更有信心。STARK 證明系統使數學的真理像自然規律一樣不可篡改。就像萬有引力迫使物體落地一樣,STARK 證明系統迫使計算中的 "雜質 "被暴露出來。

自 20 世紀 80 年代以來,STARK 系統的理論前身一直被大力研究,但最初的結構效率太低,無法在實踐中使用。在我的研究生涯中,有整整十年都在致力于克服這一障礙,首先是理論上的,然后是實踐上的,并且我不確定如何將我的研究應用到社會運行中。STARK 系統并不是為區塊鏈設計的研究,但在 2013 年我參加了在 San Jose 舉行的比特幣會議,我開始意識到它非常適合用于處理區塊鏈的挑戰。如今在許多優秀團隊的努力下,基于數學的區塊鏈擴展正在迅速推進,Zcash、Aztec、The Matter、Hermez 和 Miden 就是顯著的例子。與 StarkWare 的優秀團隊合作是一段令我振奮的經歷,StarkWare 不僅將我們的研究帶入生活,而且以我無法想象的獨特方式擴大和創新。

最近的一項創新是 StarkNet,這是一個開放的網絡,可以幫助所有基于以太坊構建的軟件擴容。今天,任何人都可以使用它來部署任何智能合約,而任何用戶都可以向這些智能合約發送交易。使用數學和加密證明來驗證區塊鏈的完整性,形成了一類稱為有效性證明(Validity Proofs)的擴展解決方案,StarkNet 只是解決方案之一。

Optimistic

另一種擴展區塊鏈的有趣方法是基于欺詐證明(Fraud Proofs)而不非有效性證明。與 STARK 方法一樣,欺詐證明方法通過創建樂觀的假定為正確的交易批次,使區塊鏈的節點不必對每一筆交易進行 "簡單重復計算"。驗證交易所需的所有原始輸入都被上傳或 "rolled up "到區塊鏈,所以我們稱之為 Optimistic Rollup。

在基于欺詐證明的系統中,Optimistic Rollup 節點監控已處理的交易,若節點認為向鏈上提交的更新似乎存在問題,則可發起挑戰。

如若這種情況發生,且挑戰是正確的,不準確的計算就會失效,時鐘就會退回到所有這些節點都同意所有計算具有效性的最近時刻(發布錯誤區塊的一方支付罰款,檢測方獲得獎勵)。

Optimism 帶來了效率。由于交易被提前認為是有效的,所以在每個交易上花費的計算很少,如此看來,似乎欺詐證明很適合于可擴展性受限的環境。

但是,無論是由于錯誤還是惡意, 如果 Optimism 導致一個不可變的分類帳本中包含有錯誤的陳述,則會產生災難性的后果。

如若一個不正確的狀態真的被忽略了,或因攻擊者設法讓試圖報告欺詐行為的用戶沉默(通過發動拒絕服務攻擊)而錯過了,那么它將被寫入區塊鏈而再無任何補救措施。這意味著一個已知的虛假聲明可以被接受為真實,例如"Eli Ben-Sasson 現在是世界上所有加密貨幣的所有者"。Optimistic Rollups 分配了一個時間框架——爭議時間延遲( DTD:Dispute Time Delay )——用以對一個狀態在區塊鏈上被終態化之前對其進行爭議,DTD 越長,系統原則上越安全。

當然,我們可以使用非常長的 DTD,但屬于 DTD 的每個小時都是在延遲交易在鏈上被終態的時間。目前正在進行測試的 Optimistic Rollup 系統使用為期一星期的 DTD。用戶必須等待如此長的時間才能提取資金或 NFT 等資產。流動性提供者可以為他們提供替代流動性,但這就像從發薪日貸商那里借錢一樣——成本很高。

就我個人而言,我相信 STARK 有效性證明而不是欺詐證明,因為它在沒有 DTD 的情況下擴展了區塊鏈并驗證了每一筆交易,而非依賴樂觀的假設。它更符合區塊鏈的核心原則:"驗證它,而非選擇信任"。

很明顯,區塊鏈將塑造我們的未來,但也很明顯,為了充分發揮其覆蓋全球范圍的潛力,區塊鏈需要進行擴展。弄清楚如何在不損害區塊鏈核心原則的情況下實現計算完整性,是擺在我們眼前的一大挑戰。

當我們的團隊每天收到來自世界各地的消息,告知我們他們正在使用 StarkNet 進行試驗,基于 STARKs 運行的絕對完整性來執行合約時,我在思考這個項目將引領我們走向何方。

大約15年前,我們感覺到了智能手機應用程序的潛力,但我們無法想象其用途的多樣性,它們將帶來的一系列好處,以及它們將帶來的社會和經濟變革。這就是現在區塊鏈所處的位置,而擴展是缺失的一環,它可幫助區塊鏈的潛力得以實現并且是每個人都能體驗到。

這幾乎肯定意味著沒有銀行賬戶的人可以獲得資金,以擁有更多的機會;也可以基于 NFT 給藝術和設計帶來新的生機,并在下一次大流行之前為健康記錄的保存提供急需的更新;可以幫助選舉系統更容易使用,以一種更巧妙的方式指導政府選舉而不是每四年進行一次大規模投票;在保護我們的個人數據和記錄的戰斗中,它將帶來變革性的變化。

我幾乎可以肯定,在十年或二十年后,我將回顧區塊鏈在實現擴展后取得的巨大進步,那將會是一些出乎我意料的東西,一個我甚至無法想象的東西。這就是為什么在創新領域工作既激動人心又使人極其謙卑的原因,因為我們等待著看到其他人將利用我們幫助釋放的技術取得什么成就。

Tags:區塊鏈ARKSTASTARK區塊鏈掙錢是真的假的ark幣價格Ethereum Stake FinanceSTARK價格

Bitcoin
金色趨勢丨知史鑒今 大盤趨勢不可逆_SDT

如圖所示,目前BTC依舊是高位死叉跌破趨勢線狀態,自今年1月死叉破位到后面2月、3月和4月反彈,我們可以看到一直未能重新站回,而是最高反彈至這一帶遇阻再次回落,技術上屬于跌破反抽的動作.

1900/1/1 0:00:00
元宇宙與無政府資本主義_WEB3

上周,我(本文原作者)讀了Jaron Lanier的《虛擬現實:萬象的新開端》(Dawn of the New Everything: Encounters with Reality and V.

1900/1/1 0:00:00
晚間必讀5篇 | GameFi會是另一個加密騙局嘛?_BTC

1.金色觀察 | 抹去美聯儲會議后的反彈收益 BTC緣何下破36000美元?在美聯儲加息宣布后的周三,BTC取得短暫反彈.

1900/1/1 0:00:00
國際風險基金 Draper Dragon 投資雄心勃勃的 MU 項目_LEM

國際風險投資基金Draper Dragon對MU項目進行了相當大的投資;一個雄心勃勃的技術、財務和發布平臺,使 Web 2.0 游戲開發人員能夠將他們的新游戲和現有游戲快速轉換為 Web3.

1900/1/1 0:00:00
寫在無聊猿賣地之前......_加密貨幣

在寫這篇文章之后的不久,圈內當下最引人關注的事件--------無聊猿賣地就要開始了。無聊猿是我在文章中和大家聊得比較多的話題.

1900/1/1 0:00:00
Newman Capital 研究:ApeCoin DAO 和新的 AIP 提案分析 為何爭議不斷?_COIN

一、近期市場活動 在過去的周末,許多討論一直圍繞著備受期待的 Yuga Labs x Animoca Brands Otherside 土地出售而流傳.

1900/1/1 0:00:00
ads