ZK circuits generate a Solidity contract to verify proofs but these contracts hide the circuit source and compilation details as a series of numbers. Circuitscan provides the next layer of visibility needed to trust ZK circuit verifiers on chain like any other smart contract verified on a block explorer.

ZK app developers can submit their Circom/Noir sources for compilation through the CLI application to verify their deployed verifier contracts.

ZK app users can generate proofs to interact with the applications using a block explorer, as well as analyze the source code for any issues.