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