Veridise Re-poster

We have an exciting update to share with our community.

While the exact timeline for quantum computers compromising modern cryptography remains uncertain, the cut-off dates to retire current standards have already been established. To address this transition, Veridise is officially introducing the Quantum Readiness Review today. This comprehensive service guides organizations through every phase of the transition, starting from an initial cryptographic inventory all the way to thoroughly verified post-quantum code.

Read the full announcement here: https://veridise.com/blog/news/post-quantum-migration/

A traditional audit report provides a static snapshot of your software, reflecting only the specific day your codebase was frozen. Because your project is always evolving, the @Veridise team built AuditHub to deliver ongoing security. This solution ensures that OrCa, Picus, ZK Vanguard, and Vanguard operate continuously within your CI pipeline to monitor every new update you make.

To see exactly how this platform can streamline your workflow, be sure to connect with our VP of Business Development, @kulm1nski, at Devcon 8. He will be in Mumbai from Nov 3 to 6 and is ready to provide a complete walkthrough of the system.

Every validator, bridge, wallet, exchange, and custodian is facing an inevitable post-quantum migration. These entities all protect underlying value using public keys that are already established on the blockchain. To discuss the details of quantum readiness, Veridise BD Manager @veridisecarlos is attending Devcon 8. The gathering takes place in Mumbai from Nov 3 to 6.

To learn about what fails first in the face of emerging quantum threats, be sure to attend the upcoming session featuring @ShankaraPailoo2 and @FormallyJon at Devcon 8. They will be speaking on Thu Nov 5 at 14:00 IST at Lotus Stage 1. Keep in mind that quantum attacks will not announce their arrival. The initial wave of breaches will most likely be silent and highly specific, setting their sights on wallets, bridges, validators, and custodians one target at a time.

Creating and validating ZK proofs involves intricate mathematical components that only a highly select group of specialists can truly understand and execute. Because of this steep technical barrier, @boundless_xyz chose to enlist the expertise of Veridise once again. Discover the insights shared by @emilianobonassi as he details the reasoning behind commissioning a second Marketplace audit with Veridise. Read the comprehensive overview by visiting the link provided below.

https://veridise.com/blog/audits-archive/boundless-marketplace-audit-methods-findings-and-security/

La construction et l’évaluation de preuves ZK impliquent des entités mathématiques complexes, que très peu de personnes maîtrisent suffisamment pour les gérer. Selon @emilianobonassi, ce défi particulier explique précisément pourquoi @BoundlessHQ a choisi de s’associer une nouvelle fois à Veridise pour réaliser un deuxième audit de sa Marketplace. Découvrez tous les détails de cette décision et les conclusions qui en ont découlé en lisant l’article complet au lien ci-dessous.

https://veridise.com/blog/audits-archive/boundless-marketplace-audit-methods-findings-and-security/

Protecting artificial intelligence agents experiences the exact same pitfalls as traditional access control, which means it is crucial to always audit whoever else holds the key.

For a clear example of this, consider a functioning pathway from an older draft of ERC-8468. In that version, a guardian could trigger a suspension for an AI agent, only to see the system come back online after just one block. This quick reactivation happened because the agent had specified a second key under its own command that carried the authorization to resume operations.

https://ethereum-magicians.org/t/erc-8468-agent-safety-framework-asf/30073

Une nouvelle coalition, baptisée Quantum Alliance, a été créée par neuf organisations du secteur des cryptomonnaies. Cette collaboration a donné naissance à un groupe de travail consacré aux systèmes de preuve à divulgation nulle de connaissance post-quantiques, une initiative que notre équipe suit de très près.

La principale raison de notre intérêt réside dans les difficultés techniques en jeu. Il est plutôt rare que des circuits conçus pour un système de preuve donné puissent être transférés sans difficulté vers un autre système. Par conséquent, toute réécriture nécessaire produit du code entièrement nouveau, qui doit faire l’objet d’un audit complet.

Pour en savoir plus sur cette annonce :
https://decrypt.co/381236/crypto-firms-launch-quantum-alliance-as-6-million-bitcoin-sit-exposed

Vérifier le comportement d’une boucle peut être délicat lorsqu’on ne sait pas combien d’itérations elle effectuera. Le secret consiste à établir une condition précise, vraie dès le départ et maintenue tout au long de chaque itération. Grâce au principe d’induction, vous pouvez être certain que cette propriété restera valide à la fin de l’exécution. Pour découvrir une excellente démonstration de cette méthode en action, @RaghavMalik15 explique en détail comment LLEQ la met en pratique.

