【区块链】智能合约:架构及进展
产业智能官
4+阅读 · 2020年7月27日
让黑客从良?一种无法被黑客攻破的技术?!
硅谷第一线
0+阅读 · 2018年3月13日
Thinking Above Code:TLA+ 思维概述
InfoQ
0+阅读 · 2021年12月9日
形式化验证工具TLA+:程序员视角的入门之道
阿里技术
0+阅读 · 2021年10月22日
区块链安全公司CertiK正式加入通用协议联盟
硅谷第一线
0+阅读 · 2019年2月23日
20亿EDU币被盗?形式化验证一键检错!
硅谷第一线
2+阅读 · 2018年5月24日
拿什么来保护你,我的币?
硅谷第一线
0+阅读 · 2018年5月12日
智能合约的形式化验证方法研究综述
专知
15+阅读 · 2021年5月8日
参考链接
微信扫码咨询专知VIP会员