Circuitscan is a circuit verifier explorer. Like verified contracts, a verified circuit verifier allows users to interact with applications directly if the frontend becomes unusable as well as ensures...