What about the Secret Network? Doesn't that count as programmable privacy?
Well, Secret Network uses TEE technology, which implies a trust in tamperproofness of hardware. While this doesn't adhere to cryptocurrency ideals, it may have its own use cases.
Funny thing is that ZK-STARKS also promised to remove the issue of a trusted setup. Yet, for some reason, developers chose another path with the introduction of Halo2.
Ideas of Halo were further explored by other people: KiloNova a ZK-PCD was obtained without ZK-SNARKS and ZK-STARKS.
