Беру на себя разработку боевых смарт-контрактов и доказуемых программ на Cairo под Starknet — сеть с доказательствами нулевого разглашения на базе STARK. Cairo создан для проверяемых вычислений и близок по духу к Rust; я использую его именно так, как задумано, — выпускаю контракты, чья правильность подтверждается математически, а не остаётся на веру.
Направления работы: токен-стандарты (взаимозаменяемые монеты и NFT), механики стейкинга и вестинга, движки AMM и DEX, управление на цепочке, кошельки на абстракции аккаунта, оракулы, а также нестандартные доказуемые программы, которые выполняют тяжёлые расчёты вне цепочки и фиксируют результат единственным STARK-доказательством. К любому контракту прилагаю набор тестов в Starknet Foundry (snforge), фаз-тесты для рискованных сценариев и профиль по газу и шагам ради минимальной комиссии.
Порядок простой и предсказуемый: фиксируем техзадание, описываю типизированные интерфейсы и события, реализую, обкатываю на локальном devnet, после чего разворачиваю на тестнете Sepolia для проверки перед основной сетью. На выходе — аккуратный исходник Cairo с комментариями, скрипты развёртывания, ABI и краткая записка по устройству хранилища и обновлениям.
Безопасность держу в приоритете: барьеры от повторного входа, разграничение доступа, защита от переполнения, внимательная арифметика felt252. Есть контракт на Solidity — перенесу его смысл в идиоматичный Cairo, а не скопирую построчно. Расскажите про задачу — финансы, игры, цифровая личность или своя zk-логика — и я прямо скажу, что подходит для Starknet, а что нет.
Направления работы: токен-стандарты (взаимозаменяемые монеты и NFT), механики стейкинга и вестинга, движки AMM и DEX, управление на цепочке, кошельки на абстракции аккаунта, оракулы, а также нестандартные доказуемые программы, которые выполняют тяжёлые расчёты вне цепочки и фиксируют результат единственным STARK-доказательством. К любому контракту прилагаю набор тестов в Starknet Foundry (snforge), фаз-тесты для рискованных сценариев и профиль по газу и шагам ради минимальной комиссии.
Порядок простой и предсказуемый: фиксируем техзадание, описываю типизированные интерфейсы и события, реализую, обкатываю на локальном devnet, после чего разворачиваю на тестнете Sepolia для проверки перед основной сетью. На выходе — аккуратный исходник Cairo с комментариями, скрипты развёртывания, ABI и краткая записка по устройству хранилища и обновлениям.
Безопасность держу в приоритете: барьеры от повторного входа, разграничение доступа, защита от переполнения, внимательная арифметика felt252. Есть контракт на Solidity — перенесу его смысл в идиоматичный Cairo, а не скопирую построчно. Расскажите про задачу — финансы, игры, цифровая личность или своя zk-логика — и я прямо скажу, что подходит для Starknet, а что нет.
