Veridise Re-poster

Historiquement, la recherche en sécurité dans l'espace ZK a été très compartimentée. Si tu développes un utilitaire spécifique pour Circom, cette même ressource n'offre absolument aucune valeur aux équipes Halo2. De même, choisir de travailler avec Noir signifie que les développeurs de Circom sont complètement laissés de côté. Parce que l'industrie a manqué d'une base partagée sur laquelle construire, d'excellentes recherches restent inévitablement piégées dans des environnements individuels. Heureusement, l'introduction de LLZK transforme complètement toute cette dynamique.

LLZK a maintenant sa propre org GitHub, distincte de Veridise.

La Fondation Ethereum a financé deux tours. Galois a déjà contribué à un backend de manière indépendante.

Les projets communautaires construits sur l'IR peuvent y vivre. Qu'est-ce que vous aimeriez voir ?

Voici une perspective audacieuse sur le paysage actuel. Le défi le plus significatif et non résolu auquel fait face l'outillage ZK n'a en fait rien à voir avec la performance. Plutôt, le problème fondamental est le manque d'une base commune. Comme il n'existe pas de couche de base universelle, chaque écosystème individuel est contraint de construire son propre cadre de sécurité entièrement depuis le début. J'aimerais entendre vos pensées sur cette situation. Partagez-vous ce point de vue, ou pensez-vous que les préoccupations concernant la fragmentation pourraient être exagérées ?

Nous sommes ravis d'annoncer que LLZK V1.0 est officiellement disponible au public. Conçu comme une représentation intermédiaire partagée, ce framework prend spécifiquement en charge les outils de sécurité ZK. Les développeurs découvriront que tout langage de programmation compilé en LLZK débloque instantanément les capacités de ZK Vanguard pour l'analyse statique et Picus pour la vérification formelle. L'avantage majeur ici est que vous pouvez utiliser ces ressources de manière fluide, évitant complètement la nécessité de reconstruire l'un ou l'autre des outils depuis zéro. Depuis ce lancement, nos frontaux actifs présentent actuellement Halo2 et Circom. Pour plonger plus profondément dans cette publication, veuillez visiter l'annonce complète à <a>https://veridise.com/blog/veridise-announcements/llzk-v1-0-a-new-phase-for-zk-shared-infrastructure/</a>

Alors qu'à EthCC, la question la plus populaire que les gens posaient était de savoir comment la vérification formelle se compare à l'audit par l'IA.

Ces deux approches cherchent en fait à répondre à des questions complètement différentes. L'intelligence artificielle est conçue pour repérer des motifs connus. La vérification formelle, cependant, fournit un niveau d'assurance entièrement différent en prouvant que des propriétés spécifiques restent vraies pour chaque entrée possible.

Il est clairement évident que ce domaine d'étude a largement dépassé le stade d'un sujet de niche. Solidifiant son importance généralisée, la Fondation Ethereum a officiellement engagé 2 millions de dollars pour l'avancement des méthodes formelles.

Un problème négligé impacte silencieusement l'écosystème des outils de sécurité ZK aujourd'hui, à savoir une fragmentation sévère. Les développeurs sont actuellement contraints de naviguer dans une pile d'outils entièrement unique pour chaque système de preuve distinct et chaque langage de programmation qu'ils rencontrent. Cette réalité signifie que l'infrastructure fondamentale doit être reconstruite de zéro encore et encore. En fin de compte, la capacité d'une équipe de développement à détecter avec succès les bugs de circuit ne doit jamais dépendre du langage ZK spécifique qu'elle a décidé d'adopter.

Notre équipe est arrivée à Cannes pour @EthCC aujourd'hui. Nous vous invitons chaleureusement à passer au stand Veridise, situé au 3ème étage du Palais des Festivals. Si vous développez des applications on-chain et souhaitez avoir une conversation concernant la sécurité, notre personnel sera présent toute la journée pour se connecter avec vous. Vous aurez la chance unique de parler directement avec les professionnels exacts qui ont réussi à exécuter plus de 100 audits.

