You're already aware of how important it is for smart contracts to have verified source code on the block explorer but circuit verification contracts are opaque even with the solidity source code available. Circuitscan seeks to fix this by providing a place where circuit developers can prove their verifier's originating source code to bring safety and confidence to ZKSNARK applications.