Runtime Verification

Runtime VerificationSubstrate

提升软件系统的安全性、可靠性和正确性。

Runtime Verification简介

Runtime Verification 旨在使用 runtime verification 技术，提升软件系统的安全性、可靠性和正确性。其团队由这一领域的先驱与领导者组成。

新加坡NFT体育平台XRUN被一支东南亚加密货币基金全额收购:金色财经报道，2022年4月成立的新加坡NFT体育平台XRU已被一家东南亚加密货币基金全额收购，该基金还参与了XRUN的新一轮战略融资，但具体收购交易条款和金额、以及收购方信息暂未公开披露。XRUN此前募集到数百万美元融资，其投资方包括新加坡Bitin Capital、BlockACE Capital、韩国Block Patch、英国Skyline Capita等，据悉本次交易完成后，XRUN品牌将会升级为FitVerse运动健康元宇宙。（cryptosaurus）[2023/4/24 14:24:20]

运行时验证 runtime verification 是一种动态软件分析方法，可在程序执行时对其进行分析、观察执行结果，并使用这些结果查找错误。

攻击者向以太坊地址空投UniH以窃取RUNE代币:攻击者正在加密空间中执行一种罕见的攻击类型。据悉，攻击者向至少76,000个以太坊地址空投UniH代币。目的是让接收者看到这些免费代币并尝试在去中心化交易所出售它们。但是这些代币带有恶意合约，一旦收币人出售了他们新收到的UniH代币（甚至只是批准出售），那么犯罪者将可以窃取他们钱包中拥有的任何Thorchain (RUNE)代币。迄今为止，该攻击已窃取了76,000美元的代币，而且仅仅持续了几个小时。（The Block）[2021/7/24 1:13:02]

运行时验证 runtime verification 比传统的形式分析技术更轻量级，也不意味着取代传统的基于单元的、功能和集成测试，甚至是轻量级的静态分析工具。

Polygon（Matic）Arun Philips ：将推出三大设计提升NFT的用户和开发者体验:3月17日，在以《NFT赛道下，Polygon（Matic）的突破之路》为主题的AMA中，Polygon 市场部主管 Arun Philips 表示，目前 Polygon 的二层链已被100多个Dapp，约1000w个txns和约23w个用户广泛使用。一些 Dapp 项目提出了更为完备的NFT基础架构需求，让该基础架构能够支持高增长的游戏及其他项目，比如在Polygon上构建Unifty和NIFTEX的分级NFT。

Polygon 将通过允许所有主要标准的负担得起的NFT来解决铸造NFT成本过高的问题；在Polygon上推出的大型NFT市场包括Arkane和Opensea来解决买卖NFT成本高昂的问题；建设强大的NFT基础设施如 NFT贷款、NFT分段化、NFT农业、多个NFT市场、NFT中间人和BulkSender等。

Huobi 战略投资部高级投资经理 Xin表示，在NFT赛道，艺术家和艺术作品之外，最值得关注的是IP，例如NBA Topshot给FLOW带来了巨大流量。其他方面，还有 Opensea、Rarible等交易市场作为基础设施以及NFT与DeFi结合等场景值得关注。[2021/3/17 18:54:12]

标签：安全 Substrate Runtime Verification