Chaque fois que vous optimisez un circuit ZK pour réduire le nombre de contraintes, vous devez vous assurer que la nouvelle version effectue exactement le même calcul que votre conception initiale. Alors que les tests classiques ne valident que les entrées spécifiques auxquelles vous vous attendez, LLEQ adopte une approche beaucoup plus exhaustive. Il délègue la vérification à un solveur SMT, qui évalue logiquement chaque scénario d’entrée possible. Pour découvrir concrètement comment exécuter ce processus, @RaghavMalik15 propose un guide complet.

L’équipe d’@aztecnetwork a dévoilé une feuille de route post-quantique complète, dont l’achèvement est prévu d’ici 2030. L’ordre des mises à niveau prévues rend ce calendrier particulièrement intéressant. La priorité est de s’attaquer dès le départ au risque de « collecter maintenant pour déchiffrer plus tard ». Grâce à cette approche, des bibliothèques renforcées pour protéger les données privées seront introduites début 2027, bien avant le remplacement du système de preuve.

https://thedefiant.io/news/blockchains/aztec-targets-full-post-quantum-migration-by-end-of-2030

Lorsqu’on envisage la migration du Bitcoin, choisir un schéma de signature post-quantique est en réalité l’étape la moins compliquée. Un récent article sur le post-quantique publié par Coinbase met en lumière un problème bien plus difficile. Les portefeuilles utilisant des schémas à état doivent surveiller attentivement les clés à usage unique qui ont déjà été utilisées. Si un utilisateur restaure une sauvegarde obsolète et réutilise ensuite une clé, un attaquant pourrait alors réussir à forger une signature valide.

https://www.coindesk.com/tech/2026/10/14/coinbase-which-holds-5-of-all-bitcoin-wants-the-quantum-fix-started-now

Au cours d’une journée entière sur place à Singapour, l’équipe de Veridise a eu le plaisir de prendre la parole sur trois scènes bien distinctes. Que ce soit au sommet @solana, lors de @gammaprime ou à Multichain Day, nos échanges ont largement porté sur le ZK, les audits de sécurité et la vérification formelle. Malgré la diversité des lieux, un thème revenait sans cesse. Le public cherchait régulièrement un moyen fiable de vérifier qu’un morceau de code donné fait bien exactement ce que ses spécifications prescrivent.

Si votre feuille de route inclut un audit à venir pour le T4 ou au début de l’année prochaine, @kulm1nski est la personne idéale à consulter concernant le périmètre de votre projet et la planification. Il voyagera à Singapour pour assister à @token2049 du 5 au 9 octobre. Veuillez lui envoyer un DM pour convenir d’un rendez-vous.

Si votre prochaine feuille de route inclut la sécurité et que vous souhaitez en discuter simplement, la semaine prochaine sera l’occasion idéale de prendre contact. @FormallyJon part à Singapour, où il participera à @token2049 et explorera les événements parallèles du 5 au 9 octobre. N’hésitez pas à lui envoyer un message privé pour réserver un créneau de rencontre.

Avec l’introduction des transactions par cadre (Frame Transactions), les comptes auront la possibilité de définir leurs propres lignes directrices d’autorisation spécifiques. Cela signifie que les utilisateurs peuvent mettre en place des règles personnalisées pour des schémas de signature alternatifs, la récupération de compte et des approbations multiples. À la suite de ce changement, la logique opérationnelle qui réside actuellement dans le code de chaque portefeuille sera déplacée directement vers le protocole sous-jacent. Il est important de garder à l’esprit que, lors de cette transition, la surface de défaillance correspondante se déplacera également vers la couche protocolaire.

https://thedefiant.io/news/blockchains/buterin-maps-ethereum-s-post-hegota-cryptographic-world-computer

Avant de partager l’estimation de 63 $ pour une transaction Bitcoin résistante aux attaques quantiques, il est vivement recommandé d’examiner la méthodologie sous-jacente. Comme l’explique clairement @StarkWareLtd, ce montant est un modèle purement théorique et non une facture réelle : aucune véritable transaction n’est donc effectuée. De plus, si les tests de performance ont été réalisés à l’aide de cartes RTX 4090, la projection du coût global repose sur un réseau hypothétique composé de 100 cartes RTX 3090.

https://thedefiant.io/news/blockchains/starkware-challenge-cuts-quantum-safe-bitcoin-compute-estimate-by-79

Sécuriser une transaction Bitcoin contre les menaces liées à l’informatique quantique est désormais 6 fois plus rapide, grâce au code cryptographique optimisé par l’intelligence artificielle. Bien que la vitesse soit un critère que nous pouvons facilement mesurer, il est impossible d’établir que deux méthodes sont réellement équivalentes sans preuve vérifiable.

https://www.coindesk.com/tech/2026/09/24/a-week-of-ai-coding-cut-a-quantum-safe-bitcoin-transaction-estimate-from-usd320-to-usd66