0xSoftBoi/portfolio

# Tsolmondorj Natsagdorj — 工作与证明 安全与系统工程师（网络昵称：**0xSoftBoi**）。专注于跨链基础设施与智能合约安全 — Rust 和 EVM。以下每一项均附有**您可以自行验证的主要来源**链接（已合并的 PR、DOI、公开代码库）。 网站：[0xsoftboi.github.io](https://0xsoftboi.github.io) · GitHub：[@0xSoftBoi](https://github.com/0xSoftBoi) · ORCID：[0009-0009-6010-6273](https://orcid.org/0009-0009-6010-6273) ## 已合并至上游项目 | 项目 | 贡献 | 证明 | |---|---|---| | **alloy-rs/core**（Foundry 和 Reth 背后的 Rust 库） | 在 `dyn-abi` 中实现 EIP-712 自引用结构体规范化 | [已合并的 PR #1105](https://github.com/alloy-rs/core/pull/1105) | | **uutils/coreutils**（GNU coreutils 的 Rust 重写版） | `date` 时区重置 | [已合并的 PR #12327](https://github.com/uutils/coreutils/pull/12327) | ## 安全 | 项目 | 简介 | 链接 | |---|---|---| | **lock-mint-bridge-lab** | 经过端到端审计的锁定-铸造桥：`supply ≤ collateral` 不变量、证明门修复、512×100 Foundry 不变量测试套件、Ronin/Wormhole/Nomad 漏洞利用复现 | [代码库](https://github.com/0xSoftBoi/lock-mint-bridge-lab) | | **quantgroup** | 为审计员标注的恒定乘积 AMM：攻击模拟、有状态不变量、Wake 模糊测试、SWC/CWE 映射 | [代码库](https://github.com/0xSoftBoi/quantgroup) | | **cowswaprouter** | 带有 Wake 模糊测试套件的 CoW Protocol TWAP 订单拆分器 | [代码库](https://github.com/0xSoftBoi/cowswaprouter) | | **zk-dark-chess** | 基于 Poseidon 承诺（Circom + Groth16）的 ZK 走子合法性验证，并在链上进行验证 | [代码库](https://github.com/0xSoftBoi/zk-dark-chess) | | **fhe-dark-chess** | 基于加密棋盘（Zama tfhe-rs）的战争迷雾国际象棋 | [代码库](https://github.com/0xSoftBoi/fhe-dark-chess) | ## 研究 | 项目 | 结果 | 链接 | |---|---|---| | **BRIDGE-bench** | LLM 推理与真实跨链桥漏洞利用对比 — 静态分析约 0% F1，静态预过滤 LLM 约 40% F1 | [代码](https://github.com/0xSoftBoi/anthropic-fellowship) · [DOI 10.5281/zenodo.20604295](https://doi.org/10.5281/zenodo.20604295) | | **gnome-materials** | 在预训练的 CHGNet 势能上进行 GNoME 式主动学习 — 在 20% 的标注预算下达到 95% 的 top-100 召回率 | [代码库](https://github.com/0xSoftBoi/gnome-materials) | ## 文章 深度技术文章（桥与 DeFi 安全、链上随机数、应用 ML、系统）：[0xsoftboi.github.io/blog](https://0xsoftboi.github.io/blog/)

标签：EVM, Rust, 个人主页, 区块链安全, 可视化界面, 密码学, 手动系统调用, 智能合约审计, 漏洞复现, 网络流量审计