À propos du service
TraduitJe développe des contrats intelligents de production et des programmes vérifiables en Cairo pour Starknet — un rollup à connaissance nulle utilisant la technologie STARK. Cairo est un langage pour le calcul vérifiable dans l'esprit de Rust, et je l'applique comme prévu : je livre des contrats dont la correction est prouvée mathématiquement, et non simplement supposée.
Ce que je fais : normes de jetons (fongibles et NFT), logique de staking et de vesting, cœurs AMM et DEX, gouvernance on-chain, portefeuilles d'abstraction de compte, oracles et programmes vérifiables arbitraires qui effectuent des calculs lourds hors chaîne et se règlent comme une seule preuve STARK on-chain. Chaque contrat est accompagné d'une suite de tests complète dans Starknet Foundry (snforge), de tests de fuzzing pour des chemins complexes et de profilage de gaz et d'étapes afin que vos utilisateurs paient le minimum.
Le processus est transparent : nous nous alignons sur une spécification, j'écris des interfaces et des événements typés, j'implémente, exécute sur le devnet local, puis déploie sur le testnet Sepolia pour votre révision avant le mainnet. Vous obtenez un code source Cairo propre et annoté, des scripts de déploiement, des ABIs et un court document de passation décrivant la disposition du stockage et les chemins de mise à niveau.
Je prends la sécurité au sérieux : protection contre la réentrance, contrôle d'accès, sécurité contre les débordements, arithmétique felt252 soigneuse. Si vous avez déjà un contrat Solidity, je porterai sa logique en Cairo idiomatique au lieu de le traduire ligne par ligne. Décrivez votre tâche — DeFi, jeux, identité ou votre propre logique de zk-compute — et je vous dirai honnêtement ce qui convient sur Starknet et ce qui ne convient pas.
Ce que je fais : normes de jetons (fongibles et NFT), logique de staking et de vesting, cœurs AMM et DEX, gouvernance on-chain, portefeuilles d'abstraction de compte, oracles et programmes vérifiables arbitraires qui effectuent des calculs lourds hors chaîne et se règlent comme une seule preuve STARK on-chain. Chaque contrat est accompagné d'une suite de tests complète dans Starknet Foundry (snforge), de tests de fuzzing pour des chemins complexes et de profilage de gaz et d'étapes afin que vos utilisateurs paient le minimum.
Le processus est transparent : nous nous alignons sur une spécification, j'écris des interfaces et des événements typés, j'implémente, exécute sur le devnet local, puis déploie sur le testnet Sepolia pour votre révision avant le mainnet. Vous obtenez un code source Cairo propre et annoté, des scripts de déploiement, des ABIs et un court document de passation décrivant la disposition du stockage et les chemins de mise à niveau.
Je prends la sécurité au sérieux : protection contre la réentrance, contrôle d'accès, sécurité contre les débordements, arithmétique felt252 soigneuse. Si vous avez déjà un contrat Solidity, je porterai sa logique en Cairo idiomatique au lieu de le traduire ligne par ligne. Décrivez votre tâche — DeFi, jeux, identité ou votre propre logique de zk-compute — et je vous dirai honnêtement ce qui convient sur Starknet et ce qui ne convient pas.
