* Clearly communicate differences b/w 4 types of systems
* Each word should refer to a quadrant or an axis; a word referring to three of four quadrants is dumb
* Move away from using "ZK" for snarks that are being used for scalability and not zero knowledge