On-Chain Smart Contract Audits: Bringing Transparency and Verifiable Security to Web3