4月30日19:00,RChain 創始人Greg Meredith做客MXC抹茶社區,就“RChain 升級主網后的發展之路”進行干貨分享。
以下為Greg Meredith分享實錄:
主持人:歡迎Greg來我們MXC抹茶社區,可以簡單介紹一下您的背景嗎?
Greg Meredith:感謝您給我介紹RChain的機會。對我來說,我更愿意談論RChain這個項目和社區,而不是我自己。我是一個數學家、音樂家、父親、養蜂人以及其它一些身份,但是大多數情況下,我是一個關心地球的人,就像其他許多人那樣。我知道我們為解決氣候變化的影響而采取的行動太慢了,我相信區塊鏈技術如果可以擴展的話,可以使人們能夠應對挑戰,而不必完全等待政府或行業。
主持人:我們知道RChain最近已經主網上線,這對于項目來說是一個全新的階段,RChain是一個以技術為核心的公有鏈,因此我們今天也會更關注于技術方面,并且回答來自社區的一些問題。RChain主網上線后,技術方面的短期、中期、長期規劃是怎樣的?
Cream Finance黑客將365.7 ETH轉入TradeOgre,1月迄今已轉移超2000枚ETH:金色財經報道,據PeckShieldAlert披露數據顯示,利用 Cream Finance 漏洞實施攻擊的黑客再次轉移資金,據該黑客標記地址顯示,目前已將 365.7 ETH(約合 60 萬美元)轉入 TradeOgre。自 2023 年 1 月以來,這個黑客總計將 2070 枚 ETH 轉入 TradeOgre,價值達到 326 萬美元。[2023/1/30 11:36:04]
Greg Meredit:我們短期的目標是要打開目前的網絡瓶頸,主要包括優化三個方面:短期其目標,需要對RChain最后的狀態進行確定,樹狀結構的合并以及線程管理的優化;中期目標是要發展生態,將支持至少4個高交易量而低風險的項目在RChain上發展;長期目標將集中于LADL和平臺層的商業化。
具體說來,通過LADL我們可以為眾多編程語言和虛擬機自動生成類型系統,這意味著眾多區塊鏈平臺上的智能合約將自動獲得更強的安全性。
其次,我們還能在廣泛的執行環境中生成Casper實例化,這意味著區塊鏈平臺能以快得多的速度運行,并且擁有最終狀態的確定性和更好的安全性。
金融科技公司Brex以123億美元估值完成3億美元融資,Greenoaks領投:10月22日消息,知情人士透露,美國金融科技公司Brex以123億美元估值完成了3億美元融資,Greenoaks領投,原有投資者參投。該公司于4月完成4.25億美元D輪融資,Tiger Global領投。迄今已完成15億美元股權和債務融資。Brex于2017年創立于舊金山,為初創企業提供智能化低門檻的信用卡服務,幫助解決此類企業難以滿足傳統銀行企業信用卡申請條件的問題。此前,Brex已向聯邦存款保險公司(FDIC)和猶他州金融機構部(UDFI)提交成立Brex銀行的申請,但8月已撤回申請,表示將在修改后重新提交。(TechCrunch)[2021/10/22 20:48:05]
最終,你將可以一鍵生成一個高性能的區塊鏈平臺。這就意味著平臺層將不會特別昂貴,從而將價值賦予社區、網絡效應和平臺上的應用生態。
主持人:如果我們可以一鍵生成區塊鏈平臺那將是非常有趣的事情。我們也看到一些區塊鏈也聲稱類似的功能,比如波卡。您能將兩者做一個比較嗎?
Greg Meredit:我還沒有看到Polkadot提出這一主張,他們的主張是將不同的區塊鏈連接在一起。他們還將平臺視為商品,但是互操作性只是下一個價值主張的開始。
Greenidge Generation將在南卡羅來納州設立比特幣挖礦設施:金色財經報道,比特幣礦商Greenidge Generation表示計劃通過在南卡羅來納州斯帕坦堡增加一個設施來擴大其比特幣采礦業務。該公司已經在紐約開展業務。新地點原為印刷廠,將于今年晚些時候或2022年初開始挖礦。Greenidge Generation表示,致力于在運營中實現“環境領先”,其三分之二的電力來自核電等零碳資源。[2021/7/3 0:24:04]
而真正的下一個價值主張應該是數字資產管理。過去十年中,在internet上,所有的主要應用其實都是數字資產管理系統。從臉書到instagram到TikTok再到Spotify,主要都是關于數字資產的管理。
Polkadot與互操作性有關而與數字資產管理無關。如果是關于后者的話,他們應該具有明確的查詢模型,該模型適合事務語言,而這是他們缺乏的。
主持人:RChain區別于其它公鏈的優勢在哪里?
Greg Meredit:我可以從三個方面來闡述。第一,最終確定性狀態,這個特性可以讓新加入的節點不必往前追溯到鏈的最開始,它們只需要追溯到最近的一個最終確定性狀態,這也意味著區塊鏈的狀態可以不是永遠增長的;第二就是高性能,隨著我們解決樹結構合并問題和線程管理的優化,我們將看到高得多的性能提高;最后,正確性,通過類型系統,我們可以實現自動化的形式驗證,從而可以避免代碼層面的錯誤,比如像曾經出現的DAO bug就完全能避免。
DeFi貸款協議Greenwood籌集200萬美元種子輪融資:DeFi借貸協議Greenwood在由Polychain Capital牽頭的種子輪融資中籌集了200萬美元。其他參與的投資者包括Blockchain Capital,Robot Ventures和Divergence Ventures。[2021/4/2 19:39:39]
主持人:RChain是怎樣實現數據上鏈的呢?RChain的數據存儲和IPFS之類的區別是怎樣呢?
Greg Meredit:RChain首先是一個數據庫和存儲機制。這意味著它帶有查詢語言(rholang)和事務模型。通常,互聯網已經理解了廣義“鍵/值”的概念,例如,http協議實際上只是一個通用的”鍵/值“查找協議。”鍵“就是這些URI或URL,”值“就是這些位于URI處的資源,例如網頁、API等。
這樣的協議表明”鍵“是具有結構的,它們是一種”路徑“。這對于構造對資源的訪問非常有幫助。但是,http了解您并不總是確切知道您要查找什么資源或它們在哪里。因此,存在”搜索“的概念。IPFS在成立初期就錯過了這點,并且正在極力追趕。
人物 | Veronica McGregor擔任ShapeShift新首席法律官:據Bitcoin Exchange Guide消息,全球頂級虛擬資產公司之一的ShapeShift AG已任命Veronica McGregor為其新的首席法律官。Veronica是Fintech的法律專家,其任命自2018年8月27日起生效。[2018/9/6]
事實證明,這是非常基本的。任何存儲機制(您可以將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是一個社區的人們,他們認為需要做一些事情,并共同努力才能完成。
金色財經 區塊鏈4月13日訊 作為加密貨幣行業里精準價格模型之一stock-to-flow的創建者、同時也是業內最知名的匿名市場分析師.
1900/1/1 0:00:004月17日,新加坡稅務局(IRAS)發布最新《關于數字貨幣的所得稅課稅指南》(下稱《指南》)。關于初始代幣發行(1CO)稅務處理,《指南》指出,代幣的發行方通常使用1CO來交換其他支付性代幣(比.
1900/1/1 0:00:00金色財經近期推出金色硬核(Hardcore)欄目,為讀者提供熱門項目介紹或者深度解讀。按:“不要信,去驗證。(Don’t trust, verify)”、“不掌握私鑰,就不是你的幣.
1900/1/1 0:00:00據比推數據,市值最大的加密貨幣比特幣周三大幅上漲連續突破8000美元和9000美元,不過在周四日間有所回落.
1900/1/1 0:00:00文章系金色財經專欄作者幣圈北冥供稿,發表言論僅代表其個人觀點,僅供學習交流!金色盤面不會主動提供任何交易指導,亦不會收取任何費用指導交易,請讀者仔細甄別,謹防上當.
1900/1/1 0:00:00狂人說 昨天看到比特幣迅速上漲,狂人再一次深度思考了央行數字貨幣是否對比特幣有影響,結論是,有,而且是深遠且重大的.
1900/1/1 0:00:00