買比特幣 買比特幣
Ctrl+D 買比特幣
ads

比特幣交易所最好的比特幣交易所

首頁 > 區塊鏈 > Info

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

Author：

Block

Time：2021/6/9 23:24:53

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

Etherscan.io推出ETH 2.0信標鏈瀏覽器BeaconScan:以太坊區塊鏈瀏覽器Etherscan.io日前宣布推出ETH 2.0信標鏈（Beacon Chain）瀏覽器BeaconScan，該瀏覽器擁有郵件提醒、儀表盤分享、多設備登陸等多個功能。

Etherscan.io表示，BeaconScan不僅僅是一個區塊鏈瀏覽器，還是ETH 2.0的第一個獨立監測服務。預計隨著0階段的接近，該瀏覽器會添加更多新的功能。[2020/7/11]

動態 | Connecting Food加入IBM區塊鏈加速器計劃:據cryptobriefing報道，巴黎創業公司Connecting Food加入了IBM區塊鏈加速器計劃，以提高消費者對食品的信任度。[2019/2/15]

動態 | 區塊鏈軟件公司ConsenSys將向雄安新區提供區塊鏈技術相關建議:據南華早報消息，根據區塊鏈軟件公司ConsenSys與雄安新區周一簽署的諒解備忘錄，ConsenSys將向雄安新區就如何使用區塊鏈技術建設智能城市、提供軟件解決方案等方面提供建議 。[2018/7/23]

MicroStrategy發行16億美元的垃圾債券來購買比特幣

6月9日消息,MicroStrategy通過發行垃圾債券籌集了16億美元,是最初金額的四倍。本周早些時候,該公司宣布將通過私募發行價值4億美元的垃圾債券,以期將所得款項用于購買比特幣.

Block Chain：2021/6/9 23:25:10
韓國首爾藝術中心員工秘密使用該中心的電力挖ETH被停職2個月

韓國首爾藝術中心的一名員工使用該中心的電力在地下室秘密挖ETH被發現。維修人員在對該中心一個很少使用的地下室進行例行檢查時,發現了兩臺ETH挖礦設備,其中包括已連接到電源插座的精密顯卡.

Block Chain：2021/6/10 23:26:17
HSC和式智能鏈已完成主網更新和去中心化錢包更新

據官方消息,HSC和式智能鏈已完成主網更新和去中心化錢包更新,新版本中實現了HSC和式智能鏈與幣安智能鏈BSC的互通橋接。截止目前,HSC和式智能鏈已實現了HSChain和Heco（火幣生態鏈）、BSC（幣安智能鏈）...

Block Chain：2021/6/8 23:21:35
HECO Grant寬限期結束 獎金現已發放

6月8日,由HECO和DoraHacks聯合發起的HECO Grant黑客馬拉松宣布為期5天的寬限期正式結束.

Block Chain：2021/6/9 23:23:42
Coinbase：并未參與追回DarkSide錢包中資金的過程

Coinbase表示,并未參與FBI沒收Darkside錢包中的虛擬貨幣的過程。此前消息,FBI發現了一個DarkSide用于向受害者收取贖金的虛擬貨幣錢包.

Block Chain：2021/6/9 23:23:48
EMOGI Network投入2000萬美元成立REVIVAL NFT基金

據官方消息,EMOGI Network投資2000萬美元成立REVIVAL NFT基金,并推出“美第奇”NFT扶持計劃.

Block Chain：2021/6/9 23:24:16
V神在對狗狗幣的投資中獲利超400萬美元

以太坊創始人V神透露,他在2016年對狗狗幣的25000美元投資中獲利超過400 萬美元,并全部捐贈給慈善機構。他還表示,DOGE成為一種流行現象,甚至有很多人聽說過DOGE而沒有聽說過以太坊,這是我沒有預料到的.

Block Chain：2021/6/9 23:23:46
LBK上線去中心化借貸平臺KIKA并支持heco提現

據官方消息,日前,LBank藍貝殼平臺治理代幣LBK上線去中心化借貸平臺KIKA并支持LBK（heco）提現。詳情見官網公告.

Block Chain：2021/6/8 23:22:22
北京商報：“碎鈔機”再現 比特幣較最高點縮水近半

北京商報今日發文表示,連日震蕩后,以比特幣為首的加密貨幣迎來新一輪跳水。6月8日,全球幣價網站CoinGecko數據顯示,加密貨幣市場一片飄紅,比特幣一度下跌至32000美元關口.

Block Chain：2021/6/9 23:23:18
美股區塊鏈板塊短線異動拉升，億邦國際、嘉楠科技均漲超10%

行情顯示,美股區塊鏈板塊短線異動拉升,第九城市漲15%,SOS、億邦國際、嘉楠科技均漲超10%.

Block Chain：2021/6/9 23:25:30
“青海要求全面關停虛擬貨幣挖礦項目”排名微博熱搜榜第11位

微博熱搜顯示,青海要求全面關停虛擬貨幣挖礦項目排名微博熱搜榜第11位.

Block Chain：2021/6/10 23:26:13
美媒：拜登與共和黨人關于基礎設施建設法案的談判已經破裂

當地時間6月8日,據美國媒體報道,美國總統拜登與共和黨參議員小組之間關于基礎設施建設法案的談判已經破裂,兩方在基礎設施構成和資金分配問題上存在嚴重分歧.

Block Chain：2021/6/9 23:22:55
ads