بعد ستة أشهر من البناء والاختبار، خرجت جوبيتر ليند رسميا من مرحلة البيتا. مع 83,000 مستخدم، 7 تدقيقات، تحقق رسمي واحد، و0 دولار من الديون الآن نطلق مسابقة تدقيق بقيمة 107,000 دولار مع @code4rena 👇
في Breakpoint، كنا نفتح المصدر @jup_lend. اليوم، نحتفل بإنجاز كبير آخر: التحقق الرسمي من @Certora، الشركة التي حصلت على أكثر من 100 مليار دولار عبر Aave، Uniswap، وCoinbase. هذا يتجاوز التدقيق. يستخدم التحقق الرسمي براهين رياضية لفحص كل مسار تنفيذ ممكن وتركيبة حالة.
‏‎510‏