runtime

首页 > runtime

2021-11-26

Calamari Network已完成runtime升级和众贷奖励代币$KMA分发

11月26日消息，Manta Network先行网Calamari Network已完成runtime升级和众贷奖励代币$KMA分发，此次分发的众贷奖励包括首次释放的34%和第一个8周分批释放的11%。据悉，$KMA将于香港时间11月29日10点登陆Kucoin等交易所开启交易。

2021-06-19

Runtime Verification完成530万美元融资，IOSG Ventures领投

Elrond Dev Toolkit开发商Runtime Verification完成530万美元融资，IOSG Ventures领投，Fenbushi Capital、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research和Tezos Foundation参投。募集的资金将用于加速工具的开发，旨在提高不同区块链和嵌入式系统的安全性、可靠性和正确性。

2021-06-19

Runtime Verification融资530万美元

官方消息，Elorand 开发工具包开发商 Runtime Verification已筹集了530万美元的资金。本轮融资由IOSG Ventures 领投，其他投资者还包括Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research 和 Tezos Foundation等。（U.Today）

2021-06-01

波卡周报：Kusama Runtime已成功升级v9030，目前Shell运行稳定

波卡周报显示，Kusama理事会已经投票通过299号motion（将Kusama的runtime升级到9030）并进入全民公投，之后技术委员会对此进行了加速投票，已经在本周五结束投票！目前Kusama的runtime已升级到v9030。这个升级为平行链添加了一些必要的更改。此版本升级后，Shell平行链运行稳定。

2021-04-01

Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问

金色财经消息，伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore?Rosu正式出任PlatON技术顾问，将在协议建模和智能合约的形式化验证等领域为PlatON提供助力，帮助团队更好地构建PlatON Network技术生态。 Rosu教授是科技企业Runtime Verification的创始人兼首席执行官。曾任美国国家航空航天局（NASA）研究科学家，期间与同事一起开创了"运行时验证"这一前沿理念。2010年，创立Runtime Verification，企业拥有世界顶尖的形式化验证团队，专注于区块链领域提供软件测试和验证方面的产品与服务，运用独特的动态验证技术来审核虚拟机和公链上的智能合约，全面提升区块链软件系统的安全稳定性。

2021-03-28

波卡周报：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等生态项目还在进行新一轮的拍卖。