woodensnake/tessera

# Tessera 一个面向代理群的转录绑定连续性层：每条消息 都会推进一个共享的链密钥，因此持有当前密钥既是 解密能力，也是完整历史参与的证明，更是 一个触发器，能够将篡改、克隆、双花和去同步转化为 明显且可归咎的失败。 - **[PROTOCOL.md](PROTOCOL.md)** — 设计文档（v0.4），包含其待解决 问题。建议从此处阅读。 - **`tessera.py`** — 第 5–§7 节及第 §9 节的原型：单条消息棘轮、 通信格式、接收方调度、Rung-1 重传恢复，以及 epoch/成员层（加入、法定人数驱逐、修复、`fp_close` 链式、密封 epoch 密钥分发）。 - **`test_tessera.py`** — 针对 §5–§7 节中的每项声明提供一个测试：锁定步进操作、 针对密钥窃取者的间隙锁定、针对通过间隙进行的字典攻击的盐值对比、 内部伪造拒绝、篡改拒绝、窗口恢复、精确位置处的分叉 检测，以及克隆证据。 - **`test_membership.py`** — 针对 §9 节中的每项声明提供一个测试，包括诚实的 负面测试：无历史访问权限的加入、被驱逐者锁定、法定人数 执行、`fp_close` 拒绝跨分叉历史的切换、修复 摆脱链密钥窃取者 —— 以及正如 §8 警告的那样，修复*无法*摆脱 身份密钥窃取者。 - **[EXPERIMENTS.md](EXPERIMENTS.md)** — 实验设计：研究 问题、可证伪的假设、对手分类、指标，以及 计划评估的终止标准。 - **`sim.py`** — 离散事件模拟器（EXPERIMENTS M1）：在具有丢包（i.i.d. / Gilbert–Elliott）、 延迟、分区特性的网络上，基于真实协议代码运行的诚实群体， 其中 §7 节恢复阶梯由模拟定时器驱动。`python sim.py --n 25 --loss 0.02 --duration 600` 会输出指标 JSON。对手将在 M2 中引入。 - **`test_sim.py`** — 模拟器冒烟测试：无损锁定步进、在 i.i.d. 和突发丢包下的 Rung-1 恢复、在超出窗口的中断后进行 Rung-2 重新加入、分区修复，以及随机种子确定性。 ## 运行测试 ``` python3 -m venv .venv .venv/bin/python -m pip install -r requirements.txt .venv/bin/python -m pytest -v ``` ## 状态 设计草图 + 原型。**未经审查，未经审计，不可用于** **生产环境。** 关于其能够和不能够提供的内容的诚实评估范围 在 PROTOCOL.md §10 中；研究级别的开放问题在 §11 中。 原型中的密码学在规范命名了标准的地方故意使用了替代品： 使用 HMAC-SHA-256 作为 KDF（而非 RFC 5869 HKDF），使用 临时-静态 X25519 密封盒（而非 RFC 9180 HPKE），并且没有 常量时间或密钥清零规范。这些都不会影响 测试所验证的任何协议逻辑声明，但在任何 严肃的实现中，所有这些都需要替换。 ## 许可证与引用 Apache-2.0（见 [LICENSE](LICENSE)）。如需引用本作，请参见 [CITATION.cff](CITATION.cff)。

标签：Python, 人工智能, 分布式系统, 响应大小分析, 安全规则引擎, 密码学协议, 无后门, 智能体协同, 用户模式Hook绕过, 逆向工具