研究活動による公開コード成果物。
特定の研究論文のための実装および補助コード。
| アンカー | 説明 |
|---|---|
| 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 Local Lemma による、次数7以上の正則グラフにおける支配数が辺支配数以下であることの証明 (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に対するツイドル摂動フォールトのランク上限 (ePrint 2026/1188, arXiv:2610.30383) |
| zhang2026-verification | SFS衝突検証 + Zhang–Li–Gao–Wang, EUROCRYPT 2026のための修正されたTable 8特性 |
単一の論文に紐づかない独立したユーティリティ。ドメイン別に整理。
| ツール | 説明 |
|---|---|
| learning-pipeline | エディタに組み込まれたAIアシスタントの設定を、あるユーザーの暗黙的な修正から改善するリファレンスパイプライン — 6つの構造検出器とL2セマンティックマイナー、人間の承認を要する指示編集、および有効性の追跡 |
| ツール | 説明 |
|---|---|
| qbudget | QiskitまたはQ#におけるcompute-uncompute GroverオラクルのT-countおよびAND-uncomputationの会計をレポート |
