Ethereum mainnet

The
Martik

a.k.a. Artem Martiukhin

Blockchain engineer

I build smart contracts, DeFi infrastructure and low‑latency on‑chain systems. Solidity, Rust and TypeScript, shipping on mainnets since 2021.

Selected work Email me

EthereumArbitrumBaseOptimismzkSyncBlastBNB ChainPolygonBitcoinCeloSolanaRootstockSolidityRustTypeScriptFoundryHardhatThe GraphChainlink CCIPLayerZeroNestJSPostgres

What I build

The whole DeFi stack, from matching engines to encrypted state.

Markets & exchanges

Prediction markets, central limit order books and AMMs. Matching and settlement architectures, liquidity mechanics, market microstructure and oracle‑driven resolution systems built around Chainlink CRE.

prediction markets · CLOBs · AMMs · market microstructure · Chainlink CRE
Lending & credit

Lending and credit infrastructure inspired by Aave and Compound. Interest‑rate curves, collateral and solvency models, liquidation mechanisms and oracle‑dependent risk management.

Aave · Compound · interest models · liquidations · risk engines
Structured products

On‑chain financial products built around index tokens and programmable vaults. Portfolio accounting, asset allocation, share pricing and ERC‑4626 strategy architectures.

index tokens · ERC‑4626 · vaults · portfolio accounting
Cross‑chain messaging & bridges

Bitcoin–EVM interoperability and cross‑chain protocol architecture. Bridging mechanisms, message verification, settlement guarantees and trust assumptions across CCIP and LayerZero.

Bitcoin · EVM · CCIP · LayerZero · interoperability
Networks & L2

EVM‑compatible network infrastructure, from FHE‑enabled execution environments to rollup deployments. Chain architecture, execution models, indexing pipelines and L2 integrations.

FHEVM · Arbitrum · Optimism · zkSync · Base
Cryptography

Applied cryptography for on‑chain systems. Fully homomorphic encryption, zero‑knowledge proofs and post‑quantum primitives for confidential computation, verifiable authentication and quantum‑resistant security.

FHE · ZK · post‑quantum · confidential computation
Security

Security reviews of production smart‑contract systems. Adversarial threat modelling, protocol invariants, economic attack surfaces and exploit‑path analysis, from architectural assessment to actionable audit findings.

smart‑contract audits · threat modelling · invariants · economic security

Open source

2026 · Rust · open source

balq

Local, verified history of any contract's storage on a plain full node. No archive node, no indexer schema. It indexes a contract back to its deploy, follows the head and verifies every block it stores, using EIP‑7928 block‑level access lists.

crates.io npm @balq/nodeSourcify layoutsSepoliaMIT / Apache‑2.0

$ balq index 0x3582… --rpc http://localhost:8545 --layout Playground.json
✓ 0x3582…53ce  created at 114562 — history complete (2456 blocks, 131 records)
117022  ▲ 6 record(s)  counter 19 → 20, items[4] 0 → …, [0xc0e2…8cd7] 60428 → 66428

$ balq get 0x3582… --field "balances[0x61Cc…]" --block 114591
→ balances[0x61Cc…] = 37585   (slot 0xc0e2…, set @ 114590, bal)