首页
AI Coding
NEW
沸点
课程
直播
活动
AI刷题
APP
插件
搜索历史
清空
创作者中心
写文章
发沸点
写笔记
写代码
草稿箱
创作灵感
查看更多
会员
登录
注册
确定删除此收藏集吗
删除后此收藏集将被移除
取消
确定删除
确定删除此文章吗
删除后此文章将被从当前收藏集中移除
取消
确定删除
编辑收藏集
名称:
描述:
0
/100
公开
当其他人关注此收藏集后不可再更改为隐私
隐私
仅自己可见此收藏集
取消
确定
私链
订阅
阿坡
更多收藏集
微信扫码分享
微信
新浪微博
QQ
3篇文章 · 0订阅
这些智能合约漏洞,可能会影响你的账户安全!
摘要:区块链联盟链智能合约形式化验证揭秘,解释了我们为什么要对区块链上的智能合约进行形式化验证,以及形式化验证的分类和业界针对每种分类所推出的形式化验证工具,最后作者描述了一下目前形式化验证的种种方法
以太坊智能合约 + DApp 从入门到上线:来自前端工程师的实战指南 - 王仕军 | Jeth 第一期
王仕军 是掘金专栏和掘金小册作者,他著作的《区块链开发入门:从 0 到 1 构建基于以太坊智能合约的 ICO DApp》销量近千本;他创办和维护的微信公众号“前端周刊”目前有2600+订阅数;此外他还是 async/await、styled-components 高质量技术视频…
以太坊智能合约开发入门
以太坊革命性的引入智能合约,极大的拓展了区块链应用场景,同时其完善的技术生态,也降低开发应用门槛。 智能合约是由可执行的代码段组成,简单来说,我们将既定规约,用程式实现,部署在以太坊后,再由其他用户访问调用。 运转流程与AWS lambda极为相似。lambda:工程师将代码段…