
Артефакты кода из реализаций исследовательских работ
Публичные программные артефакты из исследовательской работы.
Реализации и вспомогательный код для конкретных исследовательских статей.
| Якорь | Описание |
|---|---|
| gupta2026lenia | Логика на основе столкновений в Lenia и её граница композиции — эмерджентный вентиль INHIBIT и каскад AND-NOT из столкновений планера Orbium, а также измеренная граница для общей композиции (arXiv:2609.01348) |
| Якорь | Описание |
|---|---|
| gupta2026exergy | Численная проверка точных границ эксергетической коррекции для селективных поглотителей при линейном распределении |
| Якорь | Описание |
|---|---|
| gupta2026architecture | Обусловленное архитектурой смещение восстановимости в дифференцируемой символьной регрессии (arXiv:2604.23256, MLSP 2026) |
| gupta2026origami | Степенная последовательность и диаметр графа переворотов оригами Миура-ори $m\times n$ через функции высоты (arXiv:2606.22614) |
| gupta2026degseq | Единая конструкция для степенной последовательности графа переворотов Миура-ори $m\times n$, вычисляющая каждую степень через конструкцию огибающей / целочисленных точек (arXiv:2607.05567) — продолжение gupta2026origami |
| gupta2026saturation | Число насыщения не ограничено гармоническим индексом (arXiv:2606.15761) — опровержение гипотезы 4 TxGraffiti (arXiv:2507.17780) |
| gupta2026annihilation | Граница Каро–Вей для числа аннигиляции доказывает $\alpha \ge (a+R)/\Delta$ для любого связного графа (arXiv:2606.29553) — доказательство гипотезы 1 TxGraffiti (arXiv:2507.17780) |
| gupta2026edgedomination | Число доминирования не превосходит числа рёберного доминирования для регулярных графов степени не менее семи, с помощью леммы Ловаса о локальности (arXiv:2608.22498) — ранее открытый диапазон гипотезы Baste et al. (arXiv:1906.10420); подано в Graphs and Combinatorics |
| Якорь | Описание |
|---|---|
| sanadhya2008 | Атаки на коллизии SHA-256 с 22 и 24 шагами |
| mendel2011 | Коллизии SHA-256 с 27/32 шагами через SAT + новые результаты (семейство коллизий 32K, ускорение фазового начального значения в 10×, характеристика W[7]) |
| mendel2013improving | Коллизии SHA-256 с 28/31/38 шагами через SAT на плотных характеристиках |
| eichlseder2014 | Коллизия SFS SHA-512 с 38 шагами через SAT + анализ плато GnD |
| lamberger2011 | Дифференциал второго порядка SHA-256 с 46 шагами: анализ модификации сообщения (двухуровневое разложение, пересмотренная сложность 2⁴⁷·⁶) |
| de2006finding-workfactor | Калькулятор рабочего фактора SHA-1 (De Cannière–Rechberger 2006 §III-C), первая независимая реализация |
| gupta2026rank | Потолок ранга для сбоев возмущения twiddle на прямом NTT ML-KEM и ML-DSA (ePrint 2026/1188, arXiv:2610.30383) |
| zhang2026-verification | Проверка коллизий SFS + исправленная характеристика из таблицы 8 для Zhang–Li–Gao–Wang, EUROCRYPT 2026 |
Автономные утилиты, не привязанные к одной статье. Организованы по доменам.
| Инструмент | Описание |
|---|---|
| learning-pipeline | Эталонный конвейер, который улучшает конфигурацию встроенного в редактор ИИ-ассистента на основе неявных исправлений одного пользователя — шесть структурных детекторов плюс семантический майнер L2, редактирование инструкций с участием человека и отслеживание эффективности |
| Инструмент | Описание |
|---|---|
| qbudget | Отчётность по учёту T-count и AND-uncomputation для оракулов Гровера compute-uncompute в Qiskit или Q# |