ZK projects on @KaitoAI 1. Prover Networks Generating ZKPs is expensive. Prover infrastructure helps applications obtain proofs more cheaply and quickly. Representative examples include Succinct and @boundless, and @cysic, which is researching hardware acceleration for ZKPs. Prover networks are the core infrastructure at the center of the entire blockchain ecosystem as it is reshaped around ZK. 2. L2 Vitalik has said that, rather than merely aiming for Stage 2, it’s more important for Ethereum L2s to transition to ZK rollups and reduce withdrawal times to seconds. Many rollups are starting with ZK verification or migrating from OP to ZK. 3. AI Verification In crypto, it will become common for AI to manage assets on users’ behalf. In this context, it’s crucial to verify that the AI is running the correct model. 4. Privacy On blockchains, ZK is the best tool for protecting privacy by concealing mempool transactions or intents. 5. Cross-chain Messaging In a fragmented blockchain ecosystem, interchain communication is critical. Until now, we’ve relied on oracles and other additional trust assumptions, but with ZKPs we can support trustless cross-chain messaging. There may be ZK projects on Kaito that I’ve missed. If you spot any, please let me know in the comments!