
S2E12 Subnet 2 Omron w/ Dan and Hudson
Bittensor Guru
00:00
How Vision Models Are Circuitized for ZK Proofs
Hudson walks through converting CV models (e.g., SSRNet) into constrained mathematical representations, generating execution traces and proofs.
Play episode from 39:12
Transcript


