Added ZK operations for testing.