以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

HAI:RChain創始人Greg做客幣乎直播間訪談實錄-ODAILY

Author:

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

編者按:本文來自幣乎直播。

Greg:很高興有機會和大家一起在幣乎做AMA!

我先自我介紹一下:我在RChain已經工作了很長時間了,哈哈哈哈。RChain還沒有成立之前,大概30年前開始,我就開始作為數學家,研究對今天的RChain以及基于RChain的應用必不可少的一些技術了。實際上,今天和大家分享的內容,也起源于25年前我的博導工作。那時候存在一個夢想,就是以CBC的方式開發軟件。我記得第一次見到他的時候,是在加拿大渥太華的一場會議上,我們都是講者。他在演講中提到了從軟件正確性的證明中直接開發軟件,我立刻就受到了吸引。RChain就是脫胎于這個愿景。

他在演講中還提到了邏輯和計算之間的關系。我一看到這個想法,就意識到,它不僅僅會改變軟件開發方式,還會改變我們對很多事物的理解。這也是今晚我演講的主題。

必須澄清,今天的演講主題不僅是RChain重構互聯網,還是類型重構互聯網。有些人可能對類型不是很熟悉,它實際上是一種限制計算機程序的方式。軟件開發者描述程序行為的信息,然后寫代碼,編譯器檢查信息和代碼,確保其符合這些限制。

大多數語言,比如Java,只是對數據的形態進行限制,比如Sort函數,接受一個整數列表的輸入,并輸出一個整數列表。然后,在過去30年間,我們發現,你可以用類型表達不同種類的信息以及有關于程序更豐富的信息。比如你可以用類型對程序的安全信息進行限制,阻止信息泄漏,也可以確保程序通過Gossip協議分享秘密,諸如此類。

類型也可以提供有關活性的信息,以確保程序執行,不會陷入死鎖。也就是一個部分等待另一個部分的執行結果,而這個部分反過來又在等待第一部分的執行結果,陷入了一個死循環,類型也可以避免這種死鎖。

如果考慮一下這對于互聯網的意義,情況就變得非常有意思了。互聯網正在被重構,

它正不可避免地從少數幾個大公司控制的中心化網絡轉為為去中心化社區服務的去中心化應用,區塊鏈在此扮演重要的角色,但是這個重構的過程卻遠遠超越區塊鏈技術本身。毫無疑問,這樣的變化將對社會、、經濟都產生巨大的影響,但是除了區塊鏈之外,還有一些技術,將與其一道創建新一代的軟件服務。其中就包括類型系統。

Research Dao、Giv3和Metalearn獲Web3 Sandbox Hackathon前三名:8月1日消息,在全球開發者激勵平臺DoraHacks發起的Web3 Sandbox Hackathon活動落幕。本次活動由Morpheus Labs主辦,經過專業評選,最終獲得前三名的BUIDL團隊分別是Research Dao、Giv3和Metalearn,共享3萬美金總獎池。[2022/8/1 2:51:00]

有意思的一點在于,很多人都沒有意識到,邏輯一直在經歷一場革命,我們對邏輯的認知,以及邏輯與我們生活中其它方面之間的聯系一直在發生變化。亞里士多德是最先正式提出邏輯這一概念的人,20世紀80年代,一位名叫Jean-YvesGirard的人提出了線性邏輯,將邏輯與對資源的認識聯系起來,從而大大拓展了我們對邏輯的理解。

這些都改變了我們對證明的理解,改變了我們對化學、物理、量子力學等的理解,但是邏輯的演化還遠未結束,它將為整個的數字生態帶來廣泛的影響。

回到代碼。今天的代碼就像是互聯網里的暗物質,我們將代碼看作數據集,存儲在GitHub這樣的庫里,但是我們無法搜索它,就像是搜索關系型數據或是XML數據一樣。相反,我們需要應用元數據或社會工程,比如Bob知道一個名為Alice的人知道這個庫…這本質上意味著代碼是不透明的,它占據了互聯網的大量存儲空間,但是卻難以搜索。

15年前,有個團隊開發了一個名為Hoogle的系統,如果大家還記得我之前給的Sort函數的例子,輸入整數列表,并輸出整數列表,你可以將這個整數列表類型作為關鍵詞,輸入Hoogle進行查詢,Hoogle就會返回所有匹配的Haskell函數。但是有一個問題,Sort的類型和Shuffle是一樣的。Sort函數的功能是排序,也即輸入隨機的整數列表并輸出有序的列表,而Shuffle的輸入和輸出都是隨機的整數列表。因此如果你在Hoogle上以整數列表類型作為關鍵詞進行搜索,有可能得到的結果并不是自己想要的。換言之,這意味著用類型作為關鍵詞搜索這個想法,也就沒那么有用了。

