專案簡介
The target of this audit is the private code repository of atoshi-privacy-contracts of Atoshi. 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 have found that the codebase contains 3 high-risk issues that require prompt attention. In addition, we have identified other non-critical issues as well as recommendations and notes that should be considered. The atoshi-privacy-contracts team has addressed these issues promptly. It is important to note that our audit covers only the final reported versions of the codebase. Any subsequent updates would require a re-evaluation.
關鍵發現
我們在該智能合約中共發現 8 個潛在問題，另有 2 條建議與 3 條說明，明細如下：
| ID | Severity | Description | Status |
|---|---|---|---|
| 1 | High | Potential DoS due to mismatched verifier contracts | Partially |
| 2 | High | Lack of validation on token and amount in function deposit() |
Fixed |
| 3 | High | Lack of relayer binding in function withdraw() |
Fixed |
| 4 | Medium | Lack of access control in functions recordDeposit() and recordWithdrawal() |
Fixed |
| 5 | Medium | Incorrect fee handling in function withdraw() |
Fixed |
| 6 | Medium | Lack of withdrawal path for removed tokens | Fixed |
| 7 | Medium | Insufficient Merkle tree capacity | Fixed |
| 8 | Medium | Potential privacy leakage | Fixed |
| 9 | - | Remove redundant code | Fixed |
| 10 | - | Revise the misleading annotation | Fixed |
| 11 | - | Assumptions of _encryptedNote |
- |
| 12 | - | Shared Merkle tree across assets | - |
| 13 | - | Potential centralized risk | - |
更多細節見審計報告。
