chakshugupta13/labمكونات برمجية من تطبيقات الأوراق البحثية
مخرجات برمجية عامة من العمل البحثي.
تطبيقات برمجية وشيفرة داعمة لأوراق بحثية محددة.
| Anchor | الوصف |
|---|---|
| gupta2026lenia | منطق قائم على التصادم في Lenia وحدوده التركيبية — بوابة INHIBIT ناشئة وسلسلة AND-NOT من تصادمات Orbium glider، إضافةً إلى الحدود المقاسة للتركيب العام (arXiv:2609.01348) |
| Anchor | الوصف |
|---|---|
| gupta2026exergy | تحقق عددي من الحدود الحادة لتصحيح الإكسيرجي للممتصات الانتقائية في ظل التخصيص الخطي |
| Anchor | الوصف |
|---|---|
| gupta2026architecture | تحيّز قابلية الاسترداد الناجم عن البنية في الانحدار الرمزي القابل للاشتقاق (arXiv:2604.23256، MLSP 2026) |
| gupta2026origami | تسلسل الدرجات وقطر رسم بياني انعكاسات أوريغامي Miura-ori بمقاس $m\times n$، عبر دوال الارتفاع (arXiv:2606.22614) |
| gupta2026degseq | بناء واحد لتسلسل درجات رسم بياني انعكاسات Miura-ori بمقاس $m\times n$، يحسب كل درجة عبر بناء غلاف / نقاط شبكية (arXiv:2607.05567) — تكملة لـ gupta2026origami |
| gupta2026saturation | عدد التشبع غير محدود بالمؤشر التوافقي (arXiv:2606.15761) — دحض للتخمين 4 من TxGraffiti (arXiv:2507.17780) |
| gupta2026annihilation | حد Caro–Wei لعدد الإفناء يثبت $\alpha \ge (a+R)/\Delta$ لكل رسم بياني متصل (arXiv:2606.29553) — إثبات للتخمين 1 من TxGraffiti (arXiv:2507.17780) |
| gupta2026edgedomination | عدد الهيمنة لا يتجاوز عدد هيمنة الأضلاع في الرسوم البيانية المنتظمة من درجة سبعة على الأقل، عبر Lovász Local Lemma (arXiv:2608.22498) — النطاق المفتوح سابقًا لتخمين Baste وآخرين (arXiv:1906.10420)؛ مُقدَّم إلى Graphs and Combinatorics |
| Anchor | الوصف |
|---|---|
| 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 لبوابات Grover من نوع compute-uncompute في Qiskit أو Q# |
