火星链 火星链
Ctrl+D收藏火星链

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

作者:

区块链

时间:2021/4/1 19:36:29

金色财经消息,伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore?Rosu正式出任PlatON技术顾问,将在协议建模和智能合约的形式化验证等领域为PlatON提供助力,帮助团队更好地构建PlatON Network技术生态。

Rosu教授是科技企业Runtime Verification的创始人兼首席执行官。曾任美国国家航空航天局(NASA)研究科学家,期间与同事一起开创了“运行时验证”这一前沿理念。2010年,创立Runtime Verification,企业拥有世界顶尖的形式化验证团队,专注于区块链领域提供软件测试和验证方面的产品与服务,运用独特的动态验证技术来审核虚拟机和公链上的智能合约,全面提升区块链软件系统的安全稳定性。

去中心化体育预测市场Frontrunner完成475万美元融资:金色财经阿伯丁,基于Injective的去中心化体育预测市场Frontrunner完成475万美元种子轮融资,Susquehanna Private Equity Investments领投,SOMA Capital、Toy Ventures、Ledger Prime、WAGMI Ventures等参投。

据悉,Frontrunner将融资资金用于产品开发、团队发展和获得许可证。(The Block)[2022/12/15 21:45:13]

NFT平台bitsCrunch加入万事达卡的Start Path加密计划:4月7日消息,NFT平台bitsCrunch已加入万事达卡的Start Path加密计划。今年第二季度,bitsCrunch将获得万事达卡的咨询、营销和咨询支持。此前去年7月份消息,万事达卡为初创企业推出Start Path加密货币和区块链计划。(U.today)[2022/4/7 14:09:10]

MXC抹茶6月25日20:00上线BAL、KEEP、RUNE杠杆交易,支持3倍杠杆:官方公告,MXC抹茶6月25日20:00上线BAL/USDT、KEEP/USDT、RUNE/USDT杠杆交易对,支持3倍杠杆做多、做空双向交易。MXC抹茶杠杆交易是目前全网可交易币种最多的平台,现支持79个币种,采用逐仓保证金模式,支持2-10倍杠杆,支持自动借币、还币功能,下单、撤单即可完成借币、还币。4月1日,MXC抹茶上线新版现货杠杆交易系统,大幅优化深度、盘口价差、借贷效率及撮合效率等交易体验。详情见原文链接。[2020/6/25]

相关资讯
Cook Protocol(COOK)今日于三大DEX开启交易

3月31日消息,Cook Protocol首发代币COOK于今日12:00于三个去中心化交易平台开放交易(Uniswap, Pancakeswap, Mdextech),开盘价格为0.03 USDT,最高涨至0.83...

区块链:2021/4/1 19:36:44
XLM跌破0.4美元关口 日内跌幅为0.58%

欧易OKEx数据显示,XLM短线下跌,跌破0.4美元关口,现报0.39987美元,日内跌幅达到0.58%,行情波动较大,请做好风险控制。 XLM突破0.5美元关口 日内涨幅为17.36%:欧易OKEx数据显示...

区块链:2021/3/31 19:31:33
FIL突破140美元关口 日内涨幅为11.37%

火币全球站数据显示,FIL短线上涨,突破140美元关口,现报140.3577美元,日内涨幅达到11.37%,行情波动较大,请做好风险控制。 Filecoin网络目前总质押量约为5407万枚FIL:据IPFS1...

区块链:2021/3/31 19:31:18
九城公布1.25亿美元融资交易

官方消息, “九城”今日宣布,已经与Maxim Group LLC(简称“Maxim”或“承销商”)签订了一份股份承销协议。根据该协议,承销商将以每股33.20美元购买九城3,765,100股美国存托股(“ADS”)...

区块链:2021/3/31 19:34:22
Pippi Finance与MDEX达成合作,上线MDX-HT LP参与流动性挖矿PIPI

据官方消息,Pippi Finance与MDEX达成合作,Pippi Finance将于3月31日20:00(UTC+8)上线MDX-HT矿池的流动性质押挖矿。用户质押MDX-HT的LP Token参与流动性挖矿PI...

区块链:2021/3/31 19:33:09
通用汽车考虑使用比特币作为付款方式

3月30日消息,汽车制造商通用汽车(General Motors)正在考虑使用比特币作为其服务的付款方式。在2020年第四季度财报会议上,首席执行官Mary Barra建议该公司考虑以比特币付款的购买方式。(Insi...

区块链:2021/3/30 19:29:49
火币OTC风控升级 T+N限时限额提币功能覆盖新老用户

据官方消息,火币OTC风控近日再次迎来升级,平台线上共运行9条限时限额处置的相关策略,完整覆盖新老用户全站行为,截至目前,用户触发限额限额提醒量级已提升至约10000人/天。 根据火币“T+N”新规,平台每...

区块链:2021/3/30 19:29:52
Aave与Polygon合作以解决以太坊拥堵问题

金色财经报道,去中心化金融(DeFi)公司Aave正在与Polygon(前身为Matic)合作,以解决当前在第二大公共区块链上遇到的拥堵问题。Aave将与Polygon一起探索可扩展侧链,以躲避以太坊目前存在的高额交...

区块链:2021/4/1 19:34:28
火币全球站MDX 24小时成交额突破12.61亿

据火币全球站数据显示,截止今日8:30,MDX24小时成交额突破12.61亿,现报价4.08美元,位列成交额榜第六。 公告 | 火币全球站将于今日15:00上线BCH/HUSD交易:据官方公告,火币全球站定于...

区块链:2021/3/31 19:31:51
DuckDAO将加入Collateral顾问委员会

作为Collateral的私募投资方,DuckDAO将加入Collateral的顾问委员会。据悉,Collateral是波卡上的DeFi支付门户。 MXC抹茶即将上线DUCK并开放USDT交易:据官方公告,1...

区块链:2021/3/31 19:32:42
Bitfinex即将上线BMI,目前已开放存款

Bitfinex官方宣布,即将上线BridgeMutual(BMI)交易,目前已开放存款,交易和取款将于4月2日12:00PM(UTC)开放。 Bitwise 10 加密指数基金新增入选 UNI 和 AAVE...

区块链:2021/3/31 19:33:57
BAGS突破230美元关口 日内涨幅为13.53%

火币全球站数据显示,BAGS短线上涨,突破230美元关口,现报230.0101美元,日内涨幅达到13.53%,行情波动较大,请做好风险控制。 BAGS突破330美元关口 日内涨幅为6.15%:火币全球站数据显...

区块链:2021/3/30 19:29:02