Описание услуги
Разрабатываю промышленные смарт-контракты и доказуемые программы на 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, а что нет.
