om uit te leggen: consensus (d.w.z. blockchain) kan niet elke nuttige eigenschap verifiëren er is een veel bredere set van (opgeloste) problemen die kunnen worden opgelost met moderne verificatietechnieken (ZK, FHE, TEE) ik ben in het bijzonder geïnteresseerd in de probleemruimte van verifieerbare netwerken