報告:過去7年里Alameda Research購買了367億美元的USDT:金色財經報道,根據Protos最新報告,穩定幣Tether在過去七年里已經成為加密貨幣行業的主要橋梁。報告稱,2014 年至 2021 年 10 月期間,Alameda Research 和 Cumberland預計獲得 603 億美元的USDT。其中Alameda Research購買了367億美元,在從Tether的財政部轉移到Alameda Research的367億美元USDT中,超過301億美元被轉移到FTX。此外,Binance收到21億美元,Huobi和OKEx分別收到17億美元和1.15億美元。

其余的USDT被轉移到非交易所錢包,排名第二的USDT購買者Cumberland是DRW控股的子公司,被認為是頂級的做市商之一。該公司在過去七年中收到了237億美元的USDT,其中僅去年一年就收到了 176 億美元的 USDT,占收到總額的74%,占有史以來所有出境USDT交易量的22%。(ambcrypto)[2021/11/13 21:48:50]

但是我此前提到的,邏輯革命,不僅僅是線性邏輯,也包括邏輯的其他方面和其它類型的邏輯,允許我們對于類型系統進行定義。事實上,存在一個思路,將類型和邏輯掛鉤,并將程序與證明掛鉤。因此邏輯的革命必然帶來類型的革命,實際上這場類型的革命允許我們基于代碼的功能和結構進行搜索。尤其是,我們可以搜索單線程、多線程、分享秘密和死鎖等各類代碼。

基于代碼的功能和結構去搜索代碼帶來的一個結果就是,它允許編譯器檢查代碼里的新型錯誤。比如:搜索多線程代碼就轉變成檢查正在編譯的代碼是否存在資源競爭,換言之,它是否能非確定性地響應不同的輸入。搜索分享秘密的代碼就轉變成檢查正在編譯的代碼是否存在安全漏洞。諸如此類的例子。大家會在Rholang的類型系統里找到上述提到的種種功能。而檢查出資源競爭的能力就可以避免DAO漏洞以及以太坊智能合約上已經出現的許多昂貴的攻擊。

但是它的影響遠不止于代碼搜索,它也會影響代碼生成,尤其是,它會強化我們利用人工智能生成和整合代碼的能力。

鏈游LoserChick已在Polygon主網上集成Chainlink VRF:10月11日消息,鏈游LoserChick已經在Polygon主網上集成Chainlink可驗證隨機函數(VRF)。通過集成Chainlink去中心化預言機網絡,LoserChick現在可以訪問防篡改和可審計的隨機性來源,從而將NFT Drop隨機分配給用戶。[2021/10/11 20:21:25]

1993年,我還在一家研究機構工作,和英國電信的一個團隊合作。我就提出了一個人工智能算法,可以利用類型搜索散布于全網各個庫里的代碼碎片,比如現在還可以搜索智能合約和區塊鏈碎片并整合,返回一個滿足用戶需求的程序。這樣一來,人工智能就能合成代碼,并實現一系列的功能。

但是這場革命不僅限于代碼,它也適用于一系列其它的領域,比如幾何推理。RChain開發的這個邏輯形式操作語義算法,就是從不同類型的計算框架,包括幾何代數中生成類型系統和查詢語言。

除此之外,它還可以應用于無人車、制藥、蛋白質折疊等一系列領域。以制藥為例,這個算法應用于動態系統,大家可以認為計算機系統是一種動態系統,細胞信號轉導機制也是。我們可以將類型系統生成應用于這些動態系統的建模上。其中一種可能的查詢,在類型系統算法出現之前無法做到,就是尋找細胞里某個特定的小分子濃度,并識別其與某種特定的細胞信號轉導機制之間的關系,從而進行干預,避免細胞信號轉導機制達到某個狀態。

這些就是RChain尤其是RChain的邏輯形式操作語義算法能幫助實現的。

此外,等區塊鏈的擴容性足夠強大,囊括所有的公共領域數據后,比如地理位置數據,像人、物聯網、傳感器的位置,或者是醫療或其它的敏感數據,RChain基于這些數據的結構或功能搜索的算法就會更有用,更有價值。

