Conflux研究總監楊光：好的編程范式可以讓智能合約更容易被形式化驗證，從而更安全

金色財經報道，6月9日，Conflux研究總監楊光做客金色財經舉辦的“Web3.0-從信息交互到萬物互聯還要走多久？”為主題的金色沙龍第63期活動。楊光表示如果將區塊鏈網絡作為Web3.0基礎設施，那么跨鏈協議是必備的，信息和資產需要在不同的區塊鏈網絡之間流動。其實跨鏈分很多個層次，信息跨鏈、資產跨鏈、智能合約的跨鏈互操作等等，難度是依次遞增的。與之配套的還有各種數據格式、接口、通訊協議等等，甚至是統一的智能合約語言和編程范式。好的編程范式可以讓智能合約更容易被形式化驗證，從而更安全；也可以讓合約在執行時候更容易實現并行化，優化性能和成本。

Convex Finance鎖倉量突破200億美元，創歷史新高:金色財經報道，據DeFi Llama數據顯示，收益聚合器項目Convex Finance總鎖倉量突破200億美元，創歷史新高，現為201.2億美元，位居所有DeFi應用第二名。[2022/1/2 8:19:27]

動態 | ConsenSys推出以太坊生態激勵計劃:據ambcrypto消息，區塊鏈公司ConsenSys的首席營銷官Amanda Gutterman最近在Twitter上發布該公司宣布Devcon4的撥款計劃。Joseph Lubin宣布，如果他們在以太坊生態系統內開發的項目，如基礎設施，可用性，互操作性，研究等，那么將獲得50萬美元的獎勵。[2018/11/3]

金色財經實時播報 到訪全球最大的區塊鏈創業工作室ConsenSys:金色財經與The blockchainer、西垚咨詢聯合前往美國、加拿大考察。美國時間1月23日上午，金色財經到訪了世界一流區塊鏈技術研發企業，美國區塊鏈巨頭，微軟區塊鏈戰略合作伙伴ConsenSys。ConsenSys是企業生產工作室和定制軟件開發的咨詢公司，搭建去中心化應用（DApps）、企業解決方案和區塊鏈生態開發者工具，主要核心是以太坊，基于智能合約和加密技術，該工作室的應用程序可以提供區塊鏈解決方案獨有的透明性、可審計性、不可篡改性。根據consensys技術和市場主管的講解，目前consensys在舊金山有三十七位成員。其業務分為兩條線，一方面孵化一些新銳企業，另外一方面為一些大企業做咨詢服務。據悉該公司剛剛幫新加坡監管局建立了清算系統。他們的產品實際可以操作，但是還沒有得到大規模的推廣，目前在迪拜和瑞士進行測試。他們同樣也提倡開源的項目。[2018/1/25]