What is the difference between snarks and iPhone? When mobile phone popped up, it was relatively easy to explain modern human what it is: it is like landline phone but without wire, it is small and you can take it whereever you go. Form factor new – idea old: communication between humans Snark is a new idea. Even computers on their own are relatively new idea. Provable computations for most people in the world is currently a psyop: why to prove, what, whom, etc. It doesn't even approaching the question 'how'. We are still at the stage of rooting idea, not its implementation and we are doing terrible imo. So building more and more infra (in a wide sense) for provable computation without investing into rooting the idea of provable computation overall – it won't work out long term. And to work out, this investment should be very large and means very serious. Think of it as pharma bringing to the market a new pill. It should be solved on all levels: pharmacy chains, clinic chains, public hospitals, private practitioners, final users (patients), opinion leaders, media, etc. It doesn't happen on its own. Recall Uber: before it became an obvious taxi choice, there will be thousands of humans in the shopping malls selling idea of Uber to people, human by human. First we sell idea, then we can proceed to selling particular implementation.