Si vous nous rejoignez à EthCC[9] à Cannes, nous vous invitons à profiter de nos séances d'information sur les risques des fondateurs gratuites. Se déroulant à notre stand les 30 et 31 mars, ces sessions durent 15 minutes et sont animées personnellement par le PDG de Veridise, @FormallyJon. Ci-dessous, un aperçu détaillé de ce qui se passe exactement une fois que vous entrez dans la salle.

Opérez-vous actuellement sans une feuille de route de sécurité claire ? Vous pouvez résoudre efficacement ce problème lors du prochain événement EthCC.

Nous organiserons un nombre limité de séances d'information sur les risques pour les fondateurs à Cannes les 30 et 31 mars. À travers une discussion unique et ciblée avec notre PDG, vous obtiendrez des informations précieuses sur l'identification de vos véritables risques, la décision des processus à automatiser et le moment exact pour planifier un audit.

Notre objectif est de vous garantir que vous quitterez la réunion équipé d'une clarté actionnable plutôt que de simplement écouter une présentation commerciale. Veuillez envoyer un DM à @VeridiseInc pour vous connecter.

https://veridise.com/blog/news/veridise-ethcc-2026-meet-the-team-pushing-blockchain-security-forward/

Préparez-vous à assister à @EthCC à Cannes entre le 30 mars et le 2 avril ? Nous sommes ravis d'annoncer que nous offrons 2 passes d'accès complet pour l'événement à venir.

Sécuriser votre chance de gagner est totalement simple. Assurez-vous simplement de suivre le compte @VeridiseInc et allez-y, repostez ce message. Nous tirerons officiellement le gagnant le 28 mars.

Pendant que vous êtes à la conférence, nous aimerions que vous visitiez notre stand. @AuditHubDev, notre partenaire, sera sur place pour animer un quiz de sécurité interactif. Venez défier vos connaissances de l'industrie et récupérez de superbes articles à ramener chez vous.

Nous nous rendons à ETHDenver ✈️. Sur place, nous réalisons une évaluation de sécurité mini limitée (en personne). Veuillez noter que la disponibilité est limitée, avec exactement 2 créneaux restants. Consultez les détails ci-dessous et envoyez un message pour réserver votre rendez-vous.

Nous recherchons un Responsable du Développement Commercial pour rejoindre Veridise. Ce poste à forte responsabilité vous offre un impact direct sur la croissance, le positionnement et l'expansion de notre entreprise. Nous serions ravis d'avoir de vos nouvelles, alors veuillez trouver la description du poste sur notre page carrières.

Si vous développez actuellement un projet innovant et prévoyez d'assister à ETHDenver, prenez un moment pour réfléchir. Avant de planifier un audit ou de déployer du code supplémentaire, il est essentiel de déterminer si vous protégez les composants appropriés dans le bon ordre. Notre équipe est disponible pour réaliser une Mini Évaluation de Sécurité de 60 minutes tout au long de l'événement ETHDenver. 🧵

1/3

🔐 Développez-vous sur @AleoHQ ? Bien que les enregistrements soient puissants, ils sont également faciles à mal utiliser.

Dans la Partie II de notre série Records in Leo, Mark Anthony @epizeuxius, analyste en sécurité chez @VeridiseInc, examine les pièges courants dans la gestion des enregistrements.

Trouvez le lien vers l'article de blog complet ci-dessous 🧵

1/3

🔐 Comment fonctionne l'état privé au sein de @AleoHQ ? Dans notre dernier article de blog, Mark Anthony @epizeuxius, un analyste en sécurité chez @VeridiseInc, dissèque les enregistrements dans Leo — le principe central sous-jacent à la confidentialité & à l'évolutivité d'Aleo.

Le lien vers l'article complet est ci-dessous 🧵

1/3

Vous cherchez à éviter ces conversations de vacances typiques ? Nous avons la solution parfaite pour vous ! 🎄

Rejoignez nos discussions au coin du feu Veridise, où nous engageons des discussions techniques éclairantes avec des innovateurs qui façonnent l'avenir de Web3. Notre programme comprend des invités de renom de @ethereumfndn, @StellarOrg, @RiscZero, @boundless_xyz et @aztecnetwork. Suivez les conversations sur notre chaîne YouTube.

Joyeux Noël ! Que l'année à venir vous apporte sécurité et bien-être. 🎄