Lighter: doimiy va spot savdo uchun zk circuits auditi yakunlandi va rasmiy ravishda ochiq manbali qilindi

Odaily xabariga ko‘ra, Lighter jamoasi X platformasida o‘zining perpetual va spot savdo uchun mo‘ljallangan zk circuits auditdan muvaffaqiyatli o‘tganini va rasmiy ravishda ochiq manbaga chiqarilganini e’lon qildi. Jamoa to‘liq verifikatsiya kodini chiqardi, bu esa tashqi mustaqil tekshiruvchilarga Lighter L2’ning Ethereum’dagi har bir buyurtma joylash, bekor qilish va likvidatsiya operatsiyalarining haqiqiy va samarali ekanligini tekshirish imkonini beradi. Dasturchilar GitHub’dagi build script orqali ZkLighterVerifier yaratib, uni Ethereum’da joylashtirilgan shartnomalar bilan mosligini tekshirishi mumkin.