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

信息安全從業者Aus. Liu:漫談比特幣之上的智能合約_以太坊

Author:

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

摘要:在9月7日舉辦的“BSV開發與商業生態大會”上,信息安全從業者Aus.Liu從黑客的思路出發對智能約進行了分析,并列舉了以太坊智能合約的三大問題。

信息安全從業者Aus.Liu

9月7日,BitcoinAssociation與OKEx、鏈得得聯合在中國北京舉辦了一場BSV開發與商業生態大會,嘉楠耘智、wework作為協辦方鼎力支持了此次活動。

這次活動是BitcoinAssociation設置中國區域負責人以來的首次線下亮相,同時也是BitcoinSV在中國地區的第一場官方活動。

作為一個信息安全從業者,Aus.Liu從黑客的思路出發對比特幣之上的智能合約的進行了分析,他列舉了以太坊智能合約的三大問題:一、貨幣模型限制了業務模型;二、問題是鏈上定義的VM限制了開發;第三個問題是復雜度的問題。

經過整理編輯,Aus.Liu的演講全文如下:

我是Aus.Liu,其它地方也用Monkeylord作名字。我是一個信息安全從業者,也是BSV上的一個獨立開發者。這可能使我和其它的開發者不太一樣,因為我習慣采用一些黑客的思路。

黑客思路是什么樣的呢?上學時,有辯論隊的同學找到我和室友,原因是他們用的計時軟件寫死在倒數15秒時提醒,而他們想要倒數30秒。那怎么辦?室友說他可以做個一模一樣的,做成30秒。而我的思路是什么呢?我說的是我可以通過底層手段把程序內部寫死的15改成30。

慢霧首席信息安全官:Pegasus組織正在使用零點擊漏洞:金色財經報道,慢霧首席信息安全官23pds在社交媒體X(原推特)上稱,虛擬貨幣行業從業者請立即更新您的apple產品。Pegasus組織正在使用零點擊漏洞:攻擊者使用iMessage帳戶發送給受害者惡意圖像的PassKit附件來觸發攻擊。目前利用鏈已經公開,受害者在無需點擊交互的情況下最新的iOS系統即可被感染。目前漏洞已經被利用,蘋果已經緊急發布更新補丁。[2023/9/8 13:26:14]

所以,我的室友成為了一個很好的開發者,他的工程能力很強,而我成為一個安全從業者,這就是不同的思路導致的。

黑客思路的人,對于比特幣會有什么樣不同的關注?我會更關注底層細微的改變能夠帶來怎樣的可能性,找各種別人想不到的使用場景。所以開發者一般會恨安全從業者,剛開發一個功能,還在吃著火鍋唱著歌就被找到一種奇特的用法,然后對于開發來說便是漏洞,就得加班。作為安全出身的開發者,我就喜歡各種各樣的可能性,很簡單的邊界條件變化會帶來很大不同。

回歸比特幣,我們來用這種思路討論比特幣上的智能合約。BSV的擴容和解除限制這樣看上去不明顯的改變,會帶來怎么樣的可能性呢?

表面看上去只是容量大了,但是這個容量大了其實帶來了巨大的質變。這個質變是什么,大家和我一起探索一下吧。

從一個演示開始

首先我想從一個演示開始,我們看到這個狀態燈泡現在是滅的,我們按一下開關,燈泡的狀態就變成了亮,再按一下開關,燈泡就會滅。在任何你能訪問BSV的地方,你都可以得到燈泡當前的狀態。

慢霧首席信息安全官:針對比特瀏覽器用戶被盜,已聯合合作伙伴攔截部分在洗資金:金色財經報道,慢霧首席信息安全官 23pds 發推稱,關于比特瀏覽器大量用戶被盜的情況,目前我們已經聯合合作伙伴成功攔截了一部分在洗的資金。 比特瀏覽器正在立案,立案成功慢霧會正式介入。[2023/8/30 13:05:42]

這個演示在鏈上:https://bico.media/15stvxuJ9fzQrshxX8WNzuxeMsNcGQp1AY/Demo/lightbuble.html

