![](https://img-blog.csdnimg.cn/20201014180756919.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
区块链安全工具
文章平均质量分 90
DongAoTony
区块链技术爱好者、研究者与实践者
展开
-
K语言入门学习5:什么是Modules, Imports, 与 Requires
通过例子,讲解了K框架中modules、imports和requires的意义、来由,以及编译相关的选项。原创 2022-05-29 11:38:36 · 380 阅读 · 0 评论 -
K语言入门学习4:消除有歧义的解析
解释了K框架通过优先级,结合,Prefer与avoid等内置属性,如何来消除解析器在解析K框架的程序时,可能会带来歧义。原创 2022-05-22 23:23:10 · 702 阅读 · 0 评论 -
K语言入门学习3:歧义消除
这里从语言表述中可能产生歧义出发,描述了K框架中bracket和token两个属性的由来。可能整篇语言学逻辑的东西比较多,整个讲下来,大家可能不是太理解,不妨多看看视频中的例子。抓住bracket消除歧义,以及Token定义term的具体涵义的实质功能就好,后面多用K框架编写相应的行文规范,才能更好地理解本篇的内容。...原创 2022-05-15 23:40:22 · 603 阅读 · 0 评论 -
K语言入门学习2:第一个程序
我们编写了第一个K语言的定义,并进行了编译、运行等。同时讲解了理解程序会要用到的最基本的一些概念和语法。原创 2022-05-08 22:49:08 · 1393 阅读 · 0 评论 -
K语言入门学习1:环境搭建
这里讲解了K框架(K语言)的开发环境搭建。工欲善其事,必先利其器。这是一系列要求我们勤动手的教程。让我们跟着把环境搭建起来原创 2022-05-08 22:41:24 · 2915 阅读 · 0 评论 -
Securify之旅2之审计相关知识前导
从智能合约安全审计的基础知识入手,对Securify的基本工作原理,进行了讲解。原创 2022-04-17 23:19:29 · 3091 阅读 · 0 评论 -
Securify之旅1之TOD漏洞剖析
在正式开始学习分享智能合约审计工具Securify V2之前,我们先较深入剖析一下,后面会提到的漏洞类型TOD。原创 2022-04-17 23:06:29 · 5030 阅读 · 0 评论 -
Certik那些事
Certik作为区块链与智能合约的安全审计行业新秀,以其基于AI的形式化验证引擎,颇受资本和用户的关注。今天就来介绍一下它。原创 2022-03-31 16:42:21 · 5311 阅读 · 0 评论