BTC/HKD+0.47%
ETH/HKD+0.39%
LTC/HKD+0.65%
DOT/HKD+1.23%
ADA/HKD+0.2%
SOL/HKD+0.87%
XRP/HKD+0.81%
DOGE/US+0.38%
Runtime Verification
Runtime Verification 旨在使用 runtime verification 技術，提升軟件系統的安全性、可靠性和正確性。其團隊由這一領域的先驅與領導者組成。
Polygon（Matic）Arun Philips ：將推出三大設計提升NFT的用戶和開發者體驗:3月17日，在以《NFT賽道下，Polygon（Matic）的突破之路》為主題的AMA中，Polygon 市場部主管 Arun Philips 表示，目前 Polygon 的二層鏈已被100多個Dapp，約1000w個txns和約23w個用戶廣泛使用。一些 Dapp 項目提出了更為完備的NFT基礎架構需求，讓該基礎架構能夠支持高增長的游戲及其他項目，比如在Polygon上構建Unifty和NIFTEX的分級NFT。
Polygon 將通過允許所有主要標準的負擔得起的NFT來解決鑄造NFT成本過高的問題；在Polygon上推出的大型NFT市場包括Arkane和Opensea來解決買賣NFT成本高昂的問題；建設強大的NFT基礎設施如 NFT貸款、NFT分段化、NFT農業、多個NFT市場、NFT中間人和BulkSender等。
Huobi 戰略投資部高級投資經理 Xin表示，在NFT賽道，藝術家和藝術作品之外，最值得關注的是IP，例如NBA Topshot給FLOW帶來了巨大流量。其他方面，還有 Opensea、Rarible等交易市場作為基礎設施以及NFT與DeFi結合等場景值得關注。[2021/3/17 18:54:12]
運行時驗證 runtime verification 是一種動態軟件分析方法，可在程序執行時對其進行分析、觀察執行結果，并使用這些結果查找錯誤。
黑客攻擊游戲Runescape漏洞獲取資金以購買比特幣:黑客利用游戲Runescape的漏洞進行雙花攻擊獲取了數萬億的游戲幣，價值超25萬美元，并利用這些資金購買比特幣。據稱，Runescape發行商Jagex已經修補了Runescape的漏洞，但黑客卻仍能對Runescape 3進行類似的雙花攻擊。 對此，一些社區成員建議Jagex考慮采用比特幣或其他加密資產作為他們的游戲貨幣，并利用區塊鏈技術來抵抗雙花攻擊。（Cryptoglobe）[2020/7/13]
運行時驗證 runtime verification 比傳統的形式分析技術更輕量級，也不意味著取代傳統的基于單元的、功能和集成測試，甚至是輕量級的靜態分析工具。
行情 | BitMax交易平臺RUNE24小時漲幅超20%:據BitMax（BTMX.COM）官網顯示，截止今日10:30其平臺上RUNE24小時漲幅達20.26%。
更多詳情請您登錄BitMax平臺官網查看。[2019/12/28]
9月20日,波卡Polkadot官方社區PolkaWorld發布波卡周報。主要內容有：1.波卡2號公投,即將使驗證人數量從197人增加到236人未獲通過.
1900/1/1 0:00:00金色財經消息,根據最新發布的波卡周報,本周主要事件如下：-Parity工程師Kian更新了5月PolkadotStaking月報.
1900/1/1 0:00:00波卡 Parity發布Polkadot0.9.3版本,這是一個優先級比較高的版本。Kusama和Polkadot節點應盡快升級！https://github.com/paritytech/pol.
1900/1/1 0:00:00波卡 Parity發布?Polkadot0.9.3?版本,這是一個優先級比較高的版本。Kusama和Polkadot節點應盡快升級！https://github.com/paritytech/p.
1900/1/1 0:00:00根據PolkaWorld最新發布的波卡周報,本周重要事件包括：1.Polkadot已經更新到runtimev29；2.Polkaregistry提出的國庫議案,一個更加去中心化的注冊機器.
1900/1/1 0:00:00波卡 Parity發布?Polkadot0.9.3?版本,這是一個優先級比較高的版本。Kusama和Polkadot節點應盡快升級！https://github.com/paritytech/p.
1900/1/1 0:00:00在最新一輪融資中,區塊鏈安全審計公司RuntimeVerification籌集了530萬美元。本輪融資由IOSGVentures領投.
1900/1/1 0:00:00原文作者：Carl Hua,Shima Capital 合伙人、CTO在最近的 Curve 可重入漏洞利用之后,我回顧了我在 JPL NASA 的經歷.
1900/1/1 0:00:00重入攻擊仍然是一個挑戰,現有的防御手段主要集中在協議源代碼層面,僅在合約進入 runtime 狀態前生效「運行時保護」是 DeFi 安全的重要補充,它以「保護執行結果」為目的.
1900/1/1 0:00:00
比特幣交易所
