Merci @EF_ESP et @ethereumfndn pour le soutien continu de LLZK 🙏 Nous continuerons à renforcer LLZK en tant qu'infrastructure open-source orientée vérification pour l'écosystème du compilateur ZK. De meilleurs outils, interopérabilité entre DSL, et des garanties de correction plus solides.