GitHub repository: lyronctk/zator
Primary language: Circom
Description: Verifying a 512-layer CNN w/ recursive SNARKs