4月30日19:00,RChain 創始人Greg Meredith做客MXC抹茶社區,就“RChain 升級主網后的發展之路”進行干貨分享。
以下為Greg Meredith分享實錄:
主持人:歡迎Greg來我們MXC抹茶社區,可以簡單介紹一下您的背景嗎?
Greg Meredith:感謝您給我介紹RChain的機會。對我來說,我更愿意談論RChain這個項目和社區,而不是我自己。我是一個數學家、音樂家、父親、養蜂人以及其它一些身份,但是大多數情況下,我是一個關心地球的人,就像其他許多人那樣。我知道我們為解決氣候變化的影響而采取的行動太慢了,我相信區塊鏈技術如果可以擴展的話,可以使人們能夠應對挑戰,而不必完全等待政府或行業。
主持人:我們知道RChain最近已經主網上線,這對于項目來說是一個全新的階段,RChain是一個以技術為核心的公有鏈,因此我們今天也會更關注于技術方面,并且回答來自社區的一些問題。RChain主網上線后,技術方面的短期、中期、長期規劃是怎樣的?
區塊鏈就業平臺Opolis籌集660萬美元融資,Greenfield領投:金色財經報道,區塊鏈就業平臺Opolis已獲得一輪660萬美元融資。此輪融資由加密貨幣投資公司Greenfield領投,并獲得NEAR基金會、DraperAssociates和PolygonVentures等投資。籌集的資金將用于擴大業務規模并實現更加順暢的用戶體驗。功能增強的路線圖側重于改進信息可訪問性,特別是會計數據、稅務報告詳細信息和健康保險信息。
此次融資是在種子輪前和種子輪融資之后進行的,使Opolis的融資總額達到1330萬美元,最近一次融資的估值為5000萬美元。[2023/7/14 10:54:02]
Greg Meredit:我們短期的目標是要打開目前的網絡瓶頸,主要包括優化三個方面:短期其目標,需要對RChain最后的狀態進行確定,樹狀結構的合并以及線程管理的優化;中期目標是要發展生態,將支持至少4個高交易量而低風險的項目在RChain上發展;長期目標將集中于LADL和平臺層的商業化。
具體說來,通過LADL我們可以為眾多編程語言和虛擬機自動生成類型系統,這意味著眾多區塊鏈平臺上的智能合約將自動獲得更強的安全性。
Polyhedra Network推出跨鏈數據可用性協議Greenfield zkMessenger:4月23日消息,ZK基礎設施初創公司Polyhedra Network宣布推出由BNB Greenfield和zk Bridge提供支持的跨鏈數據可用性協議Greenfield zkMessenger,允許用戶跨鏈發送Web3消息。Polyhedra Network表示,其協議通過使用BNB Greenfield提供的數據可用性來確保數據安全,將用戶數據安全地存儲在BNBGreenfield去中心化存儲網絡中,并通過zkBridge協議實現Web3中大規模數據的跨鏈數據可用性。
此前報道,Polyhedra Network 宣布在 zkBridge.com 上發布 zkBridge 主網 Alpha 版本,目前支持包括 BNB Chain、Ethereum 和 Arbitrum 等在內的 10 條區塊鏈網絡的主網。Polyhedra Network 于 2023 年 2 月份完成 1000 萬美元融資,Binance Labs 和 Polychain Capital 領投,Foresight Ventures、Animoca Brands 和 Dao5、ABCDE、Sparkle Ventures、KuCoin Ventures、DHVC、OMA3、Galxe、SPACE ID 等參投。4 月初,Polyhedra Network 完成 1500 萬美元 Pre-Series A 輪融資,Polychain Capital 領投。[2023/4/23 14:21:38]
其次,我們還能在廣泛的執行環境中生成Casper實例化,這意味著區塊鏈平臺能以快得多的速度運行,并且擁有最終狀態的確定性和更好的安全性。
去中心化存儲基礎設施BNB Greenfield已開源所有核心基礎設施代碼:4月13日消息,BNB Chain 開發團隊推出的去中心化存儲基礎設施 BNB Greenfield 已開源所有核心基礎設施代碼,包括 Greenfield 區塊鏈、存儲提供商集群、跨鏈中繼器和相應的 SDK。
注,BNB Greenfield 是 BNB Chain 生態系統中的去中心化存儲基礎設施,用戶和 DApps 可以創建、存儲和交換具有完全所有權的數據,形成一個新的數據經濟。此前,BNB Greenfield 于 4 月 11 日上線測試網Congo。[2023/4/13 14:02:12]
最終,你將可以一鍵生成一個高性能的區塊鏈平臺。這就意味著平臺層將不會特別昂貴,從而將價值賦予社區、網絡效應和平臺上的應用生態。
主持人:如果我們可以一鍵生成區塊鏈平臺那將是非常有趣的事情。我們也看到一些區塊鏈也聲稱類似的功能,比如波卡。您能將兩者做一個比較嗎?
Greg Meredit:我還沒有看到Polkadot提出這一主張,他們的主張是將不同的區塊鏈連接在一起。他們還將平臺視為商品,但是互操作性只是下一個價值主張的開始。
美國職業足球大聯盟與元宇宙游戲開發商GreenPark Sports達成合作:2月28日消息,體育社交游戲開發商GreenPark Sports與美國職業足球大聯盟(MLS)建立多年合作伙伴關系,以推動推動球迷參與元宇宙。合作內容將從本賽季開始,美國職業棒球大聯盟的球迷將能夠使用官方授權的裝備創建化身,并與好友一同參與比賽。
據此前報道,2021年10月,GreenPark Sports完成3100萬美元B輪融資,Galaxy Interactive、Sapphire Sport、SignalFire和Advantage領投,Nassef Sawiris的NNS Group、Gaingels、DH.VC及FTX的Alameda Research等新投資者參投。(Axios Sports)[2022/2/28 10:20:31]
而真正的下一個價值主張應該是數字資產管理。過去十年中,在internet上,所有的主要應用其實都是數字資產管理系統。從臉書到instagram到TikTok再到Spotify,主要都是關于數字資產的管理。
Polkadot與互操作性有關而與數字資產管理無關。如果是關于后者的話,他們應該具有明確的查詢模型,該模型適合事務語言,而這是他們缺乏的。
美國參議員ElizabethWarren質疑上市礦企Greenidge的環境足跡:12月3日消息,美國參議員ElizabethWarren在給上市公司首席執行官JeffreyKirt的一封詳細信中質疑GreenidgeGeneration(GREE)在紐約州的比特幣采礦業務的環境足跡。Warren寫信給JeffreyKirt,她擔心公司的能源使用以及對環境和消費者的影響。鑒于與比特幣采礦相關的極高的能源使用量和碳排放量,Greenidge和其他工廠的挖礦作業引發了人們對其對全球環境、當地生態系統和消費者電力成本影響的擔憂,并要求在12月17日前做出詳細回應。(FxStreet)[2021/12/3 12:48:23]
主持人:RChain區別于其它公鏈的優勢在哪里?
Greg Meredit:我可以從三個方面來闡述。第一,最終確定性狀態,這個特性可以讓新加入的節點不必往前追溯到鏈的最開始,它們只需要追溯到最近的一個最終確定性狀態,這也意味著區塊鏈的狀態可以不是永遠增長的;第二就是高性能,隨著我們解決樹結構合并問題和線程管理的優化,我們將看到高得多的性能提高;最后,正確性,通過類型系統,我們可以實現自動化的形式驗證,從而可以避免代碼層面的錯誤,比如像曾經出現的DAO bug就完全能避免。
主持人:RChain是怎樣實現數據上鏈的呢?RChain的數據存儲和IPFS之類的區別是怎樣呢?
Greg Meredit:RChain首先是一個數據庫和存儲機制。這意味著它帶有查詢語言(rholang)和事務模型。通常,互聯網已經理解了廣義“鍵/值”的概念,例如,http協議實際上只是一個通用的”鍵/值“查找協議。”鍵“就是這些URI或URL,”值“就是這些位于URI處的資源,例如網頁、API等。
這樣的協議表明”鍵“是具有結構的,它們是一種”路徑“。這對于構造對資源的訪問非常有幫助。但是,http了解您并不總是確切知道您要查找什么資源或它們在哪里。因此,存在”搜索“的概念。IPFS在成立初期就錯過了這點,并且正在極力追趕。
事實證明,這是非常基本的。任何存儲機制(您可以將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是一個社區的人們,他們認為需要做一些事情,并共同努力才能完成。
金色財經訊,近日,Second State 發布了新的 Ewasm 軟件,為以太坊開發者提供了提前開發 ETH 2.0 智能合約的必備工具.
1900/1/1 0:00:001.南美部分國家BTC周交易額增長10倍 真相如何最近包括彭博和福布斯紛紛發文表示,比特幣在減半之后將迎來下一波牛市,重回2017年牛市.
1900/1/1 0:00:004月20日,雅安日報報道,四川省雅安市市經信局、市發改委聯合印發了《關于建設水電消納示范區支持區塊鏈產業發展的實施意見》(以下簡稱:《實施意見》),旨在深化電力體制改革.
1900/1/1 0:00:00金色財經 區塊鏈4月12日訊 新冠病疫情正在改變人們的生活,也給傳統金融市場和加密貨幣市場造成了前所未有的混亂,在3月12日的“黑色星期四”時.
1900/1/1 0:00:00文章開始前,先吹波牛,走一波關注!你懂的。前期大餅崩盤前,本人在03月04日參加金色沙龍、即BTC血崩前,就看空2020減半!以及早在大半年之前,2019.09.03比特幣還是一萬刀以上的時候,
1900/1/1 0:00:00上期回顧 BTC:短期 BTC 以做多為主,止損點位為 $6,900,關注利好是否能持續發酵,目標贏利點可以放在 $7,400.
1900/1/1 0:00:00