BullPerks ผ่านการตรวจสอบ (Audit) โดย Hacken

วิธีการที่ Hacken ใช้ในการตรวจสอบ BullPerks ได้แก่ การตรวจสอบ  architecture , การทดสอบการทำงาน , การตรวจสอบ computer-aided และการตรวจสอบด้วยตนเอง

นอกเหนือจากกระบวนการที่กล่าวข้างต้นแล้ว การตรวจสอบโค้ดยังประกอบด้วย:

 Reentrancy

▪ Ownership Takeover

▪ Timestamp Dependence

▪ Gas Limit and Loops

▪ DoS with (Unexpected) Throw

▪ DoS with Block Gas Limit

▪ Transaction-Ordering Dependence

▪ Style guide violation

▪ Costly Loop

▪ ERC20 API violation

▪ Unchecked external call

▪ Unchecked math

▪ Unsafe type inference

▪ Implicit visibility level

▪ Deployment Consistency

▪ Repository Consistency

▪ Data Consistency

▪ Business Logics Review

▪ Functionality Checks

▪ Access Control & Authorization

▪ Escrow manipulation

▪ Token Supply manipulation

▪ Assets integrity

▪ User Balances manipulation

▪ Kill-Switch Mechanism

▪ Operation Trails & Event Generation

หลังจากประเมิน smart contract ของ BullPerks อย่างรอบคอบแล้ว สัญญาได้รับการสรุปว่าปลอดภัย

ทีมของ Hacken ได้ทำการวิเคราะห์การทำงานของ code functionality, manual audit, และการตรวจสอบอัตโนมัติด้วย Mythril และ Slither ปัญหาทั้งหมดที่พบในระหว่างการวิเคราะห์อัตโนมัติได้รับการตรวจสอบด้วย manually reviewed และช่องโหว่ที่สำคัญจะแสดงในส่วนภาพรวมการตรวจสอบ

วิศวกรความปลอดภัยพบปัญหาข้อมูล 2 รายการระหว่างการตรวจสอบครั้งแรก

หลังจากประเมิน smart contract ของ BullPerks อย่างรอบคอบแล้ว สรุปได้ว่าสัญญาปลอดภัย

อ้างอิง : LINK

Share on facebook
Facebook
Share on twitter
Twitter
Share on linkedin
LinkedIn

Radius

ผู้เชี่ยวชาญการเขียนข่าว บทความ ที่เกี่ยวข้องกับ Bitcoin , คริปโตเคอเรนซี่ และ Blockchain ทั้งในไทยและต่างประเทศ อัพเดทราคา มุมมองการลงทุน ใหม่ล่าสุดทุกวัน

MOST POPULAR