...ver been checked before. I'm designing a new model called IMO, which stands for intention models and oracles, that I think is going to become the gold standard for testing ZK s...
