Nous sommes ravis de lancer LLZK, une représentation intermédiaire (IR) open-source pour les circuits à connaissance nulle. Pensez à LLVM, mais pour ZK. Construit par @VeridiseInc et soutenu par une subvention de la @ethereumfndn, LLZK est maintenant en ligne sur GitHub. Fil 🧵 1/4

Lorsque nous avons commencé à travailler sur l’outillage ZK, il n’y avait rien de disponible. @FormallyJon partage notre parcours d’outillage à connaissance zéro lors de @HouseofZK entretien.

Qu’est-ce qui nous a amenés à développer Vanguard, notre analyseur statique, et comment l’avons-nous étendu au-delà de Solidity ? @FormallyJon explique dans le podcast @HouseofZK.

Cannes, vous avez été incroyables ! Merci à tous ceux qui se sont arrêtés à notre kiosque et à @EthCC de nous avoir accueillis. Voici un festin visuel de la semaine 🌞

Salutations de @EthCC - Notre @KFerles de directeur technique partage comment nous fournissons un déterminisme durable pour les zkVM tels que @RiscZero

Obtenez une vue d’ensemble des outils ZK de Veridise et un aperçu de ce qui va suivre. @IsilDillig partage nos orientations futures lors de l’événement @a16zcrypto.

Auparavant, nos outils de détection ZK fonctionnaient en panne sur 30 % des circuits ZK. Comment avons-nous résolu ce problème ? @IsilDillig partage les idées de notre récent document de recherche.

Comment pouvons-nous maintenir ZK circuits solide et déterministe lors des audits ? Notre cofondateur @IsilDillig partage ses idées sur la combinaison de l’analyse statique et des solveurs SMT dans nos outils ZK.

Les circuits surcontraints sont-ils un défi dans les circuits à connaissance zéro ? Qu’est-ce qui représente la plus grande menace : les circuits sous-contraints ou sur-contraints ? @IsilDillig le décompose.

Enfin, le prix SIGPLAN Robin Milner Young Researcher Award a également été annoncé à la PLDI. Cette année, le prix a été décerné à Işıl Dillig (@IsilDillig), dont les recherches ont apporté des contributions profondes et de grande portée à l’analyse, à la vérification et à la synthèse ⭐️ des programmes