@vitalik.eth was asking about it at ETHTaipei, but I didn't see a project like it in the hackathon showcase so I started my own circuit verification site. See live demo on holesky... Still a bunch of TODOs!

@vitalik.eth was asking about it at ETHTaipei, but I didn't see a project like it in the hackathon showcase so I started my own circuit verification site. See live demo on holesky... Still a bunch of TODOs! https://github.com/numtel/circuitscan/

Open Source Developer, working on circuitscan.org

Omg! Thanks for the motivation. Considering new approach: Etherscan can afford to compile contracts because it's not much resources but circuits can scale to huge compute demands. Should I be putting my efforts into getting circom running in risczero to decentralize the effort or is a db good enough?