4月30日19:00,RChain 創始人Greg Meredith做客MXC抹茶社區,就“RChain 升級主網后的發展之路”進行干貨分享。
以下為Greg Meredith分享實錄:
主持人:歡迎Greg來我們MXC抹茶社區,可以簡單介紹一下您的背景嗎?
Greg Meredith:感謝您給我介紹RChain的機會。對我來說,我更愿意談論RChain這個項目和社區,而不是我自己。我是一個數學家、音樂家、父親、養蜂人以及其它一些身份,但是大多數情況下,我是一個關心地球的人,就像其他許多人那樣。我知道我們為解決氣候變化的影響而采取的行動太慢了,我相信區塊鏈技術如果可以擴展的話,可以使人們能夠應對挑戰,而不必完全等待政府或行業。
主持人:我們知道RChain最近已經主網上線,這對于項目來說是一個全新的階段,RChain是一個以技術為核心的公有鏈,因此我們今天也會更關注于技術方面,并且回答來自社區的一些問題。RChain主網上線后,技術方面的短期、中期、長期規劃是怎樣的?
軟銀與Symbiotic共同投資1億美元成立新人工智能公司“Greenbox Systems”:金色財經報道,日本投資巨頭軟銀宣布與Symbiotic 共同投資 1 億美元成立新人工智能公司“Greenbox Systems”,據悉軟銀將擁有該公司 65% 的股份,而 Symbotic 則擁有 35% 的股份,此外軟銀還斥資 75 億美元購買了 Symbotic 的人工智能驅動系統。(彭博社)[2023/7/25 15:56:55]
Greg Meredit:我們短期的目標是要打開目前的網絡瓶頸,主要包括優化三個方面:短期其目標,需要對RChain最后的狀態進行確定,樹狀結構的合并以及線程管理的優化;中期目標是要發展生態,將支持至少4個高交易量而低風險的項目在RChain上發展;長期目標將集中于LADL和平臺層的商業化。
具體說來,通過LADL我們可以為眾多編程語言和虛擬機自動生成類型系統,這意味著眾多區塊鏈平臺上的智能合約將自動獲得更強的安全性。
其次,我們還能在廣泛的執行環境中生成Casper實例化,這意味著區塊鏈平臺能以快得多的速度運行,并且擁有最終狀態的確定性和更好的安全性。
香港保險公司OneDegree與慕尼黑再保險公司達成協議,推出數字資產保險產品:金色財經消息,香港保險公司One Degree宣布與慕尼黑再保險公司達成協議,將提供一種新的數字資產保險產品OneInfinity。該產品面向數字資產交易平臺、托管人、資產管理人和技術提供商,慕尼黑再保險公司將為此種保險提供再保險,以確保該產品面臨巨額賠付時的償付能力。
目前該產品尚未對DeFi項目提供保險服務,但其表示正在對該市場進行研究。(CoinDesk)[2022/4/11 14:18:01]
最終,你將可以一鍵生成一個高性能的區塊鏈平臺。這就意味著平臺層將不會特別昂貴,從而將價值賦予社區、網絡效應和平臺上的應用生態。
主持人:如果我們可以一鍵生成區塊鏈平臺那將是非常有趣的事情。我們也看到一些區塊鏈也聲稱類似的功能,比如波卡。您能將兩者做一個比較嗎?
Greg Meredit:我還沒有看到Polkadot提出這一主張,他們的主張是將不同的區塊鏈連接在一起。他們還將平臺視為商品,但是互操作性只是下一個價值主張的開始。
而真正的下一個價值主張應該是數字資產管理。過去十年中,在internet上,所有的主要應用其實都是數字資產管理系統。從臉書到instagram到TikTok再到Spotify,主要都是關于數字資產的管理。
Hashmasks平臺支持的NFT創新項目The Greats使用Chainlink VRF:10月15日消息,由 NFT 數字藝術收藏品平臺 Hashmasks 支持的 NFT 創新項目 The Greats 正在使用 Chainlink VRF,以隨機分配 4,608 個 NFT,這些 NFT 重新映像了標志性的 Salvator Mundi 畫作。Chainlink VRF 確保每個人都能有公平的機會購買最稀有藝術品。[2021/10/15 20:31:30]
Polkadot與互操作性有關而與數字資產管理無關。如果是關于后者的話,他們應該具有明確的查詢模型,該模型適合事務語言,而這是他們缺乏的。
主持人:RChain區別于其它公鏈的優勢在哪里?
Greg Meredit:我可以從三個方面來闡述。第一,最終確定性狀態,這個特性可以讓新加入的節點不必往前追溯到鏈的最開始,它們只需要追溯到最近的一個最終確定性狀態,這也意味著區塊鏈的狀態可以不是永遠增長的;第二就是高性能,隨著我們解決樹結構合并問題和線程管理的優化,我們將看到高得多的性能提高;最后,正確性,通過類型系統,我們可以實現自動化的形式驗證,從而可以避免代碼層面的錯誤,比如像曾經出現的DAO bug就完全能避免。
分析 | Grega Horvat:CME比特幣期貨3浪目標位為9407到9809美元:據FXstreet分析師Grega Horvat分析,CME比特幣期貨4小時周期目前處于3浪中目標位為9407到9809美元,完成目標后價格將運行第四浪至6310美元,隨后進行5浪上漲。[2019/5/28]
主持人:RChain是怎樣實現數據上鏈的呢?RChain的數據存儲和IPFS之類的區別是怎樣呢?
Greg Meredit:RChain首先是一個數據庫和存儲機制。這意味著它帶有查詢語言(rholang)和事務模型。通常,互聯網已經理解了廣義“鍵/值”的概念,例如,http協議實際上只是一個通用的”鍵/值“查找協議。”鍵“就是這些URI或URL,”值“就是這些位于URI處的資源,例如網頁、API等。
這樣的協議表明”鍵“是具有結構的,它們是一種”路徑“。這對于構造對資源的訪問非常有幫助。但是,http了解您并不總是確切知道您要查找什么資源或它們在哪里。因此,存在”搜索“的概念。IPFS在成立初期就錯過了這點,并且正在極力追趕。
事實證明,這是非常基本的。任何存儲機制(您可以將www視為一般的存儲機制)都需要提供兩樣東西:首先是查詢機制,因為您并不總是確切的知道要查找的內容,或者因為您想以編程的方式獲得一堆東西而不必一個一個獲取;其次是事務語義,對于www,事務模型是REST。雖然對于如需攜帶狀態的票務訂購系統而言,它并不是最理想的,但至少它的交易模型是清晰的。
聲音 | Mati Greenspan:經濟學家會將數字貨幣視為有效金融工具:eToro的高級市場分析師Mati Greenspan表示,“較大的基金和經濟學家必會將數字貨幣視為一種潛在的有效金融工具。許多經濟學家和投資組合經理現在看到的主要優勢是使用加密算法作為資金管理的有力工具。”還表示比特幣和股票市場之間缺乏相關性,為對沖基金經理提供了一個有價值的工具。比如像BlockTower數字貨幣對沖基金等。[2018/10/22]
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是一個社區的人們,他們認為需要做一些事情,并共同努力才能完成。
全球新一輪科技與產業革命浪潮滾滾,一個建立在人工智能、區塊鏈、物聯網、大數據、云計算等新型技術的數字經濟時代蓬勃而生.
1900/1/1 0:00:00中國擁有更多區塊鏈專利,但投資于區塊鏈領域的美國公司數量更多。根據總部位于紐約的研究公司CB Insights最新發布的一份報告顯示,中國在區塊鏈相關投資方面正在迅速趕超美國.
1900/1/1 0:00:00dForce在向Lendf.Me用戶返還全部資產后,2020年4月30日,dForce團隊發布“Better Future”計劃及倡議.
1900/1/1 0:00:00整體市場趨勢 截止目前,全球加密貨幣市場總市值約為2211.69億美元,較上周增長超100億美元,市場持續保持強勢多頭格局。當前比特幣市值占比約為62.90%,與上周相比整體變化不大.
1900/1/1 0:00:00作為美國對加密貨幣最友好的州,懷俄明州近日又前進了一步,再次全美領先。2020年3月12日,懷俄明州州長馬克·戈登最近簽署了一項法律,修改該州的保險法規,成為美國首個明確允許本地保險公司投資“數.
1900/1/1 0:00:00以太坊在4月份繼續取得了一系列積極的進展。Arcane最近的一份報告顯示,3月份部署在以太坊上的智能合約數量為該行業過去12個月以來最高.
1900/1/1 0:00:00