Prepared by:
HALBORN
Last Updated Unknown date
Date of Engagement: August 6th, 2024 - September 19th, 2024
33% of all REPORTED Findings have been addressed
All findings
12
Critical
0
High
1
Medium
2
Low
5
Informational
4
The CoreDAO team engaged Halborn to conduct a security assessment of their new genesis contract update of the CoreBTC project beginning on August 06th and ending on September 19th. The security assessment was scoped to the smart contracts provided in the GitHub repository. Commit hash and further details can be found in the Scope section of this report.
Halborn was provided 6 weeks for the engagement and assigned 1 full-time security engineer to review the security of the smart contracts in scope. The engineer is a blockchain and smart contract security expert with advanced penetration testing and smart contract hacking skills, and deep knowledge of multiple blockchain protocols.
The purpose of the assessment is to:
Identify potential security issues within the smart contracts.
Ensure that smart contract functionality operates as intended.
In summary, Halborn identified some risks that should be addressed by the CoreDAO team.
| Security analysis | Risk level | Remediation |
|---|---|---|
| Unrestricted Access to prepare() Function in contracts | High | Solved - 09/15/2024 |
| Lack of Access Control on moveData Function | Medium | - |
| Missing Access Control for moveCandidateData Function in PledgeAgent Contract | Medium | - |
| Missing Re-entrancy Protection in PledgeAgent Contract | Low | Solved - 09/15/2024 |
| Implement Re-entrancy Guard for delegate Function in BitcoinLSTStake Contract | Low | - |
| Implement Minimum Active Wallet Check in removeWallet Function | Low | - |
| Unsafe Casting to int256 from uint256 | Low | - |
| Delegations to Zero Address Not Blocked | Low | Solved - 09/15/2024 |
| Remove Redundant prepare() Function in CoreAgent Contract | Informational | - |
| Incompatibility Risk Due to Incorrect Decimal Places in Bitcoin LST Token | Informational | Solved - 09/15/2024 |
| Incomplete State Update in undelegate Function | Informational | - |
| Missing Pausable Mechanism in BitcoinLSTStake Contract | Informational | - |
Halborn strongly recommends conducting a follow-up assessment of the project either within six months or immediately following any material changes to the codebase, whichever comes first. This approach is crucial for maintaining the project’s integrity and addressing potential vulnerabilities introduced by code modifications.
// Download the full report
1.0.12 BTC-Fi Hardfork
* Use Google Chrome for best results
** Check "Background Graphics" in the print settings if needed
