Iedereen is het erover eens dat ZK-STARKs van topniveau zijn voor het bouwen van blockchains. Dit was niet altijd het geval en het is goed dat het consensus is geworden. Wat nog geen consensus is en waarvan ik voorspel dat het dat zal worden: als jouw keten afhankelijk is van ZK-technologie, zou jouw programmeertaal en VM ZK-geoptimaliseerd moeten zijn. Een programma geschreven in een ZK-vriendelijke taal (bijv. Cairo) kan soepel worden verwerkt door een ZK-gebaseerde VM. Als het is geschreven in een PL die niet geoptimaliseerd is voor ZK (bijv. Solidity), dan moet je verschillende omwegen nemen voordat een zkVM het kan verwerken. Deze omwegen betekenen dat (1) je nauwkeurigheid en efficiëntie verliest, en (2) je zelfs het risico loopt op bugs. Je hebt het juiste gereedschap nodig om met ZK te werken.