zero-knowledge bewijzen comprimeren uitvoering in bewijzen: één bewijs verifieert werk voor iedereen. grote wiskunde van blockchains in kleine kleine bewijzen die blockchains gemakkelijk schaalbaar maken.