zero-knowledge-resources Resources to Learn Zero Knowledge proofs ZK SNARKS Circuit DSLs and applications (circum, noir, halo2, etcc) By Ying Tong, more maths based More intuitive proofs and behind the proof Tornado cash, the best explanation for finite fields and discrete logarithm problem RISC0 Example and explanation circuits and testing RISCO risc0 quick tutorial Blogs under the hood of Zk-SNARK (p blogs), by crypto fairy Applications Compression algorithm Complete course *ZK Book (rareskills) Repos some circuits implementations Ethan Buchman COSMOS SDK ZK signature verification A simple transfer transaction application IBC IBC Snark Accounts Ethan Buchman's snark account implementation (cosmos SDK) my ibc designs my draft spec