實際上,每次按開關的動作都會在BSV鏈上發一個Tx,這個Tx包含了定義的按開關動作。當需要獲取燈泡狀態時,通過BitDB把所有按開關動作都取到,我就可以計算出當前燈泡的狀態,那這個當前燈泡的狀態它到底是什么樣的狀態呢?完全取決于你按開關的次數。這樣實際上構成了一種鏈上的狀態,或者說構成了一種鏈上狀態機。

記住這個演示,我們來看鏈上存儲。

確定性的記錄

許多人對BSV的擴容的意義有疑問,雖說目前上限擴到了2G,可實際用處時什么呢?很多人覺得這不過意味著BSV能夠作為網盤,而區塊鏈網盤又貴又低效。

實際上這種擴容僅僅是網盤嗎?要回答這個問題,就要回到一個更本質的問題,即——鏈上存儲的數據,只是單純的數據嗎?鏈上存儲和普通的云存儲的本質區別在哪里?

如果你足夠敏銳,你會發現,PoW賦信,和不可篡改。存儲一旦上鏈,就具有和PoW一樣高的確定性,并可以公開訪問。對于確定性和不可篡改的信任,是云存儲難以提供的。比特幣上的數據存儲,實際上就是提供了這樣一種不可篡改并且能夠公共訪問的數據源。

慢霧首席信息安全官:加密貨幣行業已經出現大量中間人釣魚攻擊案例:金色財經報道,據慢霧首席信息安全官23pds在社交媒體X(原推特)上稱,中間人釣魚越來越成熟,而且在加密貨幣行業已經出現大量此類攻擊案例,攻擊者仿造交易平臺網站,批量撒網釣魚,獲得權限后盜取用戶加密資產。加密貨幣用戶需謹慎,警惕交易釣魚風險,注意資金安全。[2023/8/29 13:03:39]

那么,數據又是什么呢?數據不僅僅是靜態的文件,不僅僅是文本和視頻,其實一切東西都是數據,用戶的業務請求,服務器種運行的代碼,同樣也是數據。或者說數據本身是一種狀態,而狀態的表示也是數據。世界上各種各樣的復雜狀態都可以被規范化地表示為數據,作為歷史被區塊鏈記錄,就像WeatherSV做的事情,成為確定性的記錄。

比特幣包含的記錄的確定性是由熵保證的,這是PoS或者BFT所難以達到的。那么這種確定性的記錄能在智能合約方面帶來什么改變呢?我們得先來看智能合約的本質,狀態機。

確定性有限狀態自動機

其實我們談論智能合約的時候,智能合約究竟是什么東西?

程序員大概都了解一個東西,叫有限狀態自動機,或者叫確定性有限狀態自動機,即DFA,這個東西其實是各種各樣程序的基礎。

包括像以太坊或者各種各樣的智能合約的公鏈,實際上在構建一種狀態機,這種狀態機接受輸入,產生狀態轉移。輸入可能是交易或操作碼,鏈上狀態機接受輸入,改變鏈上的狀態比如賬戶金額,或者鏈上的其他狀態。

BitMEX運營商100x Group獲ISO信息安全認證:數字貨幣衍生品交易平臺BitMEX運營商100x Group獲國際標準化組織 (ISO) 信息安全認證。(NewsWire)[2021/6/7 23:17:27]

各種程序其實都是狀態機,比如之前的燈泡演示,燈泡有亮滅兩種狀態,按按鈕是輸入,產生兩種狀態間的狀態轉移。

我們從更準確一點的定義來看DFA是什么的話,它其實是一個五元組:一個非空的有限狀態集合、輸入字母表、狀態轉移函數、開始的狀態、接受狀態的集合。

我們用這種定義反思一下鏈上的VM,當我們談論鏈上的智能合約的時候,我們需要的是一個什么東西?我們要的其實是一個公開的可驗證的確定性的狀態,以及確定性的狀態轉移函數。比如說,我們想要某種代幣或合約時,我們真正關心的其實不是程序如何運行,而是要的功能能夠確定性地實現,并且可驗證,任何人無法篡改。

在這個過程中,合約或鏈規定了初始狀態、接受狀態以及狀態集合,用戶提供了輸入并且被記錄,狀態轉移函數則設置在共識里。從而產生確定性的狀態。從以太坊發源的一系列智能合約的區塊鏈,都是這么干的。

然而,把狀態轉移函數定義在共識里,存在幾個嚴重的問題。

以太坊方式智能合約的問題

