SOS-Soul-of-Satoshi/sos-contracts

GitHub: SOS-Soul-of-Satoshi/sos-contracts

Soul of Satoshi 与以太坊之间的信任最小化跨链桥合约,通过 STARK/Groth16 零知识证明实现无托管人资产转移。

Stars: 0 | Forks: 0

Soul of Satoshi — Post-Quantum Layer 1

Network Solidity Verifier License

Soul of Satoshi 跨链桥的 Ethereum 端合约 — 经证明授权、设有限额的 Sepolia 测试版,无项目控制的多签。

## 概述 SOS 跨链桥在 **Soul of Satoshi** L1 与 Ethereum 之间转移价值,无需托管人或项目控制的签名委员会。每次 mint 都受到**真实 SOS 事件的 STARK 证明**的限制,该证明被封装为 Groth16 并由 RISC Zero 验证器**在链上进行验证**。验证器、guest image ID、SOS 验证器集历史、Ethereum 同步委员会根以及弱主观性锚点仍是明确的安全假设。 | 合约 | 角色 | |----------|------| | **`SOSBridge`** | 验证存款 / 提款 / 验证器集转换证明,并据此执行 mint 或释放。追踪受信任的 SOS 验证器集哈希,并通过经过证明的重叠法定人数转换来遵循其轮换规则。 | | **`WrappedSOS`** (wSOS) | SOS 在 Ethereum 上的 ERC-20 表示,以 1:1 的比例对应锁定在 L1 上的 SOS 进行 mint,通过销毁来提取。 | **工作原理** 1. **SOS → ETH:** 在 L1 上锁定 SOS → 中继器证明该锁定(共识 + 包含 STARK → Groth16)→ `processDeposits` 验证证明并 mint wSOS。 2. **ETH → SOS:** 通过 `burnForWithdrawal` 销毁 wSOS → 中继器证明该销毁(具有感知最终性的 eth-burn STARK)→ SOS 节点验证并释放 SOS。 证明是在链下生成的(STARK 无法在链上生成);合约只负责**验证** seal。这是生产形态:*中继器证明,合约验证。* ## 部署控制 - 最大未结算跨链桥 TVL:**10,000 SOS**(`1,000,000,000,000` sats)。 - 最大单笔存款:**1,000 SOS**(`100,000,000,000` sats)。 - 验证器集更改需要提供新旧重叠法定人数的证明。 - 存款和验证器集转换重放会在链上被拒绝。 - SOS 超时退款将保持禁用状态,直到能证明跨链申领/退款的独占性。 - V2 部署采用全新切换策略;已弃用的合约为历史记录,不与当前的中继器共享入站流量。 这些合约是未经审计的测试网软件。这些限额限制了风险敞口;它们不能替代独立审计或经济安全审查。 Solidity 合约没有项目管理员的暂停密钥。当前的操作 暂停在 SOS 节点和钱包准入处采取故障保护(fail-closed)状态,同时验证器集 不匹配导致 V2 存款证明无法被接受。也必须避免直接的 wSOS 销毁,因为在暂停期间 SOS 上的释放功能已被禁用。 ## 已部署的地址 当前的 **Sepolia 测试网** 部署: | 组件 | 地址 / 值 | |---|---| | 状态 | `paused-validator-set-reconciliation` | | `SOSBridge` | `0x79C524691423090350B68be2CfA191d9ad0cF1fD` | | `WrappedSOS` | `0x41AAD48EA380C3BD8B2FCa965c30b2da8C7DdAA1` | | RISC Zero 验证器 | `0x7c19C9FEEA4530409404E38249eF30a6AcA2ed23` | | Bridge 域 | `0x23e5ab115e3de1b8e0f2c93cf172acc319b04f290a0db0a8d3574ba57f4c67f5` | | SOS 链 ID | `5459795` (`SOS`) | 请参阅 [`deployments/sepolia.json`](deployments/sepolia.json) 获取规范的 image ID、交易哈希、限额、迁移证据以及带有日期的运营状态。地址可能会在测试网期间轮换。 ## 构建与验证 ``` # Foundry git submodule update --init --recursive forge build forge test ``` 要验证链上 bytecode 是否与此源代码匹配,请使用 `foundry.toml` 中的设置进行编译,并与上面部署的地址进行比较(例如在 Etherscan / Sourcify 上)。 发布标签使用 SOS Ed25519 发布密钥。在验证标签之前,请配置提交 在此仓库中的 allowlist: ``` git config gpg.ssh.allowedSignersFile "$PWD/RELEASE_SIGNERS" git tag -v v0.2.0-testnet ``` 预期的签名密钥指纹为 `SHA256:5Ax7PUTlVR0ZpgrQYNDSjeOu/bR9zZZX7PrVAngS2WY`。 ## 链接 - 🌐 网站 — **[soulofsatoshi.com](https://soulofsatoshi.com)** - 🖥️ 节点 — **[sos-node](https://github.com/SOS-Soul-of-Satoshi/sos-node)** - 🏛️ 组织 — **[SOS-Soul-of-Satoshi](https://github.com/SOS-Soul-of-Satoshi)** ## 许可证 MIT — 请参阅 [`LICENSE`](LICENSE)。出于透明度和链上验证目的发布。

© Soul of Satoshi. 测试网合约 — 未经审计,无任何担保,代币无任何货币价值。

标签:Solidity, 以太坊, 区块链, 后量子密码学, 智能合约, 跨链桥, 零知识证明