Veridise
236 Publications
Veridise
Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
0 Suivis
135 Abonnés
89 J’aime
Publications
Tous
Vidéos
Picus a reçu un peu d'amour lors de l'appel Ethproofs #3 d'@ethereum 👀 Merci @drakefjustin!
Quels sont les deux bogues ZK les plus fréquents que nous trouvons ? Et comment les éviter ? @FormallyJon en parle dans le podcast @HouseofZK
Quelles parties d'une base de code sont les principales cibles lors des audits de sécurité ZK ? @FormallyJon en parle dans le podcast @HouseofZK.
Nous sommes heureux d'annoncer notre travail d'audit de sécurité avec @Monero, un projet de longue date dans le domaine de la confidentialité.
De plus, nous souhaitons clarifier et aborder certaines affirmations et déformations concernant notre travail.
1/8
De plus, nous souhaitons clarifier et aborder certaines affirmations et déformations concernant notre travail.
1/8
Vous êtes curieux des 3 principales failles de sécurité blockchain des 2 dernières semaines ? Voici :
L'histoire continue ci-dessous 🧵
L'histoire continue ci-dessous 🧵
Les audits ZK ≠ audits de contrats intelligents. Qu'est-ce qui les distingue ? @FormallyJon l'explique dans le podcast @HouseofZK.
Nouveau blog : Comment construire une application zkVM sécurisée - et comment en auditer une ? (Partie III de notre série sur la sécurité des zkVM).
Nous passons en revue un exemple concret utilisant @RiscZero et montrons les considérations de sécurité qui comptent dans le développement d'applications ZK dans le monde réel.
Fil 🧵
1/6
Nous passons en revue un exemple concret utilisant @RiscZero et montrons les considérations de sécurité qui comptent dans le développement d'applications ZK dans le monde réel.
Fil 🧵
1/6
Lorsque nous avons commencé à travailler sur les outils ZK, il n'y avait rien de disponible. @FormallyJon partage notre parcours d'outils sans connaissance à l'interview @HouseofZK.
Lorsque nous avons commencé à travailler sur les outils ZK, il n'y avait rien de disponible. @FormallyJon partage notre parcours d'outils à connaissance nulle.
Cannes, tu étais incroyable ! Merci à tous ceux qui sont passés à notre stand, et à @EthCC de nous avoir accueillis. Voici un festin visuel de la semaine 🌞
Plongez dans les 3 principales histoires de sécurité blockchain des deux dernières semaines !
L'histoire continue ci-dessous 🧵
L'histoire continue ci-dessous 🧵
Avez-vous manqué la présentation de @KFerles à @EthCC, "le déterminisme zkVM qui dure : Des audits à la vérification continue" ? Regardez la présentation complète ici, nous avions une salle comble !
Le premier jour à @EthCC est terminé — et tous les goodies sur la photo ? Disparus. Le raton laveur était le préféré de la foule 🦝
Il nous en reste encore quelques-uns, alors passez demain si vous êtes dans le coin !
Il nous en reste encore quelques-uns, alors passez demain si vous êtes dans le coin !
Salutations de @EthCC — Notre CTO @KFerles partage comment nous offrons un déterminisme durable pour les zkVMs telles que @RiscZero
Nouveau billet de blog ! Identification des vulnérabilités courantes dans les zkVM
(ceci est la partie II de notre série sur la sécurité des zkVM)
Bien que les zkVM aident à abstraire la complexité des ZK, ils n'éliminent pas tous les pièges 🧵
(ceci est la partie II de notre série sur la sécurité des zkVM)
Bien que les zkVM aident à abstraire la complexité des ZK, ils n'éliminent pas tous les pièges 🧵
Obtenez un aperçu des outils ZK de Veridise et un aperçu de ce qui est à venir. @IsilDillig partage nos orientations futures lors de l'événement @a16zcrypto.
Nos outils de détection ZK ont précédemment expiré sur 30 % des circuits ZK. Comment avons-nous résolu cela ? @IsilDillig partage des informations de notre récent article de recherche.
Comment maintenons-nous les circuits ZK solides et déterministes lors des audits ? Notre co-fondateur @IsilDillig partage des idées sur la combinaison de l'analyse statique et des solveurs SMT dans nos outils ZK.
Les circuits sur-contraints sont-ils un défi dans les circuits à connaissance nulle ?
Quelle menace est plus grande : les circuits sous-contraints ou les circuits sur-contraints ? @IsilDillig explique cela.
Quelle menace est plus grande : les circuits sous-contraints ou les circuits sur-contraints ? @IsilDillig explique cela.
Connectez-vous pour découvrir plus de contenu