Bittensor Guru cover image

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

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app