imattas/atlas

# AtlasCTF AtlasCTF 是一个从零开始构建的 CTF 数学、符号求解以及硬件加速的有界搜索工作区。它建立在可审计的 Rust crate、明确的基准测试证据，以及本地优先的工具链之上，适用于逆向工程、密码学、序列号/注册机以及 GPU 搜索实验。 ## 包含内容 - 类型化的 UCIR 和程序分析 crate，用于对类挑战输入进行确定性推理。 - 原生和 SIMD 有界搜索引擎，用于处理位向量、校验和、旋转/XOR、模运算以及序列字节约束。 - 从零开始的数学例程，用于常见的 CTF 密码学任务，如 CRT、模幂运算、有限域线性求解、模平方根、离散对数、LFSR 恢复和精确有理数运算。 - 通过明确的 OpenCL、Vulkan、WGPU、CUDA 和 HIP 适配器边界实现硬件加速。 - 发布验证、CTF 基准测试清单以及 `benchmarks/` 下可复现的证据。 ## 快速开始 ``` cargo test --workspace --all-targets cargo run -p atlas-cli -- solve --fixture xor --start 0 --end 256 cargo run -p atlas-cli -- benchmark --fixture xor --start 0 --end 100000 --samples 3 ``` 对于安装了受支持 GPU 驱动程序的机器，进行硬件检查： ``` .\scripts\verify.ps1 -Profile hardware ``` 在类 Unix 运行环境上： ``` ./scripts/verify.sh --profile hardware ``` ## 硬件加速 Atlas 将 GPU 执行置于特定于 SDK 的适配器二进制文件之后，而不是将 CPU 回退伪装成硬件加速。只有当适配器成功运行并报告了具体的硬件标识时，运行时报告中才会包含 `DeviceValidated`。 受支持的适配器系列： - OpenCL - Vulkan - WGPU - CUDA - HIP CUDA 需要主机上具备 NVIDIA 驱动程序/运行时；不可用的后端会被报告，并由能力探测器跳过。 ## 基准测试 与 CTF 相关的基准测试证据位于： - `benchmarks/ctf/manifest.toml` - `benchmarks/results/ctf-benchmarks.json` - `benchmarks/results/ctf-benchmarks.md` - `benchmarks/results/external-comparison.json` - `benchmarks/results/external-comparison.md` 运行基准测试刷新： ``` python benchmarks\compare_external.py --write ``` 该测试套件涵盖 XOR 约束、校验和残差搜索、旋转/XOR 校验、模乘/加法校验、序列字节约束、模平方根以及有限域离散对数。当安装了这些工具时，会包含可选的 Z3 和 Sage 行；Atlas 本身的原生数学/搜索路径并不依赖于 Z3 后端。 ## 发布流程 本仓库使用 GitHub Releases，而不是提交一个 `release/` 目录。发布元数据记录在以下文件中： - `RELEASE_MANIFEST.toml` - `schemas/release-manifest.schema.json` - `.github/workflows/release.yml` 通过推送类似 `v0.1.0` 的标签来创建发布。工作流会验证发布元数据，运行发布测试，构建源代码归档，写入校验和，并发布 GitHub Release。 ## 验证配置文件 ``` .\scripts\verify.ps1 -Profile core .\scripts\verify.ps1 -Profile analysis .\scripts\verify.ps1 -Profile distributed .\scripts\verify.ps1 -Profile advanced .\scripts\verify.ps1 -Profile full ``` 当主机具备受支持的 SDK 和驱动程序时，请使用 `hardware` 进行真机 GPU 验证。

标签：CTF工具, Rust, Vectored Exception Handling, Veh, 云资产清单, 可视化界面, 安全工具测试, 密码学, 手动系统调用, 漏洞搜索, 硬件加速, 符号执行, 网络流量审计, 逆向工具, 逆向工程, 通知系统