Solidity Labs

Présentation

Solidity Labs LLC est une société d'ingénierie de smart contracts qui intègre ses ingénieurs aux équipes de ses clients pour construire et sécuriser des systèmes onchain. Ses services couvrent l'architecture et la conception de systèmes, l'écriture de smart contracts en Solidity avec un parti pris de simplicité et d'auditabilité, les tests et la vérification formelle, ainsi que le déploiement et les opérations onchain. Les tests unitaires, d'intégration, de fuzzing, de mutation et d'invariants sont systématiques, et les systèmes complexes sont vérifiés formellement avec le Certora Prover. La société a créé le Forge Proposal Simulator, framework open source qui simule les propositions de gouvernance sur un fork du mainnet avant exécution et prend en charge OpenZeppelin Timelock, Safe, Compound Governor Bravo et OpenZeppelin Governor. Elle contribue aussi aux cadres de sécurité opérationnelle de la Security Alliance et publie une bibliothèque de limitation de débit, une liste de contrôle pour la revue de code et des supports d'atelier sur le développement sécurisé. Ses références publiées portent sur du prêt multichaîne sur Ethereum, Base et Optimism, un stablecoin décentralisé, un bridge entre Ethereum et Cosmos et des systèmes de valeur contrôlée par protocole. Elle s'adresse aux équipes qui développent des protocoles de prêt, des stablecoins, des DEX, des systèmes de gouvernance, des wallets et des solutions de conservation.

En bref

• Intègre des ingénieurs smart contracts aux équipes clientes
• Tests unitaires, d'intégration, de fuzzing, de mutation et d'invariants systématiques
• Vérifie formellement les systèmes complexes avec le Certora Prover
• Maintient le Forge Proposal Simulator, outil open source pour la gouvernance
• Contribue aux cadres de sécurité opérationnelle de la Security Alliance

Solidity Labs : questions fréquentes

Quels services propose Solidity Labs ?

D'après ses informations publiques, Solidity Labs propose : Développement.

Sur quelles blockchains travaille Solidity Labs ?

Solidity Labs travaille sur Ethereum, Base et Optimism.

Quels langages de smart contracts utilise Solidity Labs ?

Solidity Labs travaille en Solidity.

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

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

Comment obtenir un devis de Solidity Labs ?

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.