Slither是一种基于静态分析的漏洞扫描框架，用于检测Solidity智能合约中的安全漏洞。 Slither框架具有以下特点和功能：

1. 静态分析：Slither通过对Solidity源代码进行静态分析，而不需要实际执行合约，可以在合约部署之前发现潜在的漏洞和安全问题。 2.多种漏洞检测：Slither内置了多种漏洞检测插件，包括但不限于：可重入漏洞、整数溢出/下溢漏洞、未初始化变量漏洞、权限问题等。 3.高度可配置：Slither提供了丰富的配置选项，可以根据具体需求选择性地启用或禁用特定的漏洞检测插件，以及设置警告级别和输出格式。 4.可扩展性：Slither的设计允许开发人员编写自定义的漏洞检测插件，以满足特定合约的需求或发现新的漏洞类型。 5.详细报告：Slither生成详细的报告，包括每个漏洞的位置、类型、修复建议等信息，帮助开发人员快速定位和解决问题。

1 本专栏适合什么样的朋友学习？

本专栏适合对Rus语言大致了解的朋友学习，最好是有一点点语法基础。对于从未接触过Rust语言的朋友，可能会遇到一些生僻的知识点，但是强行啃也是没问题的。语言是相通的

2 如何学习本专栏？

本专栏对内容的介绍会长期更新下去，所以最好的学习的方式是跟着专栏，一步一步持续前进

3 学习本专栏可以获得什么？

Rust作为一门系统级别的语言，也是近20年来各类编程语言的集大成者，学习本专栏可以让你掌握众多语言的优秀特性，另外，Rust也会让你无限接近问题的本质，让你的知识基础更加牢固

Rust 是一门系统级编程语言，被设计为保证内存和线程安全，并防止段错误。作为系统级编程语言，它的基本理念是 “零开销抽象”。理论上来说，它的速度与 C / C++ 同级。 学好Rust才能进一步学习Substrate开发区块链，Substrate是一个用于构建区块链的开源的、模块化的和可扩展的区块链开发框架。

道易程是以太坊的通证经济和dApp的公共治理层。 道易程原创的治理共识为价值证明（PoV, Proof-of-Value） 道易程将要带来交易和支付的革命，将要掀起智能公器（公共dApp）的大发展时代！

你能学到什么？我们通过不断增加功能需求，引入新的知识点，具体如下：

第一节：世界杯竞猜业务： 主要讲solidity合约语法，在remix实现合约逻辑，并完成基本测试。

第二节：工程化管理： 介绍hardhat框架的使用，在框架中完成合约编译、部署、verify、单元测试等。

第三节：Token协议： 主要介绍token协议：ERC20、ERC721、ERC1155，后两者就是我们常说的NFT，从而为后续经济激励做铺垫。

第四节：系统优化： 学习subgraph，为系统的性能、功能做升级。

第五节：如何空投： 使用MerkelTreee完成airdrop Token

第六节：合约升级： 成合约升级技能，数据业务分离

第七节：质押挖矿： 学习staking相关知识点。

第八节：链下授权： 了解permit相关知识点，approve+transferFrom一笔完成。

第九节：引入后台server，从而学习如何使用server调用合约。

第十节：个人中心： 与链下server结合，展示个人主页。

其他待定...（这个项目应该会一直维护，可以做很久）

EVM（ ETHEREUM VIRTUAL MACHINE ) ：以太坊虚拟机， 是智能合约的执行环境，现在已经超越了以太坊网络， 成为一个链上程序执行的标准。

不仅诞生了很多 EVM 兼容链，如 BNB Chain、Polygon、Gnosis Chain 、Arbitrum（Layer2）、Optimism（Layer2） 等，很多异构的区块链，如FileCoin、Solana、Near、Nervos 等公链也在与各种方式兼容 EVM。

在智能合约领域，以太坊虚拟机以及其算法和数据结构是第一性原理，不管是智能合约开发人员还是安全审计人员，理解 EVM 运行 是进阶高手的必修课。

开一个专栏探索一下 EVM， EVM 谜题是一个由Franco Victorio (@fvictorio_nan)开发的项目，如果你正想学习以太坊 EVM的工作原理，那么这个专栏就非常合适你。

EVM 谜题一共会包含 10 道谜题，每个谜题会包括一些操作码，解题要求我们理解操作码，并发送正确的数据给合约，确保交易不会回退。

通过这些 EVM 谜题的学习，我们可以更深入的了解 EVM 是如何运行的。

和上一个专栏一样， 我会把一些破解文章设置为收费文章（每篇文章为 2 元， 10 个学分），但随着文章的发布，会逐步提升价格，所以朋友们尽快订阅哦，以最少的费用阅读所有的文章。

该系列文章主要讲述Web3工程如何实现规范化，工程化方案。偏向于具有Solidity基础，或者Nodejs基础的开发人员，协助并指导开发人员编写具有可协作性的工程项目。该系列文章将会从浅到深，逐步拆解并且指导开发人员，部署，测试，并且尝试开发一个多DEFI项目组合的应用。

作者：Box, 推特:@BoxMrChen

登链社区应该有很多同学知道 Ethernaut ， 他是OpenZeppelin创建的一个闯关网站（CTF），里面包含了很多的智能合约相关的安全问题，每个问题是一个关卡，你需要”黑掉“合约，才可以突破关卡。

通过闯关学习，可以很好的提升智能合约的认知与安全技能，帮助我们写出优秀的智能合约代码， 尤其是对于安全审计人员来说是一个很不错的学习资源。

本题库闯关专栏一共会包含 24 道闯关题，部分闯关文章会象征性设置为收费文章（每篇文章不高于 1 元），但随着文章的发布，会逐步提升价格，最终订阅价格是 100 个学分，所以朋友们尽快订阅哦，以最少的费用阅读所有的文章。

SharkTeam是领先的Web3安全服务提供商，提供智能合约审计、链上分析和应急响应服务。 Web:www.sharkteam.org TG: https://t.me/sharkteamorg Twitter: https://twitter.com/sharkteamorg