研究工作的公开代码产物。
特定研究论文的实现与配套代码。
| 锚点 | 描述 |
|---|---|
| gupta2026lenia | Lenia 中基于碰撞的逻辑及其组合边界——由 Orbium 滑翔机碰撞涌现的 INHIBIT 门与 AND-NOT 级联，以及到一般组合的实测边界（arXiv:2609.01348） |
| 锚点 | 描述 |
|---|---|
| gupta2026exergy | 线性分配下选择性吸收体锐利㶲校正界的数值验证 |
| 锚点 | 描述 |
|---|---|
| gupta2026architecture | 可微符号回归中架构诱导的可恢复性偏差（arXiv:2604.23256，MLSP 2026） |
| gupta2026origami | 通过高度函数研究 $m\times n$ Miura-ori 折纸翻转图的度序列与直径（arXiv:2606.22614） |
| gupta2026degseq | 针对 $m\times n$ Miura-ori 翻转图度序列的一种构造，通过包络/格点构造计算每个度（arXiv:2607.05567）——gupta2026origami 的续篇 |
| gupta2026saturation | 饱和数不受调和指数约束（arXiv:2606.15761）——反驳 TxGraffiti 猜想 4（arXiv:2507.17780） |
| gupta2026annihilation | 湮灭数 Caro–Wei 界证明对每个连通图有 $\alpha \ge (a+R)/\Delta$（arXiv:2606.29553）——证明 TxGraffiti 猜想 1（arXiv:2507.17780） |
| gupta2026edgedomination | 通过 Lovász 局部引理证明度至少为七的正则图的支配数至多等于边支配数（arXiv:2608.22498）——Baste 等人猜想此前未解决的范围（arXiv:1906.10420）；已投稿至 Graphs and Combinatorics |
| 锚点 | 描述 |
|---|---|
| sanadhya2008 | 22 步和 24 步 SHA-256 碰撞攻击 |
| mendel2011 | 通过 SAT 实现 27/32 步 SHA-256 碰撞 + 新发现（32K 碰撞族、10× 相位种子加速、W[7] 刻画） |
| mendel2013improving | 通过稠密特征上的 SAT 实现 28/31/38 步 SHA-256 碰撞 |
| eichlseder2014 | 通过 SAT 实现 38 步 SHA-512 SFS 碰撞 + GnD 平台分析 |
| lamberger2011 | 46 步 SHA-256 二阶差分：消息修改分析（两层分解，修正后的 2⁴⁷·⁶ 复杂度） |
| de2006finding-workfactor | SHA-1 工作量因子计算器（De Cannière–Rechberger 2006 §III-C），首个独立重新实现 |
| gupta2026rank | ML-KEM 与 ML-DSA 前向 NTT 上 twiddle 扰动故障的秩上限（ePrint 2026/1188，arXiv:2610.30383） |
| zhang2026-verification | SFS 碰撞验证 + 针对 Zhang–Li–Gao–Wang 的修正表 8 特征，EUROCRYPT 2026 |
不绑定于单篇论文的独立实用程序。按领域组织。
| 工具 | 描述 |
|---|---|
| learning-pipeline | 参考流水线，通过单个用户的隐式纠正来改进编辑器内嵌 AI 助手的配置——包含六个结构检测器以及一个 L2 语义挖掘器、人工把关的指令编辑和有效性跟踪 |
| 工具 | 描述 |
|---|---|
| qbudget | 报告 Qiskit 或 Q# 中计算-反计算 Grover 预言机的 T-count 和 AND-uncomputation 核算 |
