...dels and oracles, that I think is going to become the gold standard for testing ZK systems, especially if it's a canonical executable specification oracle. You'll see tha...
