STARKs: nollatietotodisteet, jotka todella skaalautuvat ei luotettavaa kokoonpanoa, ei kvantti-akilleen kantapäätä.