Hanzo ने एआई एजेंट अवसंरचना के लिए औपचारिक प्रमाण जारी किए

आज हम Hanzo AI अवसंरचना स्टैक के लिए मशीन-जाँचे औपचारिक प्रमाण ओपन सोर्स कर रहे हैं। ये परीक्षण या ऑडिट नहीं हैं। ये गणितीय गारंटियाँ हैं जिन्हें Lean 4 का टाइप चेकर सत्यापित करता है।

क्या सिद्ध है

एजेंट सुरक्षा (6 प्रमाण)

• क्षमता की सीमाएँ: एजेंट दी गई अनुमतियों से आगे नहीं बढ़ सकता
• वृद्धि की रोक: कोई भी क्रिया-श्रृंखला अनधिकृत क्षमता तक नहीं पहुँचती
• MCP उपकरण आह्वान: संदर्भ खिड़की कॉलों के बीच बनी रहती है
• प्रत्यायोजन की एकदिशता: सौंपा अधिकार केवल सिकुड़ता है, कभी फैलता नहीं
• कार्यप्रवाह क्रम: DAG निष्पादन निर्भरता की कोरों का सम्मान करता है
• स्मृति अलगाव: एजेंट की स्मृति केवल जोड़ी जाती है और प्रासंगिकता से बँधी है

कंप्यूट परत (4 प्रमाण)

• Proof of AI सहमति: TEE सत्यापन शृंखला की अखंडता और बीजान्टिन दोषों पर गुणवत्ता अंक का अभिसरण
• गोपनीय कंप्यूट: एन्क्लेव अलगाव और सत्यापन की ताजगी
• झुंड समन्वय: कार्य वितरण की निष्पक्षता और लोड संतुलन का अभिसरण
• बिलिंग की शुद्धता: मापा उपयोग कभी अधिक शुल्क नहीं लेता

गेटवे और प्लेटफ़ॉर्म (6 प्रमाण)

• टोकन जाँच, दर सीमा की निष्पक्षता और सरकती खिड़की की शुद्धता
• blue-green परिनियोजन की वापसी सुरक्षा और शून्य डाउनटाइम निश्चर
• SBOM आपूर्ति शृंखला की पूर्णता और भेद्यता ट्रैकिंग की एकदिशता

KMS (1 प्रमाण)

• रहस्य पहुँच-सूची का प्रवर्तन: मास्टर कुंजियाँ कभी HSM सीमा नहीं लाँघतीं

संख्याओं में

• 17 Lean 4 फ़ाइलें, 0 sorry, 0 बिल्ड त्रुटियाँ
• 3 अभिगृहीत, सब हार्डवेयर सीमाएँ मॉडल करते हैं (TEE अलगाव, HSM परिधि, बाहरी प्रमाणीकरण)
• Lean 4.14.0 + Mathlib 4.14.0, पिन किए और पुनरुत्पादनीय
• Apache 2.0 लाइसेंस

एआई एजेंटों के लिए औपचारिक सत्यापन क्यों

एजेंट स्वायत्त हो रहे हैं। वे उपकरण चलाते हैं, धन संभालते हैं, निर्णय लेते हैं। «आमतौर पर चल जाता है» काफी नहीं जब एजेंट के पास आपकी API कुंजियाँ, आपका डेटाबेस और आपके ग्राहक हों।

औपचारिक सत्यापन सिद्ध करता है कि कोई भी संभव निष्पादन सुरक्षा गुणों का उल्लंघन नहीं करता। «हमने 10,000 मामले जाँचे» नहीं। सब। यह प्रमाण कि एजेंट विशेषाधिकार नहीं बढ़ा सकता, प्रायिकता नहीं है। वह गणित है।

कड़ियाँ

• प्रमाण: github.com/hanzoai/proofs
• पत्र: github.com/hanzoai/papers — 2014 से 2026 तक 34 शोध पत्र
• साइट: proofs.hanzo.network

औपचारिक सत्यापन का काम पूरी Hanzo पारिस्थितिकी को ढकता है, एआई गेटवे से एजेंट अवसंरचना तक। यह भी देखें hanzoai/proofs।