إثبات الذكاء الاصطناعي: سحابة مفتوحة المصدر تدفع للمطورين الذين تعمل عليهم
تُبنى Hanzo Cloud على إثبات الذكاء الاصطناعي — استدلال حتمي يستطيع أي مدقق إعادة التحقق منه على السلسلة — وعلى التزام بأن 25% مما تكسبه السحابة يعود إلى مطوري المصدر المفتوح الذين يعمل كودهم عليها.
في هذه الصفحة
تحت كل عرض «ذكاء اصطناعي لامركزي» مسألتان صعبتان، ومعظم المشاريع يلوّح بهما.
الأولى: كيف تثق بنتيجة لم تحسبها أنت؟ إذا قالت آلة بعيدة «النموذج أخرج X»، فكيف تعرف أنها شغّلت النموذج أصلًا — لا نموذجًا أرخص، ولا هراء، ولا كذبة من ذاكرة مخبأة؟
والثانية أهدأ، ونراها أهم: مكدس الذكاء الاصطناعي كله مبني على مصدر مفتوح لا يكاد أحد يدفع ثمنه. خادم الاستدلال، والمُقطِّع، وفهرس المتجهات، ومكتبة التشفير — كتبها أناس لا يرون شيئًا من الإيراد الذي يولّده كودهم.
إثبات الذكاء الاصطناعي (PoAI) جوابنا عن الأولى. التزامنا بالدفع جوابنا عن الثانية. هذا المنشور حساب صادق لما هو حي اليوم، وما هو موصول لكنه خامد، وما يزال خارطة طريق. سنكون صريحين بشأن أيّها أيّ — لأن المقصد كله هو قابلية التحقق.
ماذا يثبت إثبات الذكاء الاصطناعي فعلًا
حساب الذكاء الاصطناعي مشهور بصعوبة التحقق لأن حساب الفاصلة العائمة غير حتمي: النموذج نفسه، والمدخل نفسه، ووحدة GPU نفسها يمكن أن تنتج أرقامًا مختلفة قليلًا بحسب ترتيب العمليات والجدولة. لا يمكنك أن تبلغ إجماعًا على رقم يتغير في كل مرة تحسبه.
يزيل PoAI عدم الحتمية بدل أن يحاول البرهنة من حولها:
- استدلال بالأعداد الصحيحة فقط. الأوزان والتنشيطات مكمّمة إلى
int8. التراكمint32، والتحجيم إزاحة حسابية إلى اليمين، والمخرجات تتشبع، والدوال المتسامية جداول بحث مجمّدة — أبدًاexp()أوrsqrt(). النتيجة تمريرة أمامية متطابقة بتًا بتًا على CPU وMetal وCUDA وAMD. - إعادة الحساب، لا الثقة. المحوّل الصحيح مكشوف بوصفه precompile في EVM. نموذج الثقة هو أبسط نموذج موجود: كل مدقق يعيد تشغيل الحساب المطابق أثناء تنفيذ الكتلة. إذا لم يطابق مخرجك ما تنتجه آلة كل شخص آخر، تُرفض كتلتك. لا لجنة، ولا عتاد خاص، ولا برهان يُزوَّر.
هذه هي صورة PoAI التي وصفها بحثنا أولًا في إثبات الذكاء الاصطناعي: الحساب القابل للتحقق بوصفه بدائية إجماع (ZIP-002)، وهي الآن مشحونة ككود.
هذا الجزء حي
حجر الأساس ضرب مصفوفات int8 حتمي — gemm_i8 — منفّذ بتطابق البايت في Go وRust وC++، مع نوى GPU (Metal وCUDA وHIP) تجتاز اختبارات الجواب المعروف نفسها. تنفيذ Go هو precompile مسجّل في EVM عند العنوان 0x0300...0003، تستورده آلات Lux وZoo وHanzo باستيراد فارغ، فيتشارك مسار الاستدلال الحتمي نفسه عبر السلاسل الثلاث. يُؤكَّد تسلسل رموز ذهبي عبر كل لغة كاختبار:
prompt 1 7 13 2 → 4 28 21 17 2 19 43 35 36 15إذا اختلف ذلك المتجه يومًا بين آلتين، يحمرّ CI. هذا ما تعنيه «قابل للتحقق» في الممارسة.
هذا الجزء خارطة طريق صادقة
- حجم النموذج. الـ precompile على السلسلة يشغّل اليوم محوّلًا مرجعيًا صغيرًا. نقل نموذج إنتاج (Qwen3-0.6B / zen-nano) محدَّد وجارٍ — إعادة حساب نموذج أمامي في كل مدقق ليست الهدف؛ الهدف نماذج صغيرة قابلة للتحقق وتحقق عيّني من النماذج الكبيرة.
- براهين تعموية. براهين zkML والتنفيذ السري (TEE) مصمَّمة وموضوعة كهيكل لإصدار لاحق. ضمان اليوم هو حتمية تستطيع إعادة تشغيلها، وهو ضمان حقيقي — لكنه ليس برهانًا موجزًا.
- إقرار العتاد. للنماذج الأكبر من أن تُعاد حسابها على السلسلة، مرساة الثقة هي إقرار عتادي. إقرار AMD SEV-SNP منفَّذ من الطرف إلى الطرف في مكدسنا (تحقق كامل من سلسلة الشهادات مقابل خدمة مفاتيح AMD)؛ أما Intel TDX والحوسبة السرية لمعالجات NVIDIA الرسومية فمُهيَّأة الهيكل، وليست منتهية.
نفضّل أن نقول لك هذا على أن نشحن شريحة تقول «ذكاء اصطناعي متحقق منه بـ zk».
دفع المصدر المفتوح: 25%، بالتصميم
هذا هو الالتزام، وهو في كودنا لا في منشور فقط: 75% من إيراد السحابة القابل للعزو يبقى للمنصة؛ و25% يُجمَّع لمطوري المصدر المفتوح الذين شغّلت السحابة حزمهم فعلًا.
كيف يعمل العزو، من الطرف إلى الطرف:
| الخطوة | ماذا يحدث |
|---|---|
| البناء | كل صورة ينتجها نظام البناء تحصل على قائمة مواد برمجية (syft → CycloneDX) — مخطط الاعتماديات الدقيق لما شُحن. |
| العزو | محرك git blame يربط كل اعتمادية بمؤلفيها، سطرًا سطرًا، فينتج نسب مساهمة لكل مؤلف. |
| القياس | السحابة تقيس الاستعمال أصلًا لكل منظمة من أجل الفوترة. ذلك الاستعمال هو أساس الكلفة. |
| التقسيم | يوزَّع الاستعمال على مخطط الاعتماديات، مرجحًا بالمساهمة، ويُحجز 25% من المبلغ القابل للعزو للمساهمين. |
| الدفع | يُدفع للمساهمين — في البداية بأرصدة Hanzo لا تنقضي؛ وتليها سكك التشفير والنقد. |
نحن دقيقون بشأن الوضع: مولّد SBOM، ومحرك العزو، وتقسيم 25%، والقياس، ونموذج الدفع كلها موجودة في الكود اليوم. ما نوصله الآن هو النسيج الرابط — تشغيل ابتلاع SBOM، وجدولة تشغيل الدفع، وتمرير مال حقيقي عبر السكة التي تدفع أصلًا لمستلمين اعتباطيين. أول المدفوعات تذهب إلى الاعتماديات التي تعمل عليها Hanzo Cloud نفسها، بوصفها التنفيذ المرجعي.
اربط مستودعك، وخذ أجرك
الحالة النهائية خدمة ذاتية: صِل مستودع GitHub، وتحقق من أنك تملكه، واختر كيف تريد أن تُدفع، وخذ حصة كلما شغّلت Hanzo Cloud برمجيات تعتمد على برمجياتك. تدفق الانضمام هذا هو القطعة التي نبنيها تاليًا. حين يصل، سيكون هو الموضوع الحرفي لعنوان هذا المنشور — وستستطيع أن تتحقق من أرباحك مقابل قائمة المواد التي أنتجتها.
تشغيل عقدة، ومشاركة السحابة
مشغّلو العقد. يتيح Hanzo Node لآلة أن تنضم بهوية تعموية، وتعلن ما تستطيع فعله، وتتلقى عملًا عبر شبكة نظير إلى نظير، وتُدفع عبر تسوية بعملة مستقرة (x402). هذه الحلقة حقيقية اليوم لعمل الوكلاء والأدوات. سوق الحوسبة المقيسة عتاديًا والمُقرَّة بالكامل — حيث تبيع وقت GPU تحت إقرار TEE وتسوّي على السلسلة — هو الاتجاه، مبنيًا على بدائيات الإقرار والتسوية أعلاه، لا اختصارًا من حولها.
الإحالات والمشاركة. أحِل مطورًا أو منظمة فيكسب كلاكما أرصدة؛ والشركاء يكسبون حصة متدرجة من إنفاق المُحال. هذا حي في نظام الفوترة اليوم، محمي من الاحتيال ومختبَر — آلات مشاركة الإيراد نفسها التي يُبنى عليها دفع المصدر المفتوح.
لماذا يهم هذا
سحابة ذكاء اصطناعي لا تستطيع إثبات نتائجها تطلب ثقة عمياء. وسحابة ذكاء اصطناعي تربح من المصدر المفتوح من غير أن تردّ له ليست مستدامة. يعالج إثبات الذكاء الاصطناعي الأولى بأكثر آلية متاحة مللًا ومتانة — إعادة الحساب الحتمية — ويعالج دفعنا بنسبة 25% الثانية برقم كتبناه في الكود.
البطاقة الصادقة: نواة الاستدلال القابل للتحقق مشحونة ومختبَرة؛ وخط الدفع مبني ويجري تشغيله؛ والبراهين، ونقل النموذج الكبير، والباب الأمامي للخدمة الذاتية خارطة طريق تحتها أساسات حقيقية.
سنواصل نشر ما هو حقيقي وتوسيم ما ليس كذلك. تلك هي الطريقة الوحيدة ليكون لـ«إثبات الذكاء الاصطناعي» معنى.
Hanzo AI هي Techstars '17. التدقيق التقني خلف هذا المنشور — كل ادعاء مربوط بملف وسطر — يُصان داخليًا ويقود خطة البناء.
اقرأ المزيد
الموجّه هو السجل
ليس لدى Hanzo Cloud ملف OpenAPI مُودَع في المستودع. جدول المسارات الحي هو المصدر، ويُسقط بثلاث طرق، ويفشل اختبار التقابل البناء إذا انحرف أي إسقاط. 1,362 عملية عبر 963 مسارًا، تُولَّد لكل عملية عند وقت الطلب.
Introducing Enso — one API, routed to the best frontier intelligence
Enso is Hanzo's learned router: no single frontier model leads every benchmark, so Enso routes each request to the model most likely to win it — and learns from your feedback as it goes. Microsecond routing on a CPU, a transparent per-request meter, and a 1% fee that pays for itself. Here is how it works, the measured results, and the cost-transparency angle a monolith cannot offer.
Route every prompt to the right model — and cut AI cloud costs by up to 90%
Hanzo Router places each request on the cheapest model that can still serve it — reuse a local model for free, load one that fits, or fall through to cloud. Here's the idea, what it feels like in production (qualitative), and the honest cost arithmetic (quantitative) — no fabricated benchmark.