BTC/HKD+0.54%
ETH/HKD-0.26%
LTC/HKD-0.77%
DOT/HKD+0.06%
ADA/HKD-0.89%
SOL/HKD-0.54%
XRP/HKD+2.9%
DOGE/US+1.46%
Runtime Verification
Runtime Verification 旨在使用 runtime verification 技術，提升軟件系統的安全性、可靠性和正確性。其團隊由這一領域的先驅與領導者組成。
波卡周報：Polkadot 65號公投已投票通過并執行，將升級到runtime v9220:金色財經消息，根據最新發布的波卡周報，本周主要事件如下：
- Parity工程師Kian更新了5月Polkadot Staking月報。在這次的更新中，提名池可以進行凍結，并且管理者是可以選擇的，也就是說，提名池可以由治理控制。Kusama正在向不同的提名池用戶提供打賞；
- Polkadot第19次插槽Auction在6月12日下午16:00左右結束。Coinversation 贏得本次插槽的租賃使用期；
- Polkadot 65號公投已經投票通過并執行，該議案將Polkadot升級到runtime v9220；
- Polkadot理事會通過了Motion 209到Motion 213的所有議案，這些議案旨在資助不同的Polkadot Decoded周邊活動；
- Kabocha贏得Kusama第38次插槽Auction；
- Kusama第39次插槽Auction將在6月13日早上6點左右結束。目前在蠟燭期領先的是Tanganika；
- Kusama第205號公投正在通過中，該議案旨在重置Pichiu網絡的創世狀態和runtime；
- Kusama第206號公投正在通過中，該議案將Kusama升級到runtime v9230。（PolkaWorld）[2022/6/13 4:20:50]
運行時驗證 runtime verification 是一種動態軟件分析方法，可在程序執行時對其進行分析、觀察執行結果，并使用這些結果查找錯誤。
前TechCrunch日本總編：數字貨幣經濟正在悄然發展:前TechCrunch西村賢今日（6月17日）發布推文稱，數字貨幣經濟正在悄然進行，但仍是一場偉大的辯論。Iwashita博士對ICO和Bic Camera BTC支付的批判是正義的。然而即使現在的證券市場起初也出現了欺詐行為。[2018/6/17]
運行時驗證 runtime verification 比傳統的形式分析技術更輕量級，也不意味著取代傳統的基于單元的、功能和集成測試，甚至是輕量級的靜態分析工具。
法國財長Bruno Le Maire：法國不會錯過區塊鏈革命:法國財政部長Bruno Le Maire日前在接受媒體采訪時表示，他希望法國能走在加密貨幣領域的前沿。他表示，法國已在金融科技領域占據全球領先地位，更具體地說是在眾籌和區塊鏈方面，所以，“為什么要就此止步呢？”在G20峰會召開前，Le Maire還發推稱，“法國不會錯過區塊鏈革命！”[2018/3/25]
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
加密貨幣交易所
