Scallop Lend ทำการตรวจสอบความถูกต้องในรูปแบบเต็มของ Asymptotic

ข่าว Gate News เมื่อวันที่ 15 มีนาคม Scallop Lend ได้ดำเนินการตรวจสอบความถูกต้องเชิงรูปแบบอย่างครบถ้วนโดย Asymptotic (พันธมิตรด้านการตรวจสอบทางการเงินอย่างเป็นทางการของ Mysten Labs) การตรวจสอบนี้ยืนยันความถูกต้องทางคณิตศาสตร์ของกลไกหลักของโปรโตคอล รวมถึงตรรกะการบันทึกบัญชีหลัก การคำนวณการชำระบัญชี การควบคุมการเข้าถึง และโมดูลการคำนวณเลขทศนิยมแบบจุดคงที่