4月30日19:00,RChain 創始人Greg Meredith做客MXC抹茶社區,就“RChain 升級主網后的發展之路”進行干貨分享。
以下為Greg Meredith分享實錄:
主持人:歡迎Greg來我們MXC抹茶社區,可以簡單介紹一下您的背景嗎?
Greg Meredith:感謝您給我介紹RChain的機會。對我來說,我更愿意談論RChain這個項目和社區,而不是我自己。我是一個數學家、音樂家、父親、養蜂人以及其它一些身份,但是大多數情況下,我是一個關心地球的人,就像其他許多人那樣。我知道我們為解決氣候變化的影響而采取的行動太慢了,我相信區塊鏈技術如果可以擴展的話,可以使人們能夠應對挑戰,而不必完全等待政府或行業。
主持人:我們知道RChain最近已經主網上線,這對于項目來說是一個全新的階段,RChain是一個以技術為核心的公有鏈,因此我們今天也會更關注于技術方面,并且回答來自社區的一些問題。RChain主網上線后,技術方面的短期、中期、長期規劃是怎樣的?
Greenidge 計劃將美國比特幣采礦能力提高兩倍:金色財經報道,位于紐約州北部的大型加密貨幣采礦中心Greenidge Generation Holdings,已經獲得了1億美元的資金,以資助其在美國不斷增長的業務。根據周四發表的聲明,該公司計劃今年將其數據中心的容量增加兩倍,達到4.7 EH/s,絕大多數容量的擴展集中在公司在紐約的原址之外。Greenidge 最近開始在南卡羅來納州的一個新地點開采比特幣,據該公司稱,三個月后,該地點已占其總哈希率的 15%。(The block)[2022/3/28 14:21:29]
Greg Meredit:我們短期的目標是要打開目前的網絡瓶頸,主要包括優化三個方面:短期其目標,需要對RChain最后的狀態進行確定,樹狀結構的合并以及線程管理的優化;中期目標是要發展生態,將支持至少4個高交易量而低風險的項目在RChain上發展;長期目標將集中于LADL和平臺層的商業化。
具體說來,通過LADL我們可以為眾多編程語言和虛擬機自動生成類型系統,這意味著眾多區塊鏈平臺上的智能合約將自動獲得更強的安全性。
其次,我們還能在廣泛的執行環境中生成Casper實例化,這意味著區塊鏈平臺能以快得多的速度運行,并且擁有最終狀態的確定性和更好的安全性。
電動自行車制造商Greyp Bikes支持以BTC、ETH等主流幣購買:金色財經消息,電動自行車制造商Greyp Bikes與克羅地亞加密貨幣支付處理器PayCek達成合作,Greyp Bikes的所有產品現在都可以通過以下9種加密貨幣直接購買:BTC、ETH、BCH、XLM、XRP、DAI、EOS、USDT、USDC。(Total Croatia News)[2021/9/11 23:17:49]
最終,你將可以一鍵生成一個高性能的區塊鏈平臺。這就意味著平臺層將不會特別昂貴,從而將價值賦予社區、網絡效應和平臺上的應用生態。
主持人:如果我們可以一鍵生成區塊鏈平臺那將是非常有趣的事情。我們也看到一些區塊鏈也聲稱類似的功能,比如波卡。您能將兩者做一個比較嗎?
Greg Meredit:我還沒有看到Polkadot提出這一主張,他們的主張是將不同的區塊鏈連接在一起。他們還將平臺視為商品,但是互操作性只是下一個價值主張的開始。
而真正的下一個價值主張應該是數字資產管理。過去十年中,在internet上,所有的主要應用其實都是數字資產管理系統。從臉書到instagram到TikTok再到Spotify,主要都是關于數字資產的管理。
可持續加密礦業公司MintGreen完成種子輪融資 CoinShares領投:可持續加密礦業公司MintGreen已完成種子輪融資,數字資產管理公司CoinShares領投。此輪融資資金其中一部分或將用于支持兩個試點項目,旨在利用MintGreen的專有技術提高比特幣挖礦的能源效率。兩個試點項目將于下季度開始。試點項目內容包括將比特幣開采產生的熱廢物出售給溫哥華島海鹽設施公司,用于燒水和提煉鹽片。(Cointelegraph)[2021/3/17 18:52:36]
Polkadot與互操作性有關而與數字資產管理無關。如果是關于后者的話,他們應該具有明確的查詢模型,該模型適合事務語言,而這是他們缺乏的。
主持人:RChain區別于其它公鏈的優勢在哪里?
Greg Meredit:我可以從三個方面來闡述。第一,最終確定性狀態,這個特性可以讓新加入的節點不必往前追溯到鏈的最開始,它們只需要追溯到最近的一個最終確定性狀態,這也意味著區塊鏈的狀態可以不是永遠增長的;第二就是高性能,隨著我們解決樹結構合并問題和線程管理的優化,我們將看到高得多的性能提高;最后,正確性,通過類型系統,我們可以實現自動化的形式驗證,從而可以避免代碼層面的錯誤,比如像曾經出現的DAO bug就完全能避免。
聲音 | Jemma Green:現行稅收政策會對澳大利亞當地ICO產生不利影響:澳大利亞區塊鏈能源公司Power Ledger聯合創始人Jemma Green表示,現行稅收政策會對澳大利亞當地ICO產生不利影響,因為它將他們的收益歸類為收入,這符合傳統的稅收指導方針。而現在許多國家(例如瑞士)正在針對這類公司改變稅收政策,將其納入資本賬戶。(Cointelegraph)[2020/2/21]
主持人:RChain是怎樣實現數據上鏈的呢?RChain的數據存儲和IPFS之類的區別是怎樣呢?
Greg Meredit:RChain首先是一個數據庫和存儲機制。這意味著它帶有查詢語言(rholang)和事務模型。通常,互聯網已經理解了廣義“鍵/值”的概念,例如,http協議實際上只是一個通用的”鍵/值“查找協議。”鍵“就是這些URI或URL,”值“就是這些位于URI處的資源,例如網頁、API等。
這樣的協議表明”鍵“是具有結構的,它們是一種”路徑“。這對于構造對資源的訪問非常有幫助。但是,http了解您并不總是確切知道您要查找什么資源或它們在哪里。因此,存在”搜索“的概念。IPFS在成立初期就錯過了這點,并且正在極力追趕。
聲音 | Grega Horvat:BTC未來可能會有C浪下跌 看向6000-7000美元:據FXStreet分析師Grega Horvat6月13日消息,BTC正在經歷a-b-c平臺浪調整,馬上我們會看到三角形突破到8200-8400美元,隨后的理想狀態就是BTC進入c浪并跌到6000-7000美元支撐。[2019/6/13]
事實證明,這是非常基本的。任何存儲機制(您可以將www視為一般的存儲機制)都需要提供兩樣東西:首先是查詢機制,因為您并不總是確切的知道要查找的內容,或者因為您想以編程的方式獲得一堆東西而不必一個一個獲取;其次是事務語義,對于www,事務模型是REST。雖然對于如需攜帶狀態的票務訂購系統而言,它并不是最理想的,但至少它的交易模型是清晰的。
IPFS沒明白這些功能是多么重要。相反,RChain則是從根本上提供一種新的數據庫體系結構:它解決了SQL和no-SQL之間的緊張關系,并提供了一個查詢和事務模型來進行分布式和擴展。rholang具有的“模式匹配”,提供了一種查詢機制,它的通訊規則是事務模型。從這個意義上講,這就是下一步——Internet3.0語義。
要正確的理解這點,了解一些關于存儲機制的歷史是必要的。在關系型數據庫出現之前,并沒有真正的存儲標準。有很多基于文件的分層數據庫。這實際上是IPFS基于互聯網推動的基本模型。但是一旦關系型的數據庫出現,那些存儲機制經歷了什么呢?它們消失于歷史中。其原因在于,關系模型解決了兩個基本用途:高效查詢和事務處理。
RChain在這個方向上探索并取得了成功。rholang和RChain建立于“進程演算”的數學模型之上,從字面上看,就是一種基于時間擴展的關系。這種基于時間擴展的比喻抓住了同時存儲代碼和數據的想法,讓它們可以有效的在語義和句法上并列使用。
主持人:RChain的反應式智能合約具體是什么意思呢?它相較于目前的一些鏈上智能合約有什么優勢?能否舉例說明?
Greg Meredit:并發性!下面這段是用rholang寫的構建去中心化交易所的核心代碼。
for( ask <- askStream; bid <- bidStream ) { match fit( ask, bid ) case good => doSale( ask, bid ); case ok => …; case nogo => putBack( askStream, ask ) | putBack( bidStream, bid ) }
你可以看到代碼非常簡潔。它從一連串的要價流中獲取要價,并從一連串的出價流中獲取出價,當要交和出價相匹配的時候則達成了交易,否則它們會被重新放回它們各自的流中。當然,對于一個完整的交易所來說,還需要更多的代碼。但是這就是交易所的核心邏輯,并且它被一行rholang代碼就表達了。這就是反應式合約的強大之處,它們表達了各種Internet程序模式,從復雜的事件流程處理到用戶界面交互模式。
主持人:我聽說RChain開發人員最近在JavaScript自動轉換成并發Rholang語言上取得了突破,這大大降低技術難度,讓程序員能輕松寫出并發區塊鏈編程語言。能具體談談這項突破嗎?
Greg Meredit:我并不認為這是一種突破。rholang的要點在于它在語法上表示并發,JavaScrip在語法上模糊了并發性,這是倒退的一步。
主持人:除了JavaScript,其它編程語言未來可以自動轉換成rholang嗎?RChain考慮過怎樣更好的利用現有的技術資源來降低開發門檻嗎?
Greg Meredit:其他程序不應轉換成rholang,在我們獲得硬件支持之前,應該采取另一種方法。主要原因是很少有流行的編程語言支持并發的語法分析和資源控制。這隱藏在邏輯中而不是語法中。
使用語法時,編譯器和類型檢查器可以檢查各種屬性,例如該程序是否會死鎖,是否會將信息泄漏到不安全的通道等。您可以檢查JavaScript語法中的此類屬性,您必須了解邏輯,否則將很難解決。
主持人:可以介紹一下RChain上的生態項目Dappy嗎?這個項目有哪些亮點呢?
Greg Meredit:Dappy最大的亮點是名稱鏈接。其次,它是優秀的預言機(oracle)技術構件。
主持人:最近在舉辦Dapp想法的評選,可以介紹一下有哪些出色的dapp參加了嗎?或者您認為RChain的dapp生態會在哪些方面出現突破?
Greg Meredit:RChain的生態系統主要需要低風險、高交易量的應用程序。例如游戲、聊天、社交媒體等。而突破點在于,當人們在使用它時甚至都不會注意到區塊鏈底層。
主持人:RChain經歷的很多次危機,甚至有過破產的傳言,但是我們看到RChain這么多年一路經歷坎坷卻堅持下來了,您能告訴我們是什么支撐了RChain,讓這個項目堅持到現在。
Greg Meredit:社區,一直是社區。RChain并不僅僅是一種技術。RChain是一個社區的人們,他們認為需要做一些事情,并共同努力才能完成。
Tags:CHAHAIChainRCHblockchaintechnologyCOFFE MultichainStark ChainBlockChain Search Artifacts
4月25日,由國家信息中心主辦,中國移動通信集團公司、中國銀聯股份有限公司、區塊鏈服務網絡發展聯盟協辦的區塊鏈服務網絡(BSN)全球商用啟動大會召開。會上,BSN宣布正式開啟全球商用.
1900/1/1 0:00:00交易平臺對于加密貨幣行業發展的重要性不言而喻,從現貨、合約、期權等產品迭代上看,加密貨幣行業的交易平臺一直在學習傳統二級市場.
1900/1/1 0:00:00冠狀病的爆發擾亂了我們的日常生活。我們每天喜歡去的地方已經變得荒蕪,我們的日常生活受到了限制。全球各地都感受到了流感大流行帶來的焦慮,而最近金融業的變化反映出,這種情緒已經蔓延到了全球.
1900/1/1 0:00:001. 全球數字貨幣監管牌照全景圖近年來,伴隨著區塊鏈技術日益成熟和數字貨幣步入發展快車道,去中心化加密數字貨幣的市場規模越來越大,目前全球共有319個數字貨幣交易所,已發行5290種數字貨幣.
1900/1/1 0:00:00前言:加密穩定幣旨在實現錨定1美元,給人們更直觀的穩定想象。不過,從黑色星期四事件看,DAI價格飆升后,要降下來很難。本文提出了一種反射債券的模式,它的目的是減少其抵押品的波動性.
1900/1/1 0:00:00金色財經 區塊鏈4月25日訊 2017年底,比特幣價格飆升,并一路創下歷史高點,許多早期持幣人在一夜之間成為百萬富翁.
1900/1/1 0:00:00