RaresGeo/isolated-smart-contract-audit

# Oasys Docker Swarm 该项目被称为 Oasys 引擎，负责在隔离环境中为智能合约提供编译和审计支持，以保障安全性。 ## 前置条件 要运行该项目，您需要在计算机上安装以下内容： - Docker - Make ## 快速开始 要开始使用该项目，请按照以下步骤操作： # ### 设置网络和环境 1. 使用 Makefile 自动创建 Docker 网络： make create_networks 2. 复制环境文件： cp .env.example .env cp .env.production.example .env.production ### 使用 Makefile Makefile 包含了多个命令，可简化项目的设置和管理过程： - **启动所有服务**：要启动所有服务，包括设置所需的网络并确保所有容器均为最新状态： make up - **检查更改**：如果您怀疑 `./images/compile` 目录发生了可能需要重新构建 compile 镜像的更改，请运行： make check-compile-changes - **自定义数据库初始化**：要手动触发数据库的初始化检查（在更新 `./docker/db/init.sql` 后非常有用）： make reinit-db ### 开发命令 - **发起 Curl 请求**：用于编译智能合约。 curl --location 'http://localhost:8079/' \ --header 'X-Token: {{x_token}}' \ --header 'Content-Type: application/json' \ ## 如果更新 compile/audit 镜像 - 停止服务并使用以下命令重新启动 make check-compile-changes ## 附加信息 - docker compose 包含一个用于构建文档的 swagger 镜像 - 开发数据库运行在端口 5433 上，以免与主要的 oasys 数据库产生冲突 - 部署时需要更改 nginx 配置中的 docker 网络子网 IP 范围，因为新网络将具有不同的子网 IP 范围

标签：Docker, Go, Ruby工具, 云安全监控, 区块链, 安全防御评估, 对称加密, 日志审计, 智能合约, 测试用例, 版权保护, 自动化审计, 请求拦截, 逆向工具, 静态分析