background
logo

Security Audit Report for Puffer's puffer-institutional

项目简介

The target of this audit is the private code repository of puffer-institutional of Puffer. Please refer to the report for the detailed audit scope.

Our audit methodology employs automated vulnerability scans, manual verification, and business logic analysis to uncover potential security issues coupled with gas and code quality optimization recommendations.

In summary, we did not find any critical issues within the audited codebase. However, we have identified some non-critical issues that should be addressed. Additionally, we have put forth recommendations and notes that should be taken into consideration. It is important to note that the scope of our audit was strictly limited to the specific code versions mentioned in the report. Any updates made subsequent to our review would require a re-evaluation.

关键发现

我们在该智能合约中共发现 3 个潜在问题,另有 5 条建议与 9 条说明,明细如下:

高风险:0
中风险:0
低风险:3
建议:5
说明:9
ID Severity Description Status
1 Low Incorrect reward accounting Confirmed
2 Low Potential front-running attack Confirmed
3 Low Incorrect accounting of nonRestakedValidatorsETH Confirmed
4 - Align documentation with implementation Fixed
5 - Add non-zero checks on deposits and withdrawals Fixed
6 - Emit native exit events Fixed
7 - Add a non-zero check on the receiver Fixed
8 - Validate the deposit amount and public key length Confirmed
9 - Potential centralization risks -
10 - Share price dependence on reported validator balances -
11 - Atomic upgrade and initialization -
12 - Withdrawal error selector compatibility -
13 - Authority migration for the withdrawal credentials contract -
14 - Trust assumptions of Oracle roles -
15 - Ensure pending rewards are reported -
16 - Fee mechanisms are controlled by institutions -
17 - Ensure correct handling of validator consolidations -

更多细节见审计报告

迈出走向安全的第一步

立即联系我们,获取 BlockSec 的专业代码审计服务,在协议上线之前把安全性提上来!