但是也可以想象,這樣的搜索能力、一個全球計算機和一個全球的數據庫,絕不能僅由一小部分人掌握,必須是歸屬于全人類。

這就是今天我演講的主要內容。

以下是對Greg的問答:

聲音 | ResearchAndMarkets:到2025年美國區塊鏈支出將增長13倍:由全球最大的市場研究和數據商店ResearchAndMarkets.com撰寫的一份名為“美國區塊鏈商業機會和展望數據手冊系列(2016-2025)”的新報告估計,到2025年,美國的區塊鏈支出將增長13倍。[2019/3/27]

1.REV對RChain網絡有哪些作用?

答:REV在提供網絡安全方面發揮兩大重要作用。第一是防止DDoS攻擊。因為RChain想要打造的一個全球計算機和一個全球存儲系統,任何能連上互聯網的人都可以訪問,這意味著,惡意的攻擊者是可以拒絕他人的訪問的,比如說提交永續運行的Rholang程序,并占用無限的資源,如果不加阻止,其他人就無法訪問。REV可以避免這一點,因為每一步的計算和每一個存儲單元都需要一定的REV開銷,如果說你的程序永續運行,那就意味著,你需要承擔無限的REV開銷。

第二點:REV在共識機制中扮演核心角色。因為RChain是PoS網絡,REV就確保了驗證人遵循共識協議規則。如果可以提供加密學證據證明有驗證人沒有遵循協議規則,他們的保證金就會被罰沒,因此長期來看,只有遵循規則的驗證人才會留在網絡里。

2.Greg你好,能介紹一下RChain的Staking機制、參與門檻及如何參與嗎?

答:Staking機制與證明機制直接相關。區塊鏈的結構意味著所有的區塊都帶有證明,這樣的證明機制允許我們審查驗證人發起新的區塊時,是否是誠實的。一旦發現不誠實的驗證人,比如發起雙花或其它攻擊,網絡就可以罰沒其保證金。這就是RChain的Staking機制。

就參與門檻而言,如果考慮經濟模型的話,RChain希望的是允許盡可能多的驗證人參與,使得RChain網絡的通脹率在所有的PoS網絡中最低,同時驗證人依然能獲得最大程度的獎勵。

我們也發布一些Staking的介紹,包括我們的鑄幣系統,以及大額Staking的折扣機制,這樣的設計允許我們實現通脹率最低的同時,驗證人獲得最大程度的獎勵。

動態 | 風險投資基金SPiCE VC即將推出Archax交易所:據bitcoinexchangeguide消息,風險投資基金SPiCE VC即將推出Archax交易所。它將主要從事各種安全令牌的交易,通過模擬真實世界的證券,使人們可以用法幣有形資產來交換它們。[2019/2/12]

3.RChain的Casper和ETH2.0的Casper有什么區別?

答:二者之間存在很多的區別。我僅就其中一點進行說明。

實際上,Casper是沒有活性的,這一點已經得到了證明。也就是程序會卡住,無法繼續執行。要解決這個問題,必須設計一定的同步約束,這個同步約束規定,要提出新的提案,這個提案里必須包含其他驗證人提案的多少信息,然后才能提出。也就是說RChain的同步約束不是通過世界時鐘實現的,因為這一點技術難度非常大,尤其是在去中心化的網絡中,它也意味著你需要信任一個中心化的時鐘。但是證明機制卻可以用來保證這個同步約束。

除此之外,Casper還有其他的問題,比如公平性。Casper本身是不公平的,你需要添加其它的屬性才能保證公平。一種思考同步約束和公平性的方法,就是想象一只搖滾樂隊,其中一個成員只顧自己演奏,不管和其它成員的配合,那么演奏的效果就非常差。因此同步約束就意味著,這個成員必須要聽其他成員的演奏,而且要證明他聽了,才能夠繼續演奏自己的部分。

這些就是RChain和ETH2.0的Casper之間的一些區別。

4.為什么一定要去中心化的平臺,聽到您剛才講的功能在中心化平臺上似乎也可以實現,而且中心化的效率更高?

答:中心化往往更高效,如果你看一下大自然,大自然始終是在中心化和去中心化之間做一個平衡。比如細胞,細胞有細胞質、細胞核等各類資源,一個細胞對內部資源的掌控是中心化的。但是另一方面,細胞又在無限地復制。如果細胞不復制,而是將所有的資源都集中在一個巨大的細胞里,那么一旦這個細胞出了問題,整個系統也會出問題。因此,始終要在中心化的效率和危險之間做一個權衡。

