CertiK Audit

CertiK is a smart contract and protocol audit service. It uses artificial intelligence and formal verification innovations to make sure that smart contracts and Web3 applications are leak-proof and observes and audits the constantly growing world of blockchain networks.

Its special feature is that formal code verification is automated, decentralized, piece-by-piece, and in any programming language using deep learning. A Security Assessment of the BFG token was provided on September 17, 2021. This report is available to read on the official CertiK website. All the possible vulnerabilities of the project were analyzed. The results are represented in Table 1.

Vulnerability Level	Total	Pending	Declined	Acknowledged	Partially Resolved	Resolved
Critical	0	0	0	0	0	0
Major	1	0	0	1	0	0
Medium	0	0	0	0	0	0
Minor	1	0	0	1	0	0
Informational	1	0	0	1	0	0
Discussion	0	0	0	0	0	0

Table 1: Vulnerability Summary

Thanks to this report, the platform identified 3 points of growth:

1. Potential Risks on Approval/TransferFrom Methods

2. Public Function that Could be Declared External

3. Privileged Ownerships on BFGToken Minting

These areas of improvement have been taken on board. The report also includes recommendations on how to eliminate the risks identified. By implementing these recommendations, BetFury can increase and improve its security.