您现在的位置是：首页 > 快讯快讯
CertiK携手蚂蚁密算：为星绽操作系统打造“数学证明级”安全
zhoucl 2025-03-14 14:41:36 快讯 已有人查阅
导读 3月14日消息，，据网易新闻消息，Web3安全巨头CertiK与蚂蚁集团旗下的蚂蚁密算联合发布了最新研究工作，对下一代开源通用操作系统——星绽(Asterinas)——的核心组件进行了形式化验证。星绽基于Rust开发，兼容Linux应用。此项工作展示了对Rust操作系统形式化验证的重要进展，推动其安全性迈向“数学证明级”标准，并为提升下一代通用操作系统的安全性提供了新的思路。此前，CertiK已成功为蚂蚁密算的TEE平台HyperEnclave完成形式化验证。
3月14日消息，CertiK与蚂蚁集团旗下的蚂蚁密算联合发布研究进展，对下一代开源通用操作系统星绽（Asterinas）的核心组件完成形式化验证。星绽基于Rust开发，兼容Linux应用，此次验证推动其安全性达到“数学证明级”标准，为提升下一代操作系统安全提供新思路。此前，CertiK已为蚂蚁密算的TEE平台HyperEnclave完成形式化验证。
本文标签：
很赞哦！ ()
相关文章
- 瑞士联邦航空管理局（SUI）股价上涨势头强劲，逼近两个月高点——以下是2美元为何至关重要的原因
- XRP 会迎来三倍涨幅吗？谷歌趋势显示其关注度已达 32%。
- 灰度比特张力信托上线，币安官方网与欧易OKX入口助力用户参与交易
- Swap Commerce完成1亿美元C轮融资，加速全球电商后台系统布局
- Fireblocks收购TRES Finance，币安与欧易用户可关注数字资产管理新趋势
- 阿联酋拉斯海马银行获准发行迪拉姆稳定币，注册入口及APP下载指南
- EDF与droppRWA合作探索沙特能源区块链应用，注册入口及APP下载尽在币安官方网
- SEC全共和派阵容或推动加密监管利好，币安官方网与欧易OKX入口下载同步更新
随机图文
瑞士联邦航空管理局（SUI）股价上涨势头强劲，逼近两个月高点——以下是2美元为何至关重要的原因
币圈网报道： 由于人们对隐私研究和改进链上数据的兴趣重燃，瑞士股价大幅上涨。 成交量、-
XRP 会迎来三倍涨幅吗？谷歌趋势显示其关注度已达 32%。
XRP 可能即将迎来 3 倍的涨幅，因为 Google Trends 的数据显示其涨幅已飙升至 32 。 -
灰度比特张力信托上线，币安官方网与欧易OKX入口助力用户参与交易
灰度推出首个去中心化AI信托基金，比特张力代币单日暴涨10%，突破290美元。受减半机制与机 -
Swap Commerce完成1亿美元C轮融资，加速全球电商后台系统布局
全球电商后台系统服务商Swap Commerce完成1亿美元C轮融资，投资方包括DST Global和Iconi
标签云
大家喜欢
- 最高人民法院工作报告：2024年审结非法集资、洗钱等犯罪案件2.5万件，同比增长5.3%
- 金钥匙集团爆雷被立案处理侦办，董事长投资虚拟货币亏损6898万元
- EOS转型为“web3银行”并更名为Vaulta，计划推出新代币
- OKX DEX暂停聚合器交易服务进行升级
- 币安Launchpool上线Space and Time (SXT) ,使用BNB、FDUSD和USDC获得SXT
- BONK推出Meme币发行平台Letsbonk.Fun
- 火币HTX已上线MUBARAK、BMT永续合约，并启动合约交易派对
- 币安公布Alpha和合约上线代币Obol时间，积分门槛将在5月7日公布
- CZ：参与币安Alpha一个人只能有一个账号
- 特朗普及其合作伙伴从WLFI代币销售中净赚3.9亿美元