🔐
Security
Certik conducted an audit on the WOOFi's swap and oracle smart contracts, he full audit report is published here by the auditor, attachment can be found below.
REP-WOOFi--__final-20221012T162347Z.pdf
1MB
PDF
Certik conducted an audit on the WOOFi Earn's Supercharger vault smart contracts, the full audit report is published here by the auditor, attachment can be found below.
REP-WOOFi__final-20220705T091805Z.pdf
1MB
PDF
Peckshield was engaged as the second firm to conduct an audit on the WOOFi Earn's Supercharger vault smart contracts, the full audit report is published here by the auditor, attachment can be found below.
PeckShield-Audit-Report-WooFiEarn-v1.0 (1).pdf
360KB
PDF
Certik conducted an audit on the WOOFi earn contracts, the full audit report is published here by the auditor, attachment can be found below.
REP-WOOFi-2022-02-07.pdf
695KB
PDF
Certik conducted an audit on the WOOFi staking contracts, the full audit report is published here by the auditor, attachment can be found below.
REP-WOOFi-2021-12-16.pdf
481KB
PDF
CertiK leads blockchain security by pioneering the use of cutting-edge Formal Verification technology on smart contracts and blockchains. Unlike traditional security audits, Formal Verification mathematically proves program correctness and hacker-resistance.
Certik-audit-WOOFi-Swap-2021-10-25.pdf
468KB
PDF
Verilog is a smart contract auditing firm founded by blockchain professors, researchers, and alumni of the University of British Columbia at Vancouver, BC, Canada. All the co-founders had been working for 5+ years in Layer 1/Layer 2 and DeFi in the industry before establishing Verilog and are still leading the blockchain, DeFi, cyber security research supported by Natural Sciences and Engineering Research Council of Canada and Public Safety Canada. The people in Verilog are committed to delivering the high-quality auditing report and professional security suggestions to DeFi project teams and their investors.
Last modified 20d ago