Эти навыки не влияют на основной грейд, но покажут полноту вашего профиля.
AI-ассистенты кодирования
▼
Использует ChatGPT и Claude для объяснения Solidity-концепций, дебаггинга контрактов и изучения security patterns. Проверяет AI-ответы на точность, особенно для cryptographic и security вопросов.
Применяет AI для code review контрактов, генерации unit-тестов и NatSpec документации. Создаёт промпты для анализа security уязвимостей. Понимает hallucination risks для Solidity кода.
Интегрирует AI в smart contract development workflow. Создаёт custom prompts для threat modeling, formal specification writing и architecture review. Обучает команду эффективному использованию.
Определяет AI usage стратегию для smart contract команд. Формирует policies для конфиденциальности кода. Оценивает advanced AI tools: Claude Code, Cursor для Solidity разработки.
Использует Cursor для blockchain dev: AI-assisted Solidity coding, contract generation.
Настраивает Cursor: Solidity-specific rules, security-focused suggestions, Hardhat integration.
Оптимизирует Cursor для blockchain: security audit prompts, gas optimization suggestions.
Определяет AI IDE стандарты: approved configurations, security review for AI-generated contracts.
Использует GitHub Copilot для ускорения написания Solidity тестов и TypeScript integration code. Критически проверяет suggestions на security issues и gas inefficiencies.
Эффективно использует Copilot для boilerplate Solidity code, test generation и NatSpec documentation. Знает ограничения AI для security-critical Solidity code и комбинирует с manual review.
Формирует guidelines по использованию AI coding assistants для smart contract разработки. Настраивает workspace context для Solidity-specific suggestions. Оценивает security risks AI-generated code.
Определяет AI-assisted development policy для smart contract организации. Формирует training и оценивает ROI от AI tools для contract development productivity и code quality.
CI/CD
▼
Использует GitHub Actions для blockchain: smart contract compilation, basic testing. Понимает CI workflow.
Проектирует CI для blockchain: Hardhat/Foundry testing, security scanning, deployment verification.
Определяет CI/CD architecture: multi-chain deployment, automated auditing, testnet deployment pipelines.
Определяет CI/CD стандарты: mandatory security checks, deployment approval, audit requirements.
Code Review
▼
Проходит code review для смарт-контрактов, применяя замечания по security, gas optimization и readability. Изучает common vulnerabilities из review комментариев senior-разработчиков.
Проводит code review для Solidity-контрактов: проверяет gas optimization, access control, reentrancy protection, event emission. Оставляет конструктивные комментарии с security context.
Проводит architecture и security-focused review для smart contract систем. Формирует review checklist для DeFi, governance и upgradeable контрактов. Менторит reviewers по security review.
Определяет code review process для smart contract организации. Формирует review SLA, mandatory reviewers для security-critical changes и escalation для audit-level findings.
DeFi
▼
Понимает основы проектирования токеномики: инфляционные vs дефляционные модели, стейкинг-награды и структуры комиссий. Реализует контракты распределения токенов и логику вестинга на Solidity. Изучает существующие модели токенов DeFi как референс.
Самостоятельно разрабатывает с Tokenomics Design в Hardhat/Foundry/OpenZeppelin. Проводит базовый аудит. Оптимизирует gas.
Проектирует production-системы токеномики: bonding curves, liquidity mining и ve-token governance модели. Реализует сложное распределение наград, графики эмиссии и anti-whale механизмы в смарт-контрактах. Симулирует экономические векторы атак и теоретико-игровые сценарии. Менторит по инженерии токеномики.
Определяет стандарты архитектуры токеномики и процессы экономического ревью для команд смарт-контрактов. Устанавливает фреймворки симуляции для валидации моделей токенов перед запуском в mainnet. Координирует с экономистами протокола по дизайну стимулов и управлению казной.
Понимает token standards и их экономическое назначение: ERC-20 (utility/governance), ERC-721 (ownership), ERC-4626 (yield). Реализует базовые token mechanics: mint, burn, transfer hooks.
Реализует token economics в контрактах: vesting schedules, staking rewards, fee distribution mechanisms. Моделирует emission schedules и оптимизирует gas для mass operations.
Проектирует complex token systems: ve-tokenomics, bonding curves, rebase mechanics, real yield distribution. Проводит game-theoretic analysis и симулирует economic attacks на контрактном уровне.
Определяет tokenomics design framework для организации. Координирует с economists и legal для regulatory compliance. Формирует review process для token contract launches.
Git и workflow
▼
Использует Git для smart contract разработки: feature branches, commits с conventional messages, pull requests. Понимает Git Flow и работает с Foundry/Hardhat project structure.
Применяет advanced Git: interactive rebase, cherry-pick, bisect для поиска regression в контрактах. Настраивает branch protection с mandatory Slither и test checks перед merge.
Проектирует Git workflow для smart contract monorepo: contract versioning strategy, deployment tracking через git tags, automated changelog generation для contract upgrades.
Определяет Git strategy для smart contract организации. Формирует branching model с audit branch, release process с deployment verification и rollback procedures.
GraphQL
▼
Понимает GraphQL для blockchain: The Graph для indexed queries, subgraph basics.
Проектирует subgraphs: The Graph schema design, entity relationships, event handlers. Оптимизирует queries.
Проектирует GraphQL architecture: multi-chain subgraphs, custom indexers, performance optimization.
Определяет GraphQL стандарты: subgraph design guidelines, schema governance.
Kubernetes и оркестрация
▼
Понимает K8s для blockchain: containerized nodes, basic deployment. Использует kubectl.
Деплоит blockchain в K8s: stateful sets для nodes, persistent volumes, health checks.
Проектирует K8s architecture: multi-chain node management, auto-scaling, rolling updates.
Определяет K8s стандарты: node deployment patterns, storage requirements, security.
Prompt Engineering
▼
Формулирует эффективные промпты для AI при работе с Solidity: объяснение уязвимостей, генерация тестов, написание NatSpec. Использует chain-of-thought для сложных contract logic вопросов.
Создаёт structured prompts для smart contract задач: security review templates, test generation, formal spec writing. Применяет few-shot examples для Solidity-specific AI assistance.
Проектирует prompt library для smart contract организации: security audit prompts, architecture review, gas optimization analysis. Интегрирует AI-prompts в development workflow.
Определяет prompt engineering стратегию для smart contract команд. Формирует best practices и training. Оценивает эффективность AI prompts для различных contract development tasks.
REST API
▼
Понимает REST API для blockchain: interacts с blockchain через RPC/REST, indexer APIs. Создаёт basic endpoints.
Проектирует blockchain API: indexer API design, webhook endpoints, transaction submission API.
Проектирует API architecture: blockchain data API, event streaming, multi-chain API abstraction.
Определяет API стандарты: blockchain API guidelines, versioning, error handling.
System Design
▼
Понимает базовые концепции system design в контексте smart contracts: state management, composability, upgrade patterns. Рисует контрактные диаграммы и описывает interaction flows.
Проектирует архитектуру smart contract систем: separation of concerns, proxy patterns для upgradeability, registry patterns для service discovery. Документирует architectural decisions.
Проектирует complex contract systems: multi-protocol integration, cross-chain deployment architecture, emergency pause и recovery mechanisms. Обеспечивает modularity и extensibility.
Определяет system design principles для smart contract организации. Проводит architecture review и формирует design templates. Координирует cross-team architectural decisions.
Unit-тестирование
▼
Пишет unit-тесты для Solidity контрактов через Foundry или Hardhat. Тестирует отдельные функции: state changes, reverts, event emission. Использует assertions и expect для проверок.
Пишет параметризованные и property-based тесты для контрактов. Тестирует boundary values, overflow scenarios и access control edge cases. Использует fixtures и helpers для DRY tests.
Проектирует unit testing architecture: shared test base contracts, helper libraries, mock contracts. Внедряет mutation testing для оценки качества тестов и выявления weak spots.
Определяет unit testing стандарты для организации. Формирует tiered coverage requirements по контракт criticality. Менторит разработчиков по testing best practices и test design.
Web3-разработка
▼
Понимает основы кросс-чейн мостов с точки зрения смарт-контрактов: интерфейсы bridge-контрактов, протоколы передачи сообщений и механика оборачивания токенов. Следует командным паттернам для реализации bridgeable-контрактов токенов.
Самостоятельно разрабатывает с Cross-Chain Bridges в Hardhat/Foundry/OpenZeppelin. Проводит базовый аудит. Оптимизирует gas.
Проектирует кросс-чейн системы смарт-контрактов: интеграция Chainlink CCIP, LayerZero messaging и Hyperlane interchain contracts. Проводит аудиты безопасности логики bridge-контрактов и реализует механизмы защиты от replay.
Определяет архитектуру кросс-чейн смарт-контрактов: стандарты передачи сообщений, управление кросс-чейн состоянием и управление обновлениями bridge-контрактов. Устанавливает требования аудита безопасности для межчейн-взаимодействий протоколов.
Понимает cross-chain messaging протоколы: LayerZero, Axelar, CCIP. Реализует простой cross-chain token transfer контракт. Тестирует message passing на testnets двух сетей.
Реализует cross-chain контракты: OApp (LayerZero), GMP (Axelar) с обработкой failed messages и replay protection. Тестирует edge cases: timeouts, partial failures, gas estimation.
Проектирует cross-chain protocol architecture: message verification, security validations, state synchronization между контрактами на разных сетях. Анализирует bridge attack vectors.
Определяет cross-chain контрактную архитектуру для организации. Оценивает messaging protocols по security и cost. Формирует security requirements и testing standards для bridge contracts.
Реализует базовый Governor контракт с OpenZeppelin: proposal creation, voting, execution через TimelockController. Тестирует полный governance lifecycle в Foundry.
Реализует advanced governance контракты: delegation, quorum calculation, multiple voting strategies (simple, weighted, quadratic). Интегрирует Snapshot для off-chain голосования.
Проектирует governance architecture для DeFi протоколов: veToken governance, optimistic governance, cross-chain voting. Анализирует и защищает от governance attack vectors.
Определяет governance contract framework для организации. Формирует security checklist для governance contracts. Координирует governance contract upgrades и parameter changes.
Разрабатывает frontend часть dApp для взаимодействия с контрактами: подключение кошелька, вызов view/write функций, отслеживание transaction status. Использует wagmi и React.
Разрабатывает полнофункциональные dApp для DeFi: multicall для batch reads, event-driven UI updates, error handling для reverted transactions. Интегрирует contract ABIs автоматически.
Проектирует dApp архитектуру для complex smart contract систем: multi-contract interaction flows, gasless transactions через relayers, offline-first с on-chain settlement.
Определяет dApp development standards для организации. Формирует shared UI components для contract interactions. Координирует frontend-contract integration architecture.
Понимает основы смарт-контрактов NFT: реализации ERC-721/ERC-1155, паттерны tokenURI и стандарты роялти (EIP-2981). Следует командным паттернам для написания функций минтинга, контроля доступа и стратегий метаданных on-chain/off-chain.
Самостоятельно разрабатывает с NFT Development в Hardhat/Foundry/OpenZeppelin. Проводит базовый аудит. Оптимизирует gas.
Проектирует продвинутые системы NFT-контрактов: ERC-6551 token-bound accounts, динамические NFT с Chainlink oracles и газоэффективные batch-операции. Проводит аудиты безопасности логики NFT-маркетплейсов и реализует новые стандарты токенов.
Определяет архитектуру и управление смарт-контрактами NFT: стратегии обновления NFT-контрактов, механизмы enforcement роялти и on-chain tracking провенанса. Устанавливает требования аудита безопасности и стандарты тестирования для разработки NFT-протоколов.
Реализует ERC-721 и ERC-1155 контракты с OpenZeppelin. Настраивает metadata JSON schema и IPFS storage для NFT assets. Тестирует mint, transfer, approval и royalty функции.
Реализует advanced NFT контракты: ERC-721A для batch mint, EIP-2981 royalties, dynamic metadata с on-chain updates. Интегрирует с маркетплейсами через Seaport protocol.
Проектирует NFT contract systems: token-bound accounts (EIP-6551), composable NFTs, on-chain SVG generation. Оптимизирует для large-scale mints с MEV-protection и fair distribution.
Определяет NFT contract architecture standards для организации. Формирует metadata стандарты и royalty enforcement strategy. Координирует marketplace protocol integrations.
Использует ethers.js и viem для взаимодействия с контрактами: чтение state, отправка транзакций, decoding events. Работает с ABI encoding/decoding и contract factory patterns.
Разрабатывает TypeScript SDK для smart contract взаимодействия: type-safe contract calls через viem/wagmi, multicall batching, event subscription. Генерирует типы из ABI автоматически.
Проектирует contract interaction infrastructure: transaction management, gas estimation, nonce handling, retry logic. Оптимизирует для reliable execution и high-throughput batch operations.
Определяет Web3 library стратегию для организации. Формирует shared contract SDK и coordinates ethers→viem migration. Определяет TypeScript contract interaction standards.
Реализует основные токен-стандарты: ERC-20, ERC-721, ERC-1155, ERC-4626. Понимает interface requirements и extension points каждого стандарта. Тестирует compliance через reference tests.
Реализует extended token mechanics: fee-on-transfer, rebasing tokens, permit (EIP-2612). Понимает edge cases: zero-amount transfers, self-transfers, approval race conditions.
Проектирует custom token systems: multi-token vaults, wrapped token bridges, synthetic assets. Анализирует composability risks с DeFi протоколами и обеспечивает standards compliance.
Определяет token standard стратегию для организации. Формирует guidelines по выбору стандарта для use case. Координирует adoption новых стандартов и token migration processes.
Алгоритмы и структуры данных
▼
Понимает Big-O нотацию и применяет к оценке gas cost операций в Solidity. Избегает O(n) циклов в контрактах с неограниченными массивами. Выбирает оптимальные структуры для on-chain хранения.
Оптимизирует алгоритмическую сложность on-chain операций: Merkle trees O(log n), bitmap operations O(1). Анализирует gas profile функций и минимизирует SLOAD/SSTORE операции.
Проектирует gas-optimal алгоритмы для DeFi math: fixed-point arithmetic, sqrt algorithms для AMM. Применяет amortized analysis для batch операций и оптимизирует hot paths контрактов.
Формирует gas optimization guidelines для организации. Проводит алгоритмический review контрактов и определяет computation budgets для on-chain vs off-chain balance решений.
Понимает Solidity storage structures: mappings, arrays, structs. Знает slot allocation и storage layout. Использует events для off-chain indexing данных, которые не нужны on-chain.
Применяет advanced storage patterns: EnumerableSet, packed structs, bitmap flags. Оптимизирует storage через SSTORE2/SSTORE3. Понимает cold vs warm SLOAD costs и их impact.
Проектирует custom storage solutions: transient storage (EIP-1153), SSTORE2 code-as-data, memory-mapped structures. Реализует gas-efficient linked lists и priority queues on-chain.
Определяет storage architecture standards для организации. Формирует guidelines для data structure selection и storage optimization. Менторит команду по advanced storage patterns.
Архитектурные паттерны
▼
Понимает как smart contracts функционируют в контексте распределённой системы: глобальный state, транзакционная модель, eventual settlement. Знает ограничения EVM для real-time операций.
Проектирует контракты с учётом distributed systems constraints: block timestamp manipulation, frontrunning, cross-contract atomicity. Реализует patterns для надёжного multi-step execution.
Проектирует smart contract системы с пониманием distributed state: cross-chain state consistency, oracle reliability, sequencer dependency. Моделирует failure scenarios и реализует fallback mechanisms.
Определяет distributed systems guidelines для smart contract разработки. Формирует best practices для handling distributed state и cross-chain consistency в организации.
Безопасность приложений
▼
Понимает базовое моделирование угроз для смарт-контрактов: определяет распространённые паттерны уязвимостей (integer overflow, ошибки контроля доступа, непроверенные внешние вызовы). Следует рекомендациям OWASP Smart Contract Top 10. Документирует потенциальные угрозы в дизайне контрактов под руководством.
Самостоятельно применяет моделирование угроз к мультиконтрактным системам и кросс-чейн взаимодействиям. Анализирует векторы атак на уровне протокола (эксплойты мостов, зависимости от оракулов, злоупотребление механизмами обновления). Понимает компромиссы между паттернами proxy и иммутабельностью с точки зрения безопасности. Сопоставляет угрозы с целями формальной верификации.
Проектирует комплексные процессы моделирования угроз для экосистем DeFi-протоколов. Создаёт формальные таксономии угроз, охватывающие экономические, криптографические и governance-поверхности атак. Менторит команды по инвариантно-ориентированному проектированию безопасности и автоматическому обнаружению угроз при обновлении смарт-контрактов. Оптимизирует объём security-аудита на основе покрытия модели угроз.
Определяет стратегию моделирования угроз для команд разработки смарт-контрактов и протокольных продуктов. Устанавливает стандарты security-ревью, интегрирующие формальную верификацию с анализом угроз. Координирует кросс-протокольные оценки угроз для рисков композируемости и обновлений. Продвигает внедрение моделирования угроз как обязательной практики перед аудитом во всей контрактной разработке.
Блокчейн-инфраструктура
▼
Деплоит контракты в L2 сети (Arbitrum, Optimism, zkSync). Понимает различия в gas модели и EVM-совместимости. Тестирует на L2 testnets и сравнивает deployment costs.
Адаптирует контракты для L2 deployment: учитывает L1-data costs в gas calculation, L2-specific precompiles. Реализует L1<->L2 contract messaging для deposit/withdrawal flows.
Проектирует cross-L2 контрактные архитектуры. Реализует L2-native features и оптимизирует для L2-specific gas model. Анализирует security implications sequencer centralization.
Определяет L2 deployment стратегию для организации. Выбирает L2 для различных contract use cases. Формирует L2 compatibility testing requirements и deployment automation.
Понимает zk-rollup architecture и как она влияет на smart contract development. Деплоит контракты на zkSync и StarkNet. Изучает различия в EVM-совместимости (type 1-4 zkEVM).
Адаптирует контракты для zk-rollup deployment: учитывает opcodes отличия, gas model specifics. Реализует cross-layer contract messaging между L1 и zk-rollup. Тестирует на zkSync testnets.
Проектирует контрактные системы оптимизированные для zk-rollup: минимизация storage slots, optimization для prover efficiency. Анализирует zk-specific vulnerability patterns.
Определяет zk-rollup deployment стратегию для smart contract организации. Формирует zk-specific testing requirements и compatibility guidelines. Координирует multi-rollup deployment.
Контейнеризация
▼
Использует Docker для blockchain dev: local node setup, development containers. Понимает basic Docker commands.
Проектирует Docker для blockchain: multi-node test networks, Hardhat/Foundry containers, CI images.
Проектирует container architecture: blockchain node deployment, multi-chain test environments.
Определяет Docker стандарты: node deployment patterns, development environment guidelines.
Кэширование
▼
Использует Redis для blockchain: кеширует RPC responses, stores pending transactions. Понимает caching benefits.
Проектирует caching: gas price caching, transaction pool management, rate limiting для RPC.
Проектирует caching architecture: multi-chain cache, real-time updates, cache coherence.
Определяет caching стандарты: cache policies, monitoring, performance requirements.
Логирование
▼
Использует logging для blockchain: event logs в smart contracts, off-chain structured logging. Мониторит transactions.
Реализует blockchain logging: event indexing, structured off-chain logs, transaction tracking.
Проектирует logging architecture: event-driven monitoring, chain indexing, anomaly detection.
Определяет logging стандарты: event design, monitoring requirements, alerting.
Метрики и мониторинг
▼
Мониторит blockchain через Prometheus: node metrics, block height, peer count. Просматривает Grafana dashboards.
Создаёт blockchain dashboards: node health, gas prices, contract metrics, chain synchronization.
Проектирует monitoring: multi-chain monitoring, alerting на anomalies, performance tracking.
Определяет стандарты мониторинга для блокчейн-систем с Prometheus & Grafana: устанавливает обязательные метрики для выполнения смарт-контрактов и использования газа, создаёт шаблоны дашбордов для мониторинга on-chain активности, внедряет политики алертинга для аномалий контрактов и событий безопасности.
Многопоточность и конкурентность
▼
Понимает concurrency для blockchain: parallel transaction processing, concurrent RPC calls.
Реализует concurrent processing: parallel chain indexing, concurrent transaction submission, thread-safe state.
Проектирует concurrent systems: parallel multi-chain processing, lock-free indexing patterns.
Определяет concurrency стандарты: parallel processing policies, thread safety requirements.
Облачные провайдеры
▼
Работает с AWS для blockchain: EC2 для nodes, RDS для indexer. Понимает basic cloud deployment.
Деплоит blockchain инфраструктуру: managed blockchain nodes, auto-scaling indexers, S3 для data.
Проектирует cloud blockchain architecture: multi-region nodes, high-availability, disaster recovery.
Определяет cloud стандарты: node deployment, cost optimization, infrastructure review.
ООП и паттерны проектирования
▼
Применяет базовые Solidity patterns: Ownable, Pausable, ReentrancyGuard. Использует Factory и Clones (EIP-1167) для создания контрактов. Следует checks-effects-interactions pattern.
Применяет advanced smart contract patterns: Proxy (UUPS/Transparent), Diamond (EIP-2535), Pull Payment, Commit-Reveal. Проектирует modular contracts с interface segregation.
Проектирует архитектурные паттерны для smart contract систем: hook-based extensions (Uniswap V4 style), plugin architectures, abstract accounts. Анализирует pattern trade-offs для конкретных use cases.
Определяет pattern library для smart contract организации. Формирует architectural decision framework для выбора patterns. Проводит architecture review для новых контрактных систем.
Применяет ООП для blockchain: contract inheritance в Solidity, interface patterns. Понимает contract composability.
Использует ООП patterns: upgradeable contracts, proxy patterns, diamond pattern. Проектирует modular contracts.
Проектирует contract architecture: composable protocols, library design, upgrade mechanisms.
Определяет architectural стандарты: contract design patterns, upgrade governance, composability guidelines.
Основы блокчейна
▼
Понимает основы блокчейна с точки зрения смарт-контрактов: модель выполнения EVM, механика газа, жизненный цикл транзакций и хранилище состояния. Следует командным паттернам для деплоя контрактов в тестнеты и верификации в блок-эксплорерах.
Самостоятельно разрабатывает с Blockchain Fundamentals в Hardhat/Foundry/OpenZeppelin. Проводит базовый аудит. Оптимизирует gas.
Проектирует системы смарт-контрактов с глубоким пониманием внутренностей EVM, оптимизации storage layout и паттернов кросс-контрактного взаимодействия. Проводит аудиты безопасности с formal verification и статическим анализом. Менторит команду по оптимизации газа.
Определяет архитектуру смарт-контрактов и управление безопасностью: процессы аудита, стратегии обновления (proxy patterns, diamond) и требования к тестированию. Устанавливает стандарты код-ревью для Solidity/Vyper. Координирует с аудиторами сертификацию безопасности.
Понимает базовые концепции ZKP и их применение в smart contracts: private transactions, identity verification, scalability proofs. Реализует simple zk-proof verifier в Solidity.
Интегрирует ZKP verification в smart contracts: Groth16 verifier, PLONK verifier. Оптимизирует on-chain verification gas cost. Работает с Circom для circuit development.
Проектирует ZKP-based smart contract systems: private DeFi, zk-identity, verifiable computation. Оптимизирует proof verification contracts и интегрирует с DeFi protocols.
Определяет ZKP интеграцию стратегию для smart contract организации. Формирует team expertise по circuit development и proof verification. Оценивает ZKP для privacy и compliance.
Понимает Merkle tree и его применение в smart contracts: whitelist verification, airdrop claims, data integrity proofs. Реализует Merkle proof verification в Solidity через OpenZeppelin.
Реализует advanced Merkle proof patterns: multi-proof verification, incremental Merkle trees для on-chain accumulation. Оптимизирует proof verification gas cost через calldata optimization.
Проектирует Merkle-based протоколы: cross-chain state proof verification, storage proof validation, receipt proofs. Реализует custom Merkle tree variants для специфических smart contract use cases.
Определяет Merkle proof стандарты для smart contract организации. Формирует guidelines по proof generation infrastructure и on-chain verification optimization.
Понимает прикладную криптографию для смарт-контрактов: hash commitments, верификация подписей (ecrecover) и валидация Merkle proof. Следует командным паттернам для реализации commit-reveal схем и авторизации на основе подписей.
Самостоятельно разрабатывает с Прикладная криптография в Hardhat/Foundry/OpenZeppelin. Проводит базовый аудит. Оптимизирует gas.
Проектирует криптографические паттерны смарт-контрактов: ZK-SNARK/STARK верификаторы, схемы мультиподписей и приватные вычисления. Проводит аудиты безопасности on-chain криптографических реализаций и оценивает газоэффективные крипто-библиотеки.
Определяет криптографическую архитектуру для платформы смарт-контрактов: выбор proof-систем, стратегии агрегации подписей и интеграция протоколов приватности. Устанавливает стандарты криптографического ревью и гайдлайны оптимизации газа для on-chain proofs.
Протоколы API
▼
Использует WebSocket для подписки на contract events: Transfer, Approval, custom events. Обрабатывает reconnection и пропущенные события через getLogs fallback. Работает с viem WebSocket provider.
Проектирует event monitoring infrastructure для smart contracts: multi-contract event aggregation, filtered subscriptions, real-time notification pipeline для critical contract events.
Проектирует масштабируемую event processing архитектуру для smart contract platform: ordered event delivery, exactly-once processing, cross-contract event correlation.
Определяет event infrastructure стратегию для smart contract организации. Формирует стандарты event schema, monitoring и alerting. Координирует event-driven architecture adoption.
Реляционные БД
▼
Работает с PostgreSQL для blockchain: stores indexed chain data, transaction history. Writes basic SQL queries.
Проектирует database для blockchain: event indexing schema, block data storage, query optimization.
Проектирует data architecture: multi-chain indexing, historical data storage, analytics database.
Определяет database стандарты: indexer schema guidelines, performance requirements.
Сети
▼
Понимает основы сетевого взаимодействия, специфичные для разработки смарт-контрактов — конфигурация RPC-эндпоинтов для деплоя контрактов, WebSocket-подписки для прослушивания событий и влияние топологии P2P-сети на распространение и финализацию транзакций. Следует рекомендациям команды по выбору провайдеров нод и rate limiting RPC.
Реализует blockchain networking: P2P node configuration, secure RPC endpoints, load balancing.
Проектирует network architecture: multi-region P2P, RPC infrastructure, network security.
Определяет networking стандарты: RPC architecture, security policies, performance requirements.
Смарт-контракты
▼
Понимает основы безопасности смарт-контрактов: контроль доступа, валидация входных данных и безопасные математические операции. Использует инструменты статического анализа (Slither) для базового выявления уязвимостей. Изучает отчёты аудитов и задокументированные эксплойты.
Самостоятельно разрабатывает с Smart Contract Security в Hardhat/Foundry/OpenZeppelin. Проводит базовый аудит. Оптимизирует gas.
Проектирует и проводит комплексные аудиты смарт-контрактов: формальная верификация, фазз-тестирование с Echidna и символьное выполнение с Manticore. Выявляет сложные векторы атак, включая flash loan эксплойты и манипуляцию оракулами. Менторит разработчиков по написанию audit-ready кода.
Формирует культуру security-first разработки для команд смарт-контрактов. Устанавливает обязательные security-гейты в CI/CD, процессы ревью безопасности и playbook реагирования на on-chain эксплойты. Координирует bug bounty программы.
Пишет контракты на Solidity 0.8+: ERC-20, ERC-721, access control с OpenZeppelin. Понимает visibility modifiers, events и custom errors. Использует Foundry для compile, test и deploy.
Реализует complex контракты: staking с multiple reward strategies, vesting с cliff/linear unlock, multi-sig treasury. Оптимизирует gas через storage packing и calldata. Coverage 95%+.
Проектирует upgradeable systems: UUPS, Diamond proxy (EIP-2535). Пишет inline assembly для gas-critical paths. Реализует formal specifications и проводит comprehensive security review.
Определяет Solidity development standards: style guide, pattern library, security checklist, gas budgets. Формирует contract architecture guidelines для организации из 20+ разработчиков.
Понимает основы Vyper. Использует готовые контракты и шаблоны. Выполняет простые задачи в Hardhat/Foundry/OpenZeppelin.
Самостоятельно разрабатывает с Vyper в Hardhat/Foundry/OpenZeppelin. Проводит базовый аудит. Оптимизирует gas.
Проектирует blockchain-решения с Vyper. Проводит security-аудит. Оптимизирует протоколы. Менторит команду.
Определяет blockchain-архитектуру продукта. Формирует security-стандарты. Координирует аудиты.
Изучает синтаксис Vyper и его security-by-design философию: нет inheritance, bounded loops, explicit overflow checks. Пишет простые контракты и сравнивает с Solidity эквивалентами.
Разрабатывает production контракты на Vyper: DeFi pools, governance modules. Использует Titanoboa для comprehensive тестирования. Понимает Vyper compiler security considerations.
Проектирует complex Vyper системы: Curve-style stableswap pools, concentrated liquidity. Анализирует Vyper compiler bugs и их impact. Проводит comparative security analysis Vyper vs Solidity.
Определяет Vyper adoption стратегию для организации: когда Vyper vs Solidity. Формирует Vyper development guidelines и training program для smart contract разработчиков.
Знает основные уязвимости: reentrancy, integer overflow, access control, oracle manipulation. Использует Slither для статического анализа. Следует checks-effects-interactions pattern.
Проводит manual security review контрактов: анализирует access control, economic attack vectors, flash loan scenarios. Использует Mythril, Slither, Aderyn. Пишет PoC-эксплойты для findings.
Проводит comprehensive аудиты: formal verification (Certora), fuzzing (Echidna/Medusa), symbolic execution (Mythril/Manticore). Обнаружил 15+ critical issues в production протоколах.
Управляет audit программой для организации. Определяет security requirements и audit scope для всех контрактов. Координирует bug bounty и отношения с external audit firms.
Понимает паттерны обновляемых контрактов: Transparent Proxy, UUPS Proxy. Деплоит upgradeable контракт через OpenZeppelin Upgrades plugin. Знает storage layout restrictions.
Реализует upgrade flows: storage layout validation, initialization functions, access control для upgrades. Тестирует upgrade paths и storage compatibility. Использует forge-std для testing.
Проектирует complex upgradeable systems: Diamond proxy с multiple facets, beacon proxy для factory patterns. Реализует emergency upgrade procedures и governance-controlled upgrades.
Определяет upgrade strategy для организации: когда использовать proxy vs immutable, governance requirements для upgrades. Формирует upgrade checklist и audit requirements.
Понимает gas model EVM: SLOAD/SSTORE costs, calldata vs memory, opcodes pricing. Применяет базовые оптимизации: storage packing, immutable variables, unchecked arithmetic для safe operations.
Применяет advanced gas оптимизации: calldata вместо memory, custom errors вместо require strings, bit manipulation. Профилирует gas через forge test --gas-report и оптимизирует hot paths.
Проектирует gas-optimal архитектуры: inline assembly для critical paths, SSTORE2 для cheap data storage, EIP-1153 transient storage. Оптимизирует deployment costs и runtime costs для DeFi protocols.
Определяет gas optimization standards для организации. Формирует gas budget framework и regression detection. Координирует optimization initiatives для production протоколов.
Понимает различные smart contract платформы: EVM (Ethereum, Arbitrum), SVM (Solana), CosmWasm, Move (Sui, Aptos). Деплоит контракты на EVM-совместимых сетях и изучает различия VM.
Разрабатывает контракты для нескольких платформ: Solidity для EVM, Vyper для security-critical, знакомится с Move/Cairo. Реализует cross-platform deployment и testing infrastructure.
Проектирует multi-platform contract strategy: выбор платформы по security model и gas efficiency. Анализирует VM-specific vulnerabilities и адаптирует security review для каждой платформы.
Определяет smart contract platform стратегию для организации. Оценивает emerging platforms для adoption. Формирует platform-specific security guidelines и audit requirements.
Понимает концепции формальной верификации: инварианты, пре/пост-условия, state machine specification. Изучает Certora и K-framework на базовых примерах. Пишет простые property specs.
Применяет formal verification для production контрактов: пишет Certora specs для critical invariants, использует SMTChecker. Верифицирует access control, balance conservation и state transitions.
Проектирует comprehensive formal specification для DeFi протоколов: state machine model, economic invariants, liveness properties. Интегрирует formal verification в CI/CD и координирует с аудиторами.
Определяет formal verification стратегию для организации. Формирует team expertise по Certora, K-framework и SMTChecker. Определяет coverage requirements для formal specs.
Стратегия тестирования
▼
Понимает основы property-based тестирования для смарт-контрактов. Пишет базовые инвариантные тесты с использованием Foundry fuzz и Echidna. Следует командным практикам определения свойств состояния контрактов и проверки утверждений.
Самостоятельно разрабатывает инвариантные тест-сьюты для протоколов смарт-контрактов с Foundry и Echidna. Проектирует property-утверждения для балансов токенов, контроля доступа и переходов состояний. Интегрирует фазз-кампании в CI/CD.
Проектирует комплексную стратегию инвариантного тестирования для DeFi-протоколов и сложных контрактных систем. Реализует multi-contract stateful фаззинг с Echidna и Foundry. Оптимизирует конфигурации фазз-кампаний для максимального обнаружения уязвимостей. Менторит команду.
Определяет testing strategy на уровне продукта. Формирует стандарты quality assurance. Внедряет shift-left testing culture.
Понимает основы TDD для смарт-контрактов: test-first разработка с Hardhat/Foundry, базовые паттерны ассертов для верификации состояния контрактов и тестирование газа. Пишет простые тесты для функций контрактов. Следует командным BDD-практикам описания спецификаций поведения контрактов.
Применяет TDD для разработки смарт-контрактов: test-driven реализация функций контрактов с комплексной верификацией состояния, fuzz-тестирование для edge cases и BDD-сценарии для сложных DeFi-воркфлоу. Реализует fork-тестирование против состояния mainnet. Использует инструменты покрытия для обеспечения полного покрытия веток логики контрактов.
Проектирует архитектуру тестирования для платформ смарт-контрактов: интеграция формальной верификации с TDD-воркфлоу, тестирование инвариантов для свойств безопасности протокола и BDD-driven подготовка аудита безопасности. Реализует мутационное тестирование для оценки качества тестового набора контрактов. Создаёт фреймворки тестирования для кросс-чейн взаимодействий контрактов. Менторит команду по test-driven безопасности смарт-контрактов.
Определяет testing strategy на уровне продукта. Формирует стандарты quality assurance. Внедряет shift-left testing culture.
Понимает основы мутационного тестирования для смарт-контрактов. Запускает инструменты мутационного тестирования на тестах Solidity/Vyper для выявления слабых assertions и непокрытых веток логики контрактов.
Применяет мутационное тестирование для валидации покрытия тестов безопасности смарт-контрактов. Реализует кастомные операторы мутации для блокчейн-специфичных паттернов (reentrancy, overflow) и интегрирует результаты в процессы аудита.
Проектирует фреймворки мутационного тестирования для обеспечения безопасности смарт-контрактов в DeFi-протоколах. Реализует стратегии мутации на основе формальной верификации и менторит команду по комбинированию фаззинга с мутационным анализом для критических путей контрактов.
Определяет testing strategy на уровне продукта. Формирует стандарты quality assurance. Внедряет shift-left testing culture.
Управление API
▼
Документирует blockchain API: describes RPC endpoints, contract ABIs, integration guides.
Создаёт blockchain documentation: contract API docs, SDK guides, deployment procedures.
Проектирует documentation strategy: auto-generated ABI docs, interactive examples, versioning.
Определяет documentation стандарты: mandatory contract docs, review process.
Чистый код и рефакторинг
▼
Следует code style guide и использует solhint, slither для проверки качества Solidity-кода. Пишет NatSpec-комментарии для всех public и external функций. Проходит code review без critical findings.
Настраивает CI pipeline с solhint, slither, forge test и coverage check для smart contract проекта. Проводит code review для junior-разработчиков с фокусом на gas optimization и security.
Проектирует quality pipeline для smart contracts: linting, static analysis, fuzzing gates, formal verification checks. Определяет severity classification для Slither findings и coverage thresholds.
Формирует code quality стандарты для smart contract организации. Внедряет метрики: mutation score, invariant coverage, gas regression detection. Обучает leads проведению quality review.
Следует принципам чистого кода в Solidity: осмысленные имена, небольшие функции, NatSpec документация. Использует solhint и prettier-solidity для форматирования. Пишет readable модификаторы.
Применяет clean code практики для smart contract систем: чёткое разделение concerns между контрактами, consistent naming conventions, readable require messages. Рефакторит legacy контракты.
Проектирует чистую архитектуру для контрактных систем: interface segregation, abstract contracts, library patterns. Менторит команду по principles of clean Solidity code и maintainability.
Формирует clean code стандарты для smart contract организации. Внедряет automated quality gates: NatSpec coverage, complexity metrics. Проводит architecture review для maintainability.