HillaryMurimi/Smart-Contract-Security-course-walkthrough-by-Cyfrin-Updraft

REMIX 默认工作区 Remix 默认工作区会在以下情况下出现： i. Remix 首次加载时 ii. 使用 'Default' 模板创建一个新工作区时 iii. 文件浏览器中不存在任何文件时 此工作区包含 3 个目录： 1. 'contracts'：包含三个复杂度递增的合约。 2. 'scripts'：包含四个用于部署合约的 typescript 文件。具体说明见下文。 3. 'tests'：包含一个用于 'Ballot' 合约的 Solidity 测试文件和一个用于 'Storage' 合约的 JS 测试文件。 SCRIPTS 'scripts' 文件夹包含两个 typescript 文件，它们有助于使用 'ethers.js' 库部署 'Storage' 合约。 要部署任何其他合约，只需在 `deploy_with_ethers.ts` 文件中将合约名称从 'Storage' 更新为所需的合约，并相应地提供构造函数参数即可。 在 'tests' 文件夹中，有一个包含针对 'Storage' 合约的 Mocha-Chai 单元测试的脚本。 要运行脚本，请在文件浏览器中右键单击文件名，然后单击 'Run'。请注意，Solidity 文件必须已经编译完成。 脚本的输出将显示在 remix 终端中。 请注意，Remix 对 require/import 的支持仅限于其支持的模块。 目前，Remix 支持的模块为 ethers、swarmgw、chai、multihashes、remix 和 hardhat（仅限 hardhat.ethers 对象/插件）。 对于不支持的模块，将抛出如下错误并显示：“' module require is not supported by Remix IDE'”。

标签：Web3安全, 以太坊, 形式化验证, 智能合约, 服务器监控