Audit Firm to Build a Bug Prediction Market for Smart Contracts