律动 萌币圈消息，7 月 29 日，Runtime Verification 从多家公司中脱颖而出，成为了获得 Algorand 基金会奖励的团队之一。他们将使用 K 架构 (http://kframework.org) 为 Algorand 智能合约开发一个形式化语义框架。 Runtime Verification 致力于应用形式化方法来提高航空航天、汽车和区块链计算机系统的安全性、可靠性和准确性。它创建并使用了形式化语义和运行时验证技术，以帮助开发人员提高他们对实施和工具的信任，包括语言、协议和一般计算。 据律动 萌币圈之前消息，今年 4 月 30 日，Algorand 基金会今年启动了「2.5 亿 ALGO 奖励计划」，用于奖励在应用开发、工具及基础设施、研究创新、教育及社区参与方面的工作。该计划将持续运行，以激励创新发展，推动建设一个生机勃勃、欣欣向荣的多样化生态系统。