Quels services propose Veridise ?

D'après ses informations publiques, Veridise propose : Audit.

Sur quelles blockchains travaille Veridise ?

Veridise travaille sur Ethereum, Arbitrum, Optimism, Base et Polygon.

Quels langages de smart contracts utilise Veridise ?

Veridise travaille en Solidity.

Veridise est-elle vérifiée sur smart-contract.com ?

Pas encore. Cette fiche a été établie à partir d'informations publiques et Veridise ne l'a pas revendiquée ni passé le processus de vérification de smart-contract.com.

Comment obtenir un devis de Veridise ?

Décrivez votre projet une fois sur smart-contract.com : vous recevez des devis comparables, au même format, des prestataires qui correspondent. Le développement et l'audit sont toujours confiés à deux sociétés indépendantes.

Prestataire

Veridise

Audits de smart contracts et de circuits ZK appuyés sur les méthodes formelles et des outils maison

Informations publiques

Présentation

Veridise Inc. est une société de sécurité blockchain issue du groupe de recherche UToPiA de l'université du Texas à Austin, spécialisé en analyse, vérification et synthèse de programmes. Elle propose des audits de smart contracts, des audits DeFi, des audits de blockchains de niveau 1 et 2, des audits de circuits à divulgation nulle de connaissance, de zkVM et d'applications zkVM, des revues de portefeuilles et d'intégrations Web3, de la sécurité NFT, des preuves de sécurité pour protocoles cryptographiques, des revues d'architecture et de la recherche en sécurité. Ses audits associent revue manuelle du code et outils maison : OrCa, un outil de fuzzing guidé par des spécifications, Vanguard, un analyseur statique pour smart contracts et circuits ZK, et Picus, qui détecte des bugs dans les circuits arithmétiques. L'entreprise exploite aussi AuditHub, une plateforme construite autour de ces outils. Ses archives font état d'audits sur des langages et systèmes de preuve ZK comme Circom, Halo2, Plonky2, o1js, Zirgen et gnark, ainsi que sur des rollups ZK sur Ethereum. Des pages dédiées couvrent Solidity et l'EVM, Arbitrum, Base, Optimism, Polygon et Soroban, et de nombreux rapports sont publiés dans ses archives d'audits.

En bref

Issue d'un groupe de recherche en analyse de programmes de l'université du Texas
Audite smart contracts, circuits ZK, zkVM et blockchains de niveau 1 et 2
Utilise ses outils OrCa (fuzzing), Vanguard (analyse statique) et Picus (circuits ZK)
Exploite la plateforme AuditHub
Publie des rapports clients dans des archives d'audits en ligne

Services: Audit
Blockchains: Ethereum
Arbitrum
Optimism
Base
Polygon
Langages: Solidity
Site web: veridise.com(s'ouvre dans un nouvel onglet)
Rapports d'audit publics: veridise.com(s'ouvre dans un nouvel onglet)

Veridise : questions fréquentes

Quels services propose Veridise ?: D'après ses informations publiques, Veridise propose : Audit.
Sur quelles blockchains travaille Veridise ?: Veridise travaille sur Ethereum, Arbitrum, Optimism, Base et Polygon.
Quels langages de smart contracts utilise Veridise ?: Veridise travaille en Solidity.
Veridise est-elle vérifiée sur smart-contract.com ?: Pas encore. Cette fiche a été établie à partir d'informations publiques et Veridise ne l'a pas revendiquée ni passé le processus de vérification de smart-contract.com.
Comment obtenir un devis de Veridise ?: Décrivez votre projet une fois sur smart-contract.com : vous recevez des devis comparables, au même format, des prestataires qui correspondent. Le développement et l'audit sont toujours confiés à deux sociétés indépendantes.

D'où viennent ces informations

Cette fiche a été établie à partir des pages publiques ci-dessous et relue pour la dernière fois le 24 septembre 2026. La société ne l'a pas encore revendiquée, n'est pas partenaire de smart-contract.com et n'a pas été vérifiée.

Décrivez votre projet une fois. Comparez en toute confiance.

Recevez des devis comparables de développeurs vérifiés, puis sécurisez votre code avec un auditeur indépendant.

Recevoir des devis

Gratuit pour les clients. Sans engagement.