رفتن به محتوای اصلی

آزتک، شبکهٔ حریم خصوصی اتریوم، با ارتقای «تیِرا» باگ بحرانی نسخهٔ قبلی را رفع و راستی‌آزمایی رسمی اضافه کرد

آزتک (Aztec)، شبکهٔ حریم خصوصی روی اتریوم، ارتقای جدیدی با نام «تیِرا» (Tierra) منتشر کرد. این ارتقا یک باگ بحرانی را که در نسخهٔ پیشین وجود داشت برطرف می‌کند. تیم آزتک در این نسخه راستی‌آزمایی رسمی (formal verification) را نیز به فرایند امنیتی شبکه افزوده است. همچنین یک ابزار آزمون مبتنی بر هوش مصنوعی برای تست پروتکل به آن اضافه شده است.

منبع: Decrypt