# Circuits

The infrastructure depends on five  [zkSNARK](https://en.wikipedia.org/wiki/Non-interactive_zero-knowledge_proof) circuits - `DataVerifier`, `HashApprover`, `HashMinCommitment`, `HashReceiver`, and `HashSender` to maintain data integrity and secure verification in the ecosystem.