Tout le monde s'accorde à dire que les ZK-STARKs sont de premier ordre pour construire des blockchains. Ce n'était pas toujours le cas et c'est bien qu'un consensus se soit établi. Ce qui n'est pas encore un consensus et que je prédis le deviendra : si votre chaîne repose sur la technologie ZK, votre langage de programmation et votre VM devraient être optimisés pour ZK. Un programme écrit dans un langage compatible avec ZK (par exemple, Cairo) peut être traité sans problème par une VM basée sur ZK. S'il est écrit dans un langage de programmation qui n'est pas optimisé pour ZK (disons, Solidity), alors vous devrez passer par plusieurs solutions de contournement avant qu'une zkVM puisse le traiter. Ces solutions de contournement signifient que (1), vous perdez en précision et en efficacité, et (2) vous risquez même d'avoir des bugs. Vous avez besoin du bon outil pour travailler avec ZK.