[AtHeartEngineer]

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

[sigbeta]

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