Huma protocol
Audit · firm’s term: security assessment & formal verification · Includes formal verification
Certora reviewed Huma Finance (Huma protocol) on 4 Jul 2024: 11 findings, 0 critical; 9 marked fixed, 2 acknowledged.
Report hosted on GitHub.
Trustblock does not review code.
Findings25
Statuses are the security firm’s own, from its report.
| Severity | Open | Acknowledged | Fixed |
|---|---|---|---|
| Critical | 0 | 0 | 0 |
| High | 0 | 0 | 0 |
| Medium | 0 | 0 | 0 |
| Low | 0 | 2 | 9 |
Marked Informational by the firm. Not counted as findings.
InformationalConfusing name for StateOpen
The report gives no description here.
InformationalFunction get_amount_available_for_drawdown() could checkOpen
The report gives no description here.
InformationalInconsistent error codesOpen
The report gives no description here.
InformationalSteller/Rust and Solidity code differs slightlyOpen
The report gives no description here.
InformationalClearer commentsFixed
The report gives no description here.
InformationalComment get_days_diff() outdatedFixed
The report gives no description here.
InformationalComment make_principal_payment() incorrectFixed
The report gives no description here.
InformationalComment process_redemption_requests() outdatedFixed
The report gives no description here.
InformationalEnum element ProtocolOn not usedFixed
The report gives no description here.
InformationalFunction drawdown() could return dataFixed
The report gives no description here.
Show 4 more
InformationalFunction make_principal_payment() could use <=Fixed
The report gives no description here.
InformationalFunction withdrawable_assets() could useFixed
The report gives no description here.
InformationalNewer version of library chrono is availableFixed
The report gives no description here.
InformationalRust function to calculate the number of days could be usedFixed
The report gives no description here.
Contracts in scope
No deployed address is recorded for this audit.
The report names a repository or files. Open the report to see its scope.
Part of Huma Finance’s security record
Huma FinanceSecurity firm
Certora29 projects reviewed · 56 reports · latest Aug 2026
See Certora’s auditsSomething wrong on this page? A missing report, a wrong date, a finding that was fixed since. Tell us and we check it against its source.
Tell us