4月30日19:00,RChain 創始人Greg Meredith做客MXC抹茶社區,就“RChain 升級主網后的發展之路”進行干貨分享。
以下為Greg Meredith分享實錄:
主持人:歡迎Greg來我們MXC抹茶社區,可以簡單介紹一下您的背景嗎?
Greg Meredith:感謝您給我介紹RChain的機會。對我來說,我更愿意談論RChain這個項目和社區,而不是我自己。我是一個數學家、音樂家、父親、養蜂人以及其它一些身份,但是大多數情況下,我是一個關心地球的人,就像其他許多人那樣。我知道我們為解決氣候變化的影響而采取的行動太慢了,我相信區塊鏈技術如果可以擴展的話,可以使人們能夠應對挑戰,而不必完全等待政府或行業。
主持人:我們知道RChain最近已經主網上線,這對于項目來說是一個全新的階段,RChain是一個以技術為核心的公有鏈,因此我們今天也會更關注于技術方面,并且回答來自社區的一些問題。RChain主網上線后,技術方面的短期、中期、長期規劃是怎樣的?
紐約最高法院批準比特幣礦業公司Greenidge繼續在塞內卡湖運營:4月8日消息,紐約最高法院駁回 Sierra Club 和 Seneca Lake Guardian 提交的停止比特幣礦業公司 Greenidge 在紐??約塞內卡湖的加密貨幣挖礦項目的請愿書,法官 Daniel J. Doyle 判定該項目不會影響塞內卡湖的空氣與水質,Greenidge 也表示會遵守紐約州對環境方面的要求。[2022/4/8 14:12:19]
Greg Meredit:我們短期的目標是要打開目前的網絡瓶頸,主要包括優化三個方面:短期其目標,需要對RChain最后的狀態進行確定,樹狀結構的合并以及線程管理的優化;中期目標是要發展生態,將支持至少4個高交易量而低風險的項目在RChain上發展;長期目標將集中于LADL和平臺層的商業化。
具體說來,通過LADL我們可以為眾多編程語言和虛擬機自動生成類型系統,這意味著眾多區塊鏈平臺上的智能合約將自動獲得更強的安全性。
其次,我們還能在廣泛的執行環境中生成Casper實例化,這意味著區塊鏈平臺能以快得多的速度運行,并且擁有最終狀態的確定性和更好的安全性。
香港公司Onedegree將為加密貨幣提供保險服務:11月13日消息,Onedegree是一家位于香港的虛擬保險公司,將為數字資產提供保險服務,作為與一家本地加密貨幣交易所合作的一部分。通過合作,這兩家公司希望能夠減輕阻礙潛在投資者進入加密貨幣市場的擔憂。(bitcoin news)[2021/11/13 6:50:23]
最終,你將可以一鍵生成一個高性能的區塊鏈平臺。這就意味著平臺層將不會特別昂貴,從而將價值賦予社區、網絡效應和平臺上的應用生態。
主持人:如果我們可以一鍵生成區塊鏈平臺那將是非常有趣的事情。我們也看到一些區塊鏈也聲稱類似的功能,比如波卡。您能將兩者做一個比較嗎?
Greg Meredit:我還沒有看到Polkadot提出這一主張,他們的主張是將不同的區塊鏈連接在一起。他們還將平臺視為商品,但是互操作性只是下一個價值主張的開始。
而真正的下一個價值主張應該是數字資產管理。過去十年中,在internet上,所有的主要應用其實都是數字資產管理系統。從臉書到instagram到TikTok再到Spotify,主要都是關于數字資產的管理。
比特幣礦業公司Greenidge預計于9月15日在納斯達克上市:金色財經報道,比特幣礦業公司Greenidge Generation Holdings Inc與技術支持公司Support.com之間的合并將于9月14日完成。Greenidge的A類普通股將于9月15日在納斯達克上市,股票代碼為“GREE”。[2021/9/14 23:23:08]
Polkadot與互操作性有關而與數字資產管理無關。如果是關于后者的話,他們應該具有明確的查詢模型,該模型適合事務語言,而這是他們缺乏的。
主持人:RChain區別于其它公鏈的優勢在哪里?
Greg Meredit:我可以從三個方面來闡述。第一,最終確定性狀態,這個特性可以讓新加入的節點不必往前追溯到鏈的最開始,它們只需要追溯到最近的一個最終確定性狀態,這也意味著區塊鏈的狀態可以不是永遠增長的;第二就是高性能,隨著我們解決樹結構合并問題和線程管理的優化,我們將看到高得多的性能提高;最后,正確性,通過類型系統,我們可以實現自動化的形式驗證,從而可以避免代碼層面的錯誤,比如像曾經出現的DAO bug就完全能避免。
動態 | 金融分析師Mati Greenspan發推提議聯合抵制YouTube:12月25日消息,昨日開始YouTube開始強制刪除其網站上的加密貨幣和區塊鏈相關視頻,許多加密貨幣行業大V受到影響。作為回應,金融市場分析師Mati Greenspan提議,加密貨幣愛好者應抵制YouTube。他發表推文稱:“為了抗議@Google對#加密內容進行新的無法解釋的審查,我將抵制@YouTube,直到另行通知。”[2019/12/25]
主持人:RChain是怎樣實現數據上鏈的呢?RChain的數據存儲和IPFS之類的區別是怎樣呢?
Greg Meredit:RChain首先是一個數據庫和存儲機制。這意味著它帶有查詢語言(rholang)和事務模型。通常,互聯網已經理解了廣義“鍵/值”的概念,例如,http協議實際上只是一個通用的”鍵/值“查找協議。”鍵“就是這些URI或URL,”值“就是這些位于URI處的資源,例如網頁、API等。
這樣的協議表明”鍵“是具有結構的,它們是一種”路徑“。這對于構造對資源的訪問非常有幫助。但是,http了解您并不總是確切知道您要查找什么資源或它們在哪里。因此,存在”搜索“的概念。IPFS在成立初期就錯過了這點,并且正在極力追趕。
動態 | 綠金GreenGold在聯合國氣候大會啟動:當地時間12月6日,在西班牙馬德里舉辦的第二十五屆聯合國氣候變化大會(COP25)上,由全球綠色能源理事會(GGEIC)、清華x-lab、國際數權經濟合作聯盟、協鑫、天合、上邁、阿特斯、中國電建貴州工程公司等多十幾家綠色能源國際組織、行業協會、學術機構、國際科技金融組織、領軍企業,共同啟動全球綠色能源產業數字金融平臺——GreenGold(綠金),助力綠色能源數字化發展。
據悉,GreenGold是由產業主導發行的產業數字穩定幣,將基于區塊鏈技術,建設全球綠色能源產業數字金融平臺,推動能源數字金融投資、數字資產交易,。[2019/12/10]
事實證明,這是非常基本的。任何存儲機制(您可以將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:GRECHAAINHAIW Green PayHealth Data ChainChainswapWelups Blockchain
一、區塊鏈+金融 區塊鏈的發展,從一開始就與金融緊密結合。比特幣是第一個區塊鏈產品,同時它也是區塊鏈世界第一個金融產品.
1900/1/1 0:00:00據Coindesk報道,4月29日,Telegram再次推遲區塊鏈項目TON的啟動時間,新的上線日期將推遲至2021年4月30日.
1900/1/1 0:00:00冠狀病的爆發擾亂了我們的日常生活。我們每天喜歡去的地方已經變得荒蕪,我們的日常生活受到了限制。全球各地都感受到了流感大流行帶來的焦慮,而最近金融業的變化反映出,這種情緒已經蔓延到了全球.
1900/1/1 0:00:00312暴跌和最近的暴漲,發現一個奇怪的現象,踏空遠比套牢的挫敗感更強烈。套牢后,心理上反而更輕松,大不了再熬一熬。踏空則完全不一樣,好比你餓了三天三夜,突然在你面前擺一桌滿漢全席,只準看不準吃.
1900/1/1 0:00:00對大多數人來說,“通貨膨脹”是個壞消息。目前委內瑞拉正在遭受最惡劣的通貨膨脹,歷史證明,社區和家庭只能眼睜睜的看著他們的貨幣價值不斷蒸發.
1900/1/1 0:00:00(魚狗,梵高) 前言:以太坊排名前10000的地址中,第10000名錢包的余額也達到了748.16ETH,排名第一的是交易所的錢包,達到348萬多個ETH,占以太坊總量不到3.2%.
1900/1/1 0:00:00