第一個問題是貨幣模型限制了業務模型。盡管圖靈完備意味著可以做任何程序,但是,要將業務場景匹配到貨幣模型上,始終是一件很困難的事情。

聲音 | 劉曉蕾:要求實行真實身份認證的舉措能夠有效促進信息安全:據人民網報道,北京大學光華管理學院金融學系主任劉曉蕾在接受人民網區塊鏈頻道采訪時表示,謠言、有害信息如果不能及時消除惡劣影響,將帶來加劇社會恐慌、摧毀社會信任體系、損害國家形象等嚴重后果。《區塊鏈信息服務管理規定》要求實行真實身份認證的舉措能夠有效促進信息安全。[2019/1/11]

許多業務模型不但不是貨幣模型,甚至難以用貨幣模型表達,這導致了傳統業務很難在智能合約上開發,因為將其他業務模型翻譯為貨幣模型是難度非常高的工作。以至于相對成功的智能合約往往局限于代幣或數字資產這種天然適合貨幣模型的場景。而大眾乃至開發者們對智能合約的理解也往往局限在代幣和數字資產上。

第二個問題是鏈上定義的VM限制了開發,若為了區塊鏈能夠運行和擴容,共識中的狀態轉移函數就必須越簡單越好,然而這樣的話,開發就變得復雜了。雖然技術方面會有很多牛人寫編譯器,但是依然,很難復用各種語言生態中的組件。

這極大地提高了智能合約的技術門檻,再加上模型的翻譯,門檻就更高了,這使得開發難以大規模進行。作為一個喜歡用JS的偽全棧工程師,用JS寫前端,用JS寫后端,用JS訪問數據庫,為何就不能用用ChromeV8引擎跑鏈上VM呢。做不到,因為VM已經被定義好了,無法自己選擇。

第三個問題是復雜度的問題。狀態轉移的計算在共識層中,這帶來了嚴重的性能問題,網絡擁有大量算力,然而整個鏈的處理能力卻比不過一臺古老的家用計算機。能否完整地承載一個通常的程序都困難。

許多商業服務里單個高性能服務器都不能滿足業務需要了,更別說鏈上合約了,高吞吐量?基本不可能。這些問題根本的原因是,狀態轉移函數定義在共識中,所有的節點都必須計算狀態轉移來進行驗證,要不然無法保證狀態的確定性。

狀態的確定性并不需要計算

有以下計算式:(1087357389+87890345434)*28+897733^21388233-73004832%3

它的結果是什么?不計算不知道。但是我問你,它的結果是確定的嗎?是不是不管誰來計算,結果唯一且不會發生變化?實際上,我們并不需要進行任何的計算就知道結果是確定的。因為我們知道這幾個運算都是確定的,用來計算的數字也是已經確定的了。

足夠聰明的話,你大概已經明白我要表達的意思了。對于一個DFA,只要它的定義是確定的,狀態轉移函數是確定的,輸入流也是確定的,那么,你并不需要執行狀態轉移函數,就可以知道執行后的狀態是確定的。

這種狀態的確定性,是不需要計算的就可以獲得的。必須要去計算的,只是想知道具體結果的人,即對當前狀態感興趣的人。所以,要達到智能合約的目的,只需要確定性地定義DFA,以及其狀態轉移函數,并且產生一個確定性的輸入流。

一旦這些都確定了,鏈上計算,其實是不需要的,因為不論是鏈上計算還是鏈下計算,在哪里計算并不會影響結果的確定性。就像那個計算式,你在家里計算和在公園里計算并不會給結果帶來任何差別。

BSV擴容產生的本質改變,也就正在于此處了,確定性,而且是PoW保證的確定性。

BSV帶來的全新的智能合約可能

那么如何去做呢?原理實際上很簡單,其實就是使用BSV存儲的確定性,來確定性地定義DFA,你就得到了不可篡改、公開可驗證的DFA。通過在BSV鏈上公開定義狀態集合、狀態轉移函數、開始狀態和結束狀態,以及,得到確定性的TX輸入流的排序方法,一個接受鏈上輸入的鏈上智能合約就產生了。

在這個里面,能不能自己定義一些復雜的狀態對象呢?完全可以。將TX定義為輸入時,能不能采用自定義的數據結構呢?完全可以。定義狀態轉移函數時,能不能用自己習慣的語言呢?完全可以,只要代碼和VM都是確定性的。

燈泡的演示就算是用JS編寫的簡單鏈上DFA,實際上這些定義大部分就是JS代碼。

講解到這里,聰明的人已經懂得如何在BSV上實現這種智能合約了,實際上這就是Tokenized上智能合約的思路之一,也是unwriter為什么稱Planaria為InfiniteStateMachine的原因。

以太坊的分片擴容方案思路,本質上也是放棄鏈上計算,只讓感興趣的人或分片進行計算。然而可惜的是,以太坊以及其模仿者,終究無法通過這種思路擴容。

為什么以太坊必須進行鏈上計算

簡單來講,是攻擊成本問題。如果以太坊不進行鏈上計算來驗證輸入是否有效,那么它就無法阻止攻擊者用大量無效輸入堵塞狀態機,無止境地消耗計算資源。攻擊成本為零會讓狀態計算在計算成本上不可行。

目前的以太坊盡管以太坊有Gas機制來處理無效輸入,但是Gas機制也依賴于狀態計算,除非以太坊有不依賴EVM狀態計算的外部Gas機制。而比特幣數據存儲的手續費價格,正好從攻擊成本上解決了這個問題。即便是無效輸入,也需要付出數據上鏈成本,實際上就構成了不依賴合約狀態的智能合約的Gas。

其實,構建在比特幣二層,使用比特幣作為Gas的EVM會是更理想的智能合約引擎。每想及此處,作為一個比特幣原教旨主義者,都不免感慨,BTC本應成為智能合約的底層區塊鏈,可惜被各種強加在共識上的限制捆住了手腳。如今這一切的應用開發,其實早在四五年前就應當繁榮發展了,而不是看著Github上一堆在四五年前停止維護的比特幣應用項目感嘆前人智慧。

幸好我們有了BSV。

Tags:BSV以太坊比特幣BSV幣BSV價格以太坊幣是什么幣比特幣中國官網聯系方式40億比特幣能提現嗎比特幣最新價格行情走勢

Gateio
三國志一個幣能玩一小時,電玩廳老街機游戲,為什么還能如此火爆_BOSS

抖音意外的火爆,這幾年也帶火了一些好玩的項目,比如妹子們最愛發的跳舞機跳舞的小視頻,輕易都能得到上萬的點贊量,這也讓一些城市的電玩廳迅速火爆起來.

1900/1/1 0:00:00
又一批F-35部署半島,重磅協議震徹亞太,薩德僅僅只是開始!_

又一批F-35部署半島,重磅協議震徹亞太,薩德僅僅只是開始!據韓國媒體9月2日最新報道,消息援引自韓國政府某高官的表態,該報道表示,目前韓國和美國之間的軍事合作還在進一步加深.

1900/1/1 0:00:00
科爾維特為啥是“平民超跑”?看這4輛車才明白,品牌溢價太可怕_TAD

全新的2020款雪佛蘭科爾維特C8可以說是該車歷史中最重要的車型之一,我們都知道它是有史以來第一款中置發動機科爾維特,同時還擁有更多的第一次.

1900/1/1 0:00:00
「幣圈沉浮錄01」明月何年初照人_GXC

本文原創,轉載請授權! 正文 老胡趕在月圓之前只身一人回到了老家,并沒帶上妻女。已經很多很多年沒有回家過中秋了,家鄉的月在老胡的心里,一直高高掛著。這些年,老胡見過許多地方的明月.

1900/1/1 0:00:00
「傳統節氣」今天是寒露,看紀念幣上的秋意_

這是二十四節氣中 第一個帶“寒”字的節氣 天氣將由涼爽向寒冷過渡 秋意更濃,天更涼 世界遺產——杭州西湖文化景觀金銀紀念幣 ——平湖秋色 寒露節 寒露,是二十四節氣中的第十七個節氣.

1900/1/1 0:00:00
人民日報:經濟基本面良好,外匯市場平穩運行——人民幣匯率穩定有支撐_DASH

8月5日,在岸和離岸人民幣匯率雙雙“破7”。如何看待人民幣匯率“破7”?未來匯率走勢將會怎樣?圍繞各方關心的問題,

1900/1/1 0:00:00
ads