Transparency
Ecosystem Data
Verified smart contracts, security audits, open-source repositories, and official ecosystem links.
Smart Contracts
Ethereum MainnetFreedFinance
Verified Contract
0x86480a1b72155b58435ba312543855E0BF6ffB25Scanner
FreedGenesis
Verified Contract
0x39b1C0A83ef54C74d550247ef81894C8D8935B48Scanner
FreedSale
Verified Contract
0xe5C379165f0Bc9B267b1576716a8628843DB3f9fScanner
FreedVotingPower
Verified Contract
0x7e1b15b14f660b0F41adC0623D7EFA5fDF6440faScanner
Security Audit
Full ReportProduction Ready — Formally Verified
12-Tool Comprehensive Audit
FreedFinance and FreedSale contracts have been audited with industry-standard tools including Slither, Echidna, Foundry, and Certora formal verification. Zero critical or high findings in static analysis.
194/194
Tests Passing
179 unit + 15 invariant
100%
Code Coverage
Lines, branches, functions
0
Critical Findings
Slither static analysis clean
~900K
Fuzz Executions
5,000 runs × 179 tests
Audit Tool Matrix
Jan 2026 · Git 0b37c2cSlither· Static Analysis
0 critical/high/mediumPass
Foundry Fuzz· Fuzzing
5,000 runs, 0 failuresPass
Echidna· Property Testing
77 sequences, 3,400+ instrPass
Certora· Formal Verification
ALL RULES VERIFIEDPass
Forge Invariants· Invariant Testing
15/15 passPass
Forge Gas· Gas Optimization
22 custom errorsPass
Coverage· Code Coverage
100% all metricsPass
EIP-170· Size Compliance
Both under 24,576 BPass
FreedFinance
CertoratotalSupplyConstantapprovalDoesNotAffectBalancelockedNeverExceedsTotalnoTransferWhenPausedFreedSale
CertoravalidPhaseIdnoDoubleFinalizenoDoubleRefundnoRefundAfterFinalizeBackend & API Security
100% RemediatedFull audit of 34 API routes against OWASP standards. Global Edge Middleware implements a 17-header security suite. All routes migrated to the createApiHandler standard with rate limiting, body-size limits, and structured logging.
34/34
Routes Secured
17
OWASP Headers
5/5
Critical Fixed
0
Console Leaks