في INTMAX ، "الثقة" ليست أملا. إنه ضمان رياضي. يتم التحقق من منطق البروتوكول الأساسي الخاص بنا ميكانيكيا باستخدام نظرية Lean التي أثبتها فريق التحقق الرسمي في Nethermind. تؤكد هذه العملية الصارمة صحة حسابات التوازن ، وسلامة منطق الانسحاب (بدون إنفاق مزدوج) ، وصحة براهين ميركل. سيتم دائما رفض الدليل غير الصالح ، بغض النظر عن السلوك العدائي