Annuaire par blockchain

Audit et développement de smart contracts sur ZKsync

Développer et auditer sur ZKsync, rollup à preuve de validité : compilateurs et VM propres, abstraction de compte native, écarts avec l'EVM.

ZKsync est un rollup à preuves à divulgation nulle de connaissance sur Ethereum : il exécute les transactions hors d'Ethereum et prouve leur validité par des preuves cryptographiques vérifiées sur Ethereum. Il accepte Solidity et Vyper, mais les exécute sur sa propre machine virtuelle, qui n'est pas une copie exacte de l'EVM. Pour un projet, cela signifie des langages familiers avec des différences de comportement à tester et à faire relire explicitement.

Développer sur ZKsync

Les sources Solidity et Vyper sont compilées avec des compilateurs dédiés vers la machine virtuelle du réseau. La plupart du code applicatif fonctionne tel quel, mais certains comportements de bas niveau diffèrent d'Ethereum. ZKsync intègre l'abstraction de compte : tout compte peut être un smart contract doté de sa propre logique de validation, ce qui permet par exemple la prise en charge des frais par un tiers, mais modifie les hypothèses sur l'initiateur d'une transaction.

Langages : Solidity, Vyper
Outils : extensions ZKsync pour Hardhat et version de Foundry adaptée à ZKsync
Différences à vérifier : déploiement et calcul des adresses de contrats, certains opcodes et précompilés, coûts de gas et de données

Ce que regardent les auditeurs

Les écarts avec l'EVM : code qui prédit des adresses CREATE ou CREATE2, assembleur en ligne, opcodes au comportement différent
L'abstraction de compte : hypothèse d'un appelant simple, validation des signatures, logique des paymasters
La messagerie depuis Ethereum et les actifs pontés, dont l'authentification des messages entrants
Les hypothèses de coût de gas et de données reprises d'Ethereum
Les risques applicatifs EVM classiques : réentrance, manipulation d'oracle, contrôle d'accès

Avant de demander des devis

Vérifiez que le code compile avec la chaîne d'outils ZKsync et que les tests tournent dessus, pas seulement sur une EVM standard
Signalez tout assembleur en ligne, contrat factory ou précalcul d'adresse
Décrivez les comptes personnalisés ou paymasters si votre projet en utilise
Listez les autres chaînes EVM où le même code sera déployé

Auditeurs de smart contracts sur ZKsync

Coinspect
Informations publiques
Sécurité Web3 : audits de smart contracts, de protocoles L1/L2 et de code, tests d'intrusion
- Audit
- Tests d'intrusion
Ethereum · BNB Chain · Polygon · Optimism · ZKsync · +2 autres
Cyfrin
Informations publiques
Audits de smart contracts, tests d'intrusion et formation à la sécurité, éditeur d'Aderyn et Solodit
- Audit
- Tests d'intrusion
Ethereum · ZKsync · Arbitrum · Avalanche · BNB Chain · +8 autres
Hexens
Informations publiquesRoyaume-Uni
Sécurité offensive : audit de smart contracts, protocoles L1/L2, ZK et cryptographie
- Audit
- Tests d'intrusion
Ethereum · Polygon · ZKsync · Aptos
Nethermind
Informations publiquesRoyaume-Uni
Ingénierie et recherche blockchain à Londres ; Nethermind Security audite des smart contracts
- Développement
- Audit
Ethereum · Starknet · ZKsync · Solana
Omniscia
Informations publiquesBulgarie
Société de sécurité blockchain qui audite des smart contracts Solidity, rapports publics en ligne
- Audit
Ethereum · Polygon · Arbitrum · Base · BNB Chain · +3 autres
OpenZeppelin
Informations publiquesRoyaume-Uni
Audits de sécurité de smart contracts et bibliothèque open source OpenZeppelin Contracts
- Audit
Ethereum · Arbitrum · Optimism · Base · ZKsync · +2 autres
QuillAudits
Informations publiques
Cabinet d'audit de smart contracts qui propose aussi tests d'intrusion de dApps et surveillance
- Audit
- Tests d'intrusion
Ethereum · NEAR · BNB Chain · Polygon · Optimism · +8 autres
ScaleBit
Informations publiques
Équipe de sécurité Web3 qui audite smart contracts, dApps et blockchains, axée couches 2 Bitcoin
- Audit
Ethereum · Arbitrum · BNB Chain · Solana · Polygon · +3 autres
Shieldify
Informations publiquesBulgarie
Société bulgare de sécurité Web3 : audits de smart contracts à la mission ou par abonnement
- Audit
- Tests d'intrusion
- Développement
Ethereum · Solana · ZKsync · Avalanche · BNB Chain · +1 autres

Développeurs de smart contracts sur ZKsync

BootNode
Informations publiques
Studio de développement web3 : smart contracts, dApps et infrastructure pour l'écosystème Ethereum
- Développement
Ethereum · Optimism · ZKsync
Moonsong Labs
Informations publiquesÉtats-Unis
Société d'ingénierie blockchain : protocoles, tokenisation et paiements pour les institutions
- Développement
Ethereum · ZKsync · Solana · Polkadot
Nethermind
Informations publiquesRoyaume-Uni
Ingénierie et recherche blockchain à Londres ; Nethermind Security audite des smart contracts
- Développement
- Audit
Ethereum · Starknet · ZKsync · Solana
RedDuck
Informations publiquesUkraine
Partenaire d'ingénierie Web3 : smart contracts prêts pour l'audit sur EVM, Solana et Bitcoin
- Développement
Ethereum · Polygon · BNB Chain · Arbitrum · Base · +6 autres
Shieldify
Informations publiquesBulgarie
Société bulgare de sécurité Web3 : audits de smart contracts à la mission ou par abonnement
- Audit
- Tests d'intrusion
- Développement
Ethereum · Solana · ZKsync · Avalanche · BNB Chain · +1 autres
Zpoken
Informations publiquesEstonie
Équipe d'ingénierie crypto senior : consensus L1, zero-knowledge, mécanismes DeFi et stablecoins
- Développement
Ethereum · Solana · NEAR · Arbitrum · Base · +1 autres

Tous les prestataires ZKsync de l'annuaire Candidater ou revendiquer une fiche

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.