ZK programmability