labs@atheron:~/services/web3$ deploy contract --audit-ready

Contrats intelligents

Du code Web3 écrit pour l’audit.

Jetons, mise en jeu, coffres, places de marché et les dapps que voient vos utilisateurs. Nous écrivons vos contrats pour qu’un auditeur puisse les lire, et nous les testons comme s’il regardait déjà.

Lancer un projet L’estimer

// ce que nous bâtissons

Les contrats et leurs applis.

Jetons

Jetons fongibles et non fongibles, avec les règles d’émission inscrites dans le contrat, pas dans une promesse.

Mise en jeu et coffres

Dépôts, récompenses et retraits. La comptabilité est testée contre chaque ordre d’opérations que nous pouvons générer.

Places de marché

Annonces, offres et règlement sur la chaîne, avec des frais et des redevances qui balancent.

Dapps

Des interfaces qui lisent la chaîne, demandent les signatures clairement et montrent ce qu’une transaction fera avant que votre utilisateur l’envoie.

Connexion par portefeuille

Vos utilisateurs se connectent avec un portefeuille, sur plusieurs chaînes. Le défi est créé et vérifié sur le serveur.

Préparation à l’audit

Spécifications, invariants, suites de tests et documentation, pour que votre audit consacre son temps à ce qui compte.

// notre façon de bâtir

D’abord les invariants.

Avant d’écrire le contrat, nous écrivons ce qui doit toujours être vrai, par exemple que personne ne retire plus qu’il n’a déposé.
Les tests de propriétés et le fuzzing essaient des milliers de séquences d’appels contre ces invariants.
Les mises à niveau, les clés d’administration et les pauses sont décidées ouvertement et documentées. Rien n’est caché.
Si quelque chose ne devrait pas être sur la chaîne du tout, nous vous le disons franchement.

// technologies

Nos outils habituels.

contrats: Solidity pour les chaînes EVM; Rust quand la chaîne l’exige
tests: Foundry, tests de propriétés et fuzzing
interface: Next.js, TypeScript, connecteurs de portefeuille standard (EIP-6963)
connexion: Connexion par portefeuille pour EVM, Bitcoin, Solana, TON, Sui, Aptos et Cosmos

// un premier projet typique

Jeton et mise en jeu, prêts pour l’audit.

Un jeton, un contrat de mise en jeu et une dapp simple pour les utiliser, avec les tests et les documents qu’un auditeur demande. Ouvrez ce projet dans l’estimateur pour en voir le coût.

Estimer ce projet

// preuve

La chaîne de blocs ATON

Notre propre spécification de block-DAG : une règle de type GHOSTDAG, un plafond ferme d’un milliard d’ATON et un lancement équitable.

En savoir plus sur la chaîne

// questions

Questions sur les contrats.

Auditez-vous les contrats?

Nous les préparons pour l’audit et les testons à fond, mais votre audit devrait venir de quelqu’un qui n’a pas écrit le code. Nous vous aidons à choisir un auditeur et à corriger ce qu’il trouve.

Quelles chaînes?

Ethereum et les chaînes EVM surtout, et d’autres quand votre projet en a besoin. Si une chaîne convient mal à ce que vous voulez faire, nous vous le dirons.

Les contrats peuvent-ils être mis à niveau?

Ils peuvent être bâtis pour l’être. C’est un compromis entre pouvoir corriger des erreurs et faire confiance à qui détient la clé de mise à niveau. Nous le décidons avec vous et le documentons.

Lancez-vous des jetons à vendre?

Nous bâtissons les contrats et les applications. Savoir si et comment un jeton est offert est une question juridique pour vos propres conseillers, et nous ne donnons pas ce conseil.

// secteurs