I build backend and infrastructure for confidential computing — machines that run workloads inside hardware-isolated environments and can prove what they are running. Day to day that means smart contracts in Rust, VM orchestration in Python, gateways in Go, and the developer portal in TypeScript.
I came up through competitive programming: gold at the Ukrainian Olympiad in Informatics, bronze at the Baltic Olympiad, and first among Ukrainian teams at ICPC SEERC 2024.
- 🔭 Currently: Software Engineer at SCRT Labs — SecretVM / SecretAI
- 📍 Warsaw, Poland
- scrtlabs/secret-ai-contracts — CosmWasm smart contracts in Rust for API-key management, access permits and encrypted secrets
- scrtlabs/secretvm-verify — attestation verification SDK for Intel TDX, AMD SEV-SNP and NVIDIA GPU quotes
- scrtlabs/secret-ai-sdk — Python SDK for confidential AI models running inside TEEs
Most of my day-to-day work — the VM orchestration service, the key-management contracts, the API gateway and the developer portal — lives in private repositories.
- StringPatternAlgorithmsTesting — thirteen exact string-matching algorithms in C and the harness that benchmarks them across genome, code, markup and random-alphabet corpora
- mpi-floyd-warshall — all-pairs shortest paths, sequential and MPI-distributed, benchmarked across process counts
- GeometryMaxRectangleLab — convex hull in C#, maximum inscribed rectangle solved as a convex program in CVXPY
- LexYaccParser — a compiler front-end: Flex lexer, Bison grammar, AST construction