O usłudze
PrzetłumaczoneRozwijam produkcyjne inteligentne kontrakty i programy możliwe do udowodnienia w Cairo dla Starknet — rollup zero-knowledge wykorzystujący technologię STARK. Cairo to język do weryfikowalnych obliczeń w duchu Rust, a ja stosuję go zgodnie z zamierzeniem: dostarczam kontrakty, których poprawność jest matematycznie udowodniona, a nie tylko zakładana.
Co robię: standardy tokenów (fungible i NFT), logika stakingu i vestingu, rdzenie AMM i DEX, zarządzanie on-chain, portfele z abstrakcją konta, oracle i dowolne programy możliwe do udowodnienia, które wykonują ciężkie obliczenia off-chain i rozliczają się jako pojedynczy dowód STARK on-chain. Każdy kontrakt zawiera pełny zestaw testów w Starknet Foundry (snforge), testy fuzz dla złożonych ścieżek oraz profilowanie gazu i kroków, aby Twoi użytkownicy płacili minimum.
Proces jest przejrzysty: ustalamy specyfikację, piszę typowane interfejsy i zdarzenia, implementuję, uruchamiam na lokalnym devnecie, a następnie wdrażam na testnet Sepolia do Twojej recenzji przed mainnetem. Otrzymujesz czysty, adnotowany kod źródłowy Cairo, skrypty wdrożeniowe, ABIs oraz krótki dokument przekazania opisujący układ pamięci i ścieżki aktualizacji.
Traktuję bezpieczeństwo poważnie: ochrona przed reentrancy, kontrola dostępu, bezpieczeństwo przed przepełnieniem, staranna arytmetyka felt252. Jeśli już masz kontrakt Solidity, przeniosę jego logikę do idiomatycznego Cairo zamiast tłumaczyć go linia po linii. Opisz swoje zadanie — DeFi, gry, tożsamość lub własną logikę zk-compute — a ja szczerze powiem Ci, co pasuje do Starknet, a co nie.
Co robię: standardy tokenów (fungible i NFT), logika stakingu i vestingu, rdzenie AMM i DEX, zarządzanie on-chain, portfele z abstrakcją konta, oracle i dowolne programy możliwe do udowodnienia, które wykonują ciężkie obliczenia off-chain i rozliczają się jako pojedynczy dowód STARK on-chain. Każdy kontrakt zawiera pełny zestaw testów w Starknet Foundry (snforge), testy fuzz dla złożonych ścieżek oraz profilowanie gazu i kroków, aby Twoi użytkownicy płacili minimum.
Proces jest przejrzysty: ustalamy specyfikację, piszę typowane interfejsy i zdarzenia, implementuję, uruchamiam na lokalnym devnecie, a następnie wdrażam na testnet Sepolia do Twojej recenzji przed mainnetem. Otrzymujesz czysty, adnotowany kod źródłowy Cairo, skrypty wdrożeniowe, ABIs oraz krótki dokument przekazania opisujący układ pamięci i ścieżki aktualizacji.
Traktuję bezpieczeństwo poważnie: ochrona przed reentrancy, kontrola dostępu, bezpieczeństwo przed przepełnieniem, staranna arytmetyka felt252. Jeśli już masz kontrakt Solidity, przeniosę jego logikę do idiomatycznego Cairo zamiast tłumaczyć go linia po linii. Opisz swoje zadanie — DeFi, gry, tożsamość lub własną logikę zk-compute — a ja szczerze powiem Ci, co pasuje do Starknet, a co nie.
