BTC/HKD+0.72%
ETH/HKD+1.23%
LTC/HKD+4.07%
DOT/HKD+2.62%
ADA/HKD+2.4%
SOL/HKD+2.41%
XRP/HKD-0.1%
DOGE/US+1.97%
Runtime Verification
Runtime Verification 旨在使用 runtime verification 技術，提升軟件系統的安全性、可靠性和正確性。其團隊由這一領域的先驅與領導者組成。
NFT 數據分析平臺 BitsCrunch 獲得 Tykhe Block Ventures 戰略投資:金色財經報道，Tykhe Block Ventures 宣布戰略投資多鏈 NFT 數據分析平臺 BitsCrunch。Tykhe Block Ventures 表示，本次投資旨在開發安全、透明和可持續的 Web3 生態系統。[2023/1/31 11:38:35]
運行時驗證 runtime verification 是一種動態軟件分析方法，可在程序執行時對其進行分析、觀察執行結果，并使用這些結果查找錯誤。
Maker創始人Rune Christensen加入風險投資公司Dragonfly Capital:金色財經報道，穩定幣協議MakerDAO的創始人Rune Christensen已作為風險合伙人加入風險投資公司Dragonfly Capital。Christensen將同時為MakerDao項目做出貢獻并與Dragonfly合作。據悉，Dragonfly在2019年投資了Maker，還投資了1inch、Compound和Tagomi等公司。[2021/11/16 6:53:46]
運行時驗證 runtime verification 比傳統的形式分析技術更輕量級，也不意味著取代傳統的基于單元的、功能和集成測試，甚至是輕量級的靜態分析工具。
波卡周報：Polkadot更新到runtime v29 Rococo網絡重啟成功:根據PolkaWorld最新發布的波卡周報，本周重要事件包括：
1. Polkadot已經更新到runtime v29；
2. Polkaregistry提出的國庫議案，一個更加去中心化的注冊機器，已經被Polkadot理事會通過；
3. 波卡理事會通過了PolkaWorld提出的開發中文網站的國庫申請；
4. OpenSquare提出的將doTreasury集成到波卡的國庫議案正在討論中；
5. Polkadot目前staking率是64.1%，最小提名DOT數是226 DOT；
6. Rococo網絡在這周重啟成功，目前包括了插槽，拍賣，Crowdloan，注冊等所有必要的平行鏈基礎模塊。隨著這些基礎模塊的添加，平行鏈的拍賣和眾貸功能已經在Polkadot-JS上開始測試。目前Acala的測試網Mandala PC2（id 666）贏得Rococo上的第一個平行鏈插槽拍賣，Plasm贏得了Rococo上的第二個平行鏈插槽。此外，Phala、ChainX、Zenlink等生態項目還在進行新一輪的拍賣。[2021/3/28 19:24:14]
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
以太幣交易所
