Nous avons annoncé que nous allions approfondir les systèmes de preuve et c'est juste le premier pas. Dire "nous utilisons ZK" ne signifie rien à moins que l'on puisse régénérer indépendamment les clés de vérification et confirmer quel programme est réellement en train d'être prouvé.