Solana Circom Verifier allows you to verify Circom circuits in Solana programs. Zero-knowledge proofs are becoming integral part of blockchain infrastructure in verticals such as scaling, privacy and identity. Circom is one of the most popular implementations of ZKP circuits. This project makes it possible to verify those circuits in, and thus build ZKP-based programs on Solana. The testing instructions are available in project repository.