Allmänna zkVM:er som kan bevisa att Ethereum-block inte bara dök upp från ingenstans – de är kulmen på årtionden av teori och ingenjörskonst.