當然沒有任何一個解決方案可以放之四海而皆準,你要做的就是去尋找平衡。RChain就是不斷地去尋找平衡點,這樣一方面通過本地化的資源,盡可能實現效率,另一方面又保證珍貴的資源不會僅為少數幾個人掌握。

5.Greg好,從技術的角度,也許是可以重構互聯網的,但是如何吸引普通人來使用這個新技術呢?

答:這個問題問得很好。我自己經常使用的一個技巧就是通過無可否認的用途,人們自然而然地會注意到。比如說,當這個技術首次用于優化無人車的算法,或是首次用于尋找治愈某種疾病的療法,人們立刻就會注意到。哪怕只是改變了搜索代碼的方式,開發者社區也會立刻注意到這種新的搜索算法。然后其他人也會注意到。這就是我吸引普通人使用這個新技術的方式。

我十幾歲的時候,有一個夏天去市場上賣草莓,我做的就是一大早去挑選最好看的草莓,簡簡單單的鋪在攤位上,大家立刻就會注意到,陽光下閃著誘人光澤的草莓,我不需要多加兜售。

道理是類似的。你開發的技術有用,能滿足人們的某個需求,他們就會注意到,并主動去探究這項技術。

6.Rholang的解釋器很慢,有優化的計劃么?

答:有很多的優化計劃。大約15-20年前,一位計算機科學家提出了一種將某種結構的解釋器,比如Rholang解釋器變成虛擬機(抽象機器AbstractMachine)的方法。然后就可以很容易將這樣的抽象機器變成一個基于字節碼的機器,實現編譯。因此我們會依據這個方法的一種變體對Rholang進行優化,從而使它更高效。

第二步就是從JVM的架構變成原生的架構,因為JVM也導致了一定程度的速度變慢,因此放棄JVM而轉向原生硬件,也可以提高速度。比如說Haskell的編譯方式,我們也會這么做。

第三步就是Rholang芯片-一個專門用途的芯片。因為現代芯片的指令集不太適合RChain想做的并發執行,因此在Rholang的藍圖里也提出了設計更適合并發執行的芯片。

總結來說,這是一個三步走的計劃,第一步是從解釋器轉變為編譯形式,第二步是放棄JVM,第三步就是芯片。

7.RChain有進入DeFi領域的計劃么?

答:我們確實有進入DeFi的計劃。但是如果我們要做去中心化的金融工具,還需要從更基礎的層面去思考。今天的DeFi更像是一個流行詞而非堅實的技術。我認為區塊鏈技術目前還不夠可靠,無法支持真正的DeFi,尤其是考慮到各大主流區塊鏈已經報道出來的關鍵漏洞。因此目前不適合將關鍵的代碼放到區塊鏈上。

更好的選擇是做低風險、高吞吐量的事情。這也是我們從互聯網的發展中獲得的啟示。以谷歌為例,一開始谷歌只是一個單一的搜索界面,如果返回的搜索結果不對,不會有人因此喪失性命或損失大量的金錢,至少是就搜索論文、圖片、視頻而言。隨著系統的成熟,你可以實現更復雜的功能,這也是Web2.0過去15-20年間的發展歷程。

8.RChain主網已經上線一段時間,為什么還是不能完全放開REV的交易?

答:這其實和監管有關。美國的監管意味著我們必須要謹慎考慮,是否將REV作為一個證劵型代幣。但是REV也已經上線了抹茶等交易所,在中國和一些其它市場可以交易,但是由于監管的原因,它并不能在所有的市場交易。隨著監管的成熟,這一點未來或許會發生變化。

9.RChain會重點關注哪些類型的Dapp?

答:這個問題也問得很好。它和我對于DeFi的看法是直接相關的。我們首先想做的是高吞吐量、低風險的Dapp。思考一下比特幣和以太坊上的吞吐量,和Facebook或者是交易所的流量相比,是非常非常低的。

社交媒體和娛樂應用就屬于風險非常低的,看不到別人發的帖子,也不會有人喪生,或者遭受財務損失。但是另一方面,人們又認為社交媒體能提供的人與人之間的聯結,對他們的生活至關重要。

因此這就是我們想要關注的Dapp,高吞吐量、低風險。RChat就是一個例子,我們將開源的Zulip與RChain的后端整合,這樣就有了鏈上的聊天室,這對于像鏈的治理的通信是非常重要的,因為它保證了通信信息不可篡改。

