For å utdype: Konsensus (dvs. blokkjede) kan ikke verifisere alle nyttige egenskaper det er et mye bredere sett med (uløste) problemer som kan løses ved hjelp av moderne verifiseringsteknikker (ZK, FHE, TEE) Spesielt er jeg interessert i problemområdet med verifiserbare nettverk