Lab

연구 작업에서 나온 공개 코드 산출물.

논문

특정 연구 논문을 위한 구현 및 지원 코드.

앵커	설명
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차 미분: 메시지 수정 분석 (2계층 분해, 수정된 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의 수정된 표 8 특성

단일 논문에 얽매이지 않는 독립 실행형 유틸리티. 도메인별로 정리됨.

도구	설명
learning-pipeline	한 사용자의 암묵적 교정으로부터 편집기에 내장된 AI 어시스턴트의 구성을 개선하는 참조 파이프라인 — 6개의 구조적 탐지기와 L2 의미 마이너, 사람이 승인하는 명령 편집, 그리고 효과 추적

도구	설명
qbudget	Qiskit 또는 Q#에서 compute-uncompute Grover 오라클에 대한 T-count 및 AND-uncomputation 회계 보고