Alla är överens om att ZK-STARK är toppklass för att bygga blockkedjor. Det har inte alltid varit fallet och det är bra att det blev konsensus. Det som ännu inte är konsensus och som jag förutspår kommer att bli: om din kedja förlitar sig på ZK-tech bör ditt programmeringsspråk och din VM vara ZK-optimerade. Ett program skrivet i ett ZK-vänligt språk (t.ex. Cairo) kan bearbetas smidigt av en ZK-baserad VM. Om det är skrivet i en PL som inte är optimerad för ZK (till exempel Solidity), måste du gå igenom flera lösningar innan en zkVM kan bearbeta det. Dessa lösningar innebär att (1) du förlorar noggrannhet och effektivitet, och (2) du till och med riskerar buggar. Du behöver rätt verktyg för att arbeta med ZK.