Neat, but I feel like you need to define "circuit" on that page! I thought this was like for silicon design or something.

A matter of perspective. Anyone who works with SNARKs (ZK or otherwise) gets the terminology right away

Circuit is the standard term used for zero knowledge "programs"

this is super cool, didnt know zk circuits are really generalized version of all sorts of physical circuits

they're the same, arithmetic circuits are just made out of addition and multiplication gates. They're used all over the place in programmable cryptography (ZKP, FHE, MPC)