Опис послуги
ПерекладРозробляю промислові смарт-контракти та доказові програми на Cairo для Starknet — мережі з нульовим розглашенням на технології STARK. Cairo — мова для верифікованих обчислень у дусі Rust, і я застосовую її за призначенням: випускаю контракти, коректність яких доводиться математично, а не просто передбачається.
Що роблю: стандарти токенів (взаємозамінні та NFT), логіку стейкингу та вестингу, ядра AMM та DEX, ончейн-управління, гаманці на абстракції аккаунту, оракули та довільні доказові програми, які рахують важку навантаження офчейн та осідають одним STARK-доказом ончейн. Кожен контракт йде з повним набором тестів у Starknet Foundry (snforge), фаз-тестами для складних шляхів та профілюванням газу та кроків, щоб ваші користувачі платили мінімум.
Процес прозорий: узгоджуємо специфікацію, пишу типізовані інтерфейси та події, реалізую, гоняю на локальному devnet, потім вилучаю на тестнет Sepolia для вашої перевірки перед мейннетом. Ви отримуєте чистий прокоментований вихідник Cairo, скрипти деплою, ABI та коротку документ передачі з описом розкладки сховища та шляхів оновлення.
Ставлюся до безпеки серйозно: захист від реентрантності, контроль доступу, безпека від переповнення, акуратна робота з арифметикою felt252. Якщо у вас уже є контракт на Solidity, я перенесу його логіку в ідіоматичний Cairo, а не переписую рядок за рядком. Опишіть завдання — DeFi, ігри, ідентифікація або своя zk-обчислювальна логіка — і я чесно скажу, що ляжеться на Starknet, а що ні.
Що роблю: стандарти токенів (взаємозамінні та NFT), логіку стейкингу та вестингу, ядра AMM та DEX, ончейн-управління, гаманці на абстракції аккаунту, оракули та довільні доказові програми, які рахують важку навантаження офчейн та осідають одним STARK-доказом ончейн. Кожен контракт йде з повним набором тестів у Starknet Foundry (snforge), фаз-тестами для складних шляхів та профілюванням газу та кроків, щоб ваші користувачі платили мінімум.
Процес прозорий: узгоджуємо специфікацію, пишу типізовані інтерфейси та події, реалізую, гоняю на локальному devnet, потім вилучаю на тестнет Sepolia для вашої перевірки перед мейннетом. Ви отримуєте чистий прокоментований вихідник Cairo, скрипти деплою, ABI та коротку документ передачі з описом розкладки сховища та шляхів оновлення.
Ставлюся до безпеки серйозно: захист від реентрантності, контроль доступу, безпека від переповнення, акуратна робота з арифметикою felt252. Якщо у вас уже є контракт на Solidity, я перенесу його логіку в ідіоматичний Cairo, а не переписую рядок за рядком. Опишіть завдання — DeFi, ігри, ідентифікація або своя zk-обчислювальна логіка — і я чесно скажу, що ляжеться на Starknet, а що ні.