10.RChain目前的技術進展如何?似乎RChain的Twitter也不是很活躍?

答:技術開發和社交媒體的活躍是存在差別的。如果你想要看技術開發的活躍度,去Github上查看PullRequest,你就會發現RChain的活躍度在所有的區塊鏈項目中都是居于前列的。開發熱度非常高。

就社交媒體而言,我們剛剛重整旗鼓,因此未來RChain的社交媒體活躍度也會大大提高。

我們也舉辦很多的電話會議,比如每周五我們都會討論RChain在氣候變化中的應用。另外我們也有RCast。所以我們會有自己的傳播方式,內容非常的豐富,但是這些確實沒有被翻譯成中文。或許這也是為什么我們看起來在社交媒體上不是很活躍。

11.0.9.26版本何時發布?

答:我無法給出一個具體的發布時間。但是已經非常靠近發布了,我們想要確保在沙盒里將所有功能都測試完畢再發布。

12.團隊有財政問題么?

答:疫情期間,相信所有人都不好過。但是RChain想做的事情非常多,而且有很多人愿意投入RChain的開發,這一點更重要。

就財政而言,我們有足夠的資金發布新的release,一直支持到塊合并及后續開發,再之后我們也會開啟新的融資。

13.是否有計劃和IPFS結合?

答:我們沒有任何的計劃和IPFS結合。我認識JuanBenet,也很尊重他,他的技術實力很強大,也很投入。但是IPFS的解決問題的路徑是錯的,如果要做存儲,必須要認真思考查詢(query)和交易。做文件系統也需要仔細思考查詢,最終IPFS還是要考慮交易邊界。IPFS一開始沒有思考這些基本的問題,而是決定先擱置,因此它們的架構非常笨重。但是RChain一開始就明白,做搜索必須要考慮查詢,要有一個好的查詢系統,并且要對交易有相當的理解。這個交易不是指金融交易,不是轉幣,而是數據庫層面的。我們對于這些概念都有相當的理解,因此二者的架構是很不一樣的。

Tags:RCHCHAHAIChainRCH幣DeFiChainIOEchainblockchain手機安卓版

歐易交易所
FRENS:羅伯特·清崎:比特幣、黃金和白銀使人們變得更加聰明和富有-ODAILY

羅伯特·清崎是暢銷書《富爸爸窮爸爸》的作者,他最近在推特上發表了對比特幣、黃金和白銀的看法。 他認為,比特幣教育了年輕人。大多數黃金人開始變老了。比特幣向年輕一代解釋了為什么老人們喜歡黃金.

1900/1/1 0:00:00
OIN:行情開始回落,注意破位回踩風險-ODAILY

所謂自律,是以積極而主動的態度,去解決人生痛苦的重要原則,主要包括四個方面:推遲滿足感、承擔責任、尊重事實、保持平衡。最好的決策者,愿意承受其決定所帶來的痛苦,卻毫不影響其做出決策的能力.

1900/1/1 0:00:00
INE:BTC多頭末日來臨?空頭繼續發力扭轉乾坤?-ODAILY

大家好,誠信立本,德行天下,用心研判趨勢和分析,傳遞有價值的投資理念!希望價有所值,值有所得!8.3BTC技術走勢分析:昨日一波強勢下跌力度非常大,每天連續不斷的上漲刷新高點.

1900/1/1 0:00:00
加密貨幣:FATF對數字資產監管將有什么新動作?-ODAILY

近日,金融行動特別工作組在提交給20國集團財政部長和央行行長的關于穩定幣的報告中,提出了新的監管意向。此前,穩定幣被認為有可能刺激金融創新,提升效率并改善金融包容性.

1900/1/1 0:00:00
USDT:Tether官方稱USDT市值突破110億美元-ODAILY

近日,Tether在推特發文稱USDT目前總市值已超過110億美元。據cryptocompare數據顯示,目前比特幣交易情況按照交易幣種排名,排在第一的是USDT,占比為57.94%.

1900/1/1 0:00:00
YFI:經濟模型解讀:比特幣、以太坊經濟模型概覽-ODAILY

首先,讓我們來看看“出圈”最成功的比特幣。曾幾何時,比特幣的出現,讓世界第一次認識了區塊鏈的魔力,也讓無數人通過比特幣實現了自己的夢想.

1900/1/1 0:00:00
ads