Runtime Verification 将为 Algorand 智能合约创建一个形式化框架,以改善智能合约的开发、实现、测试和验证的形式化语义方法,为开发正确构建的智能合约工具奠定基础。该框架将有助于在 Algorand 区块链上构建创新、安全和可靠的去中心化应用及去中心化金融解决方案。

Runtime Verification 入选「2.5 亿 ALGO 奖励计划」,用形式化框架赋能智能合约

2020 年 7 月 29 日 - 自从 Algorand 基金会今年启动了 「2.5 亿 ALGO 奖励计划」,世界各地的许多开发者和创新者都表示出浓厚的兴趣,并积极参与其中。经过严格审核和选拔, Runtime Verification 公司脱颖而出,成为了获得 Algorand 基金会奖励的团队之一。他们将使用 K 架构 (http://kframework.org) 为 Algorand 智能合约开发一个形式化语义框架。

Runtime Verification 致力于应用形式化方法来提高航空航天、汽车和区块链计算机系统的安全性、可靠性和准确性。它创建并使用了最好的形式化语义和运行时验证技术,以帮助开发人员提高他们对实施和工具的信任,包括语言、协议和一般计算。

该框架将改善智能合约的开发、实现、测试和验证的形式化语义方法,为开发正确构建的智能合约工具奠定基础。这些工具可以让智能合约开发者在 Algorand 平台上构建安全可靠的应用程序,并为未来架构的进一步发展创造了条件。

Runtime Verification 首席运营官 Patrick MacKay 表示:“我们很荣幸能获得 Algorand 基金会的奖励。我们坚信,通过该奖励所建立的形式化基础,将为 Algorand 智能合约环境开发、以及更广泛的区块链开发者和用户社区支持方面发挥重要作用。此外,我们一直期待和一个卓越的研究团队共事,很荣幸,在此之前我们就已与 Algorand 达成了合作。”

Algorand 基金会首席执行官 Sean Lee 表示:“我们很高兴给予 Runtime Verification 奖励支持。我们相信,为 Algorand 智能合约 (ASC1 s) 创建一个形式化框架,将有助于在 Algorand 区块链上构建创新、安全和可靠的去中心化应用及去中心化金融解决方案。

原文链接请查看:

https://algorand.foundation/rtv-foundation-grant

有关 Runtime Verification 详细信息,请访问:

https://runtimeverification.com

申请「2.5 亿 ALGO 奖励计划」,请访问:

https://algorand.foundation/grants-program

![Runtime Verification 入选「2.5 亿 ALGO 奖励计划」,用形式化框架赋能智能合约](https://img.chainnews.com/material/images/771f76bc19eb31eafb77634920c250a0.jpg)  


    加入 Algorand 官方群请扫码添加 Admin


![Runtime Verification 入选「2.5 亿 ALGO 奖励计划」,用形式化框架赋能智能合约](https://img.chainnews.com/material/images/2628b2b1a7fdd212e361562a980feb7e.jpg)

    近期文章更新




    [★](http://mp.weixin.qq.com/s?__biz=MzU2NDg4NTI5Mg==&mid=2247484386&idx=1&sn=76274c58a8f9c1e4d31aa6d2a0d4fdf8&chksm=fc4561a1cb32e8b7f12a2c62b16e14e8b3cbdbc34a2614c7ea68de3d72bbca3efb53a87884ab&scene=21#wechat_redirect) [Algorand 拍卖赎回完成:赎回的 ALGO 将从供应流通中永久销毁](http://mp.weixin.qq.com/s?__biz=MzU2NDg4NTI5Mg==&mid=2247484386&idx=1&sn=76274c58a8f9c1e4d31aa6d2a0d4fdf8&chksm=fc4561a1cb32e8b7f12a2c62b16e14e8b3cbdbc34a2614c7ea68de3d72bbca3efb53a87884ab&scene=21#wechat_redirect)

    [★](http://mp.weixin.qq.com/s?__biz=MzU2NDg4NTI5Mg==&mid=2247484386&idx=2&sn=7d5f9fd7149a70e33aa7ea010dceb45d&chksm=fc4561a1cb32e8b7ab8d2f9c732913f02f3f2f59857b1d72e44b88d05ceb0adc36ee0226efc8&scene=21#wechat_redirect) [ALGO——Algorand 公链官方加密货币](http://mp.weixin.qq.com/s?__biz=MzU2NDg4NTI5Mg==&mid=2247484386&idx=2&sn=7d5f9fd7149a70e33aa7ea010dceb45d&chksm=fc4561a1cb32e8b7ab8d2f9c732913f02f3f2f59857b1d72e44b88d05ceb0adc36ee0226efc8&scene=21#wechat_redirect)

    [★](http://mp.weixin.qq.com/s?__biz=MzU2NDg4NTI5Mg==&mid=2247484364&idx=1&sn=c0811283d52330a6372872a203e7ffa4&chksm=fc45618fcb32e899f0ebfa5d7adc48ee1d0773eabd5de4a9a6cd848328ab5f0be33c56829d62&scene=21#wechat_redirect) [Algorand 将为 Pocket Network 下一代去中心化基础设施提供原生支持](http://mp.weixin.qq.com/s?__biz=MzU2NDg4NTI5Mg==&mid=2247484364&idx=1&sn=c0811283d52330a6372872a203e7ffa4&chksm=fc45618fcb32e899f0ebfa5d7adc48ee1d0773eabd5de4a9a6cd848328ab5f0be33c56829d62&scene=21#wechat_redirect)

    [★](http://mp.weixin.qq.com/s?__biz=MzU2NDg4NTI5Mg==&mid=2247484329&idx=1&sn=efb12d06291571b7efb5f1ee186b50fe&chksm=fc4561eacb32e8fc714ca27d6533632040eb23c0b4bb8defbfa8402aa5176650dfd7060dfcb5&scene=21#wechat_redirect) [区块链独角兽 Circle 将在 Algorand 链上发行 USDC,数字美元再添领跑者](http://mp.weixin.qq.com/s?__biz=MzU2NDg4NTI5Mg==&mid=2247484346&idx=1&sn=59c5c72461901661727ad638b867f0da&chksm=fc4561f9cb32e8efba3a2da1fedec66565ace6c33e83163f8314becae19f0f7a5aa065f5a9cc&scene=21#wechat_redirect)

    [★](http://mp.weixin.qq.com/s?__biz=MzU2NDg4NTI5Mg==&mid=2247484301&idx=1&sn=569d457eef35168d658ab3b2a16b8eeb&chksm=fc4561cecb32e8d8ad21650d7d0c6efa3775d7077d1ef2452de7e8fbcc472a6fef57b9acaea5&scene=21#wechat_redirect) [Algorand 基金会与加密数据分析公司 Chainalysis 合作,加强反洗钱合规解决方案](http://mp.weixin.qq.com/s?__biz=MzU2NDg4NTI5Mg==&mid=2247484301&idx=1&sn=569d457eef35168d658ab3b2a16b8eeb&chksm=fc4561cecb32e8d8ad21650d7d0c6efa3775d7077d1ef2452de7e8fbcc472a6fef57b9acaea5&scene=21#wechat_redirect)

    [★](http://mp.weixin.qq.com/s?__biz=MzU2NDg4NTI5Mg==&mid=2247484288&idx=1&sn=f00b113882967111b700f0f2782b776e&chksm=fc4561c3cb32e8d533c84ded18147a63579d64b6bce591f864d679770da77626e2a572366fec&scene=21#wechat_redirect) [Algorand 基金会联袂无国界资本启动 Algorand 亚洲加速器计划,现已开放申请](http://mp.weixin.qq.com/s?__biz=MzU2NDg4NTI5Mg==&mid=2247484288&idx=1&sn=f00b113882967111b700f0f2782b776e&chksm=fc4561c3cb32e8d533c84ded18147a63579d64b6bce591f864d679770da77626e2a572366fec&scene=21#wechat_redirect)







    **Algorand 官方账号**




   **官网:**    

    https://www.algorand.com/    

   **基金会:**

    https://www.algorand.foundation

   **官方微博:** 
     https://weibo.com/Algorand    【ID:Algorand 官方号】

   **区块链浏览器:**

     https://algoexplorer.io/

    **INC 公示钱包地址:**

     https://www.algorand.com/resources/blog/algorand_wallets/ 

   **基金会公示钱包地址:**

     https://algorand.foundation/wallet-addresses 

    **Telegram 电报群:**    

    https://t.me/algorand 

   **官方 Bihu 论坛号:**

     https://bihu.com/people/1353848925 

    **Medium:**      


    https://medium.com/algorand    

    **Naver Blog:**   

    https://blog.naver.com/algorandmarketing 

   **领英 Linkedin:**   

    https://www.linkedin.com/company/algorand/ 

来源链接:mp.weixin.qq.com