Omniscia AllianceBlock Audit
Merkle Distributors Security Audit
Audit Overview
We were tasked with performing an audit of the AllianceBlock Merkle proof-based distributor contracts.
Over the course of the audit, we did not identify any security vulnerabilities present in the code although one indeterminate state was identified that we advise the AllianceBlock team to alleviate.
We advise the AllianceBlock team to closely evaluate all minor-and-above findings identified in the report and promptly remediate them as well as consider all optimizational exhibits identified in the report.
Post-Audit Conclusion
The AllianceBlock team iterated through all findings within the report and provided us with a revised commit hash to evaluate all exhibits on.
We evaluated all alleviations performed by AllianceBlock and have identified that all exhibits have been adequately dealt with no outstanding issues remaining in the report.
Contracts Assessed
| Files in Scope | Repository | Commit(s) |
|---|---|---|
| MerkleDistributor.sol (MDR) | merkle-distributor | 7e0dcdfc6a, e08fc8f951 |
| MerkleDistributorWithDeadline.sol (MDW) | merkle-distributor | 7e0dcdfc6a, e08fc8f951 |
Audit Synopsis
| Severity | Identified | Alleviated | Partially Alleviated | Acknowledged |
|---|---|---|---|---|
 | 0 | 0 | 0 | 0 |
 | 3 | 3 | 0 | 0 |
 | 1 | 1 | 0 | 0 |
 | 0 | 0 | 0 | 0 |
 | 0 | 0 | 0 | 0 |
During the audit, we filtered and validated a total of 1 findings utilizing static analysis tools as well as identified a total of 3 findings during the manual review of the codebase. We strongly recommend that any minor severity or higher findings are dealt with promptly prior to the project's launch as they can introduce potential misbehaviours of the system as well as exploits.
The list below covers each segment of the audit in depth and links to the respective chapter of the report: