Bogdan Rudnevskii
Rust Engineer · Cryptography · ZK Systems · Backend Infrastructure
I build Rust systems where correctness matters, from zero-knowledge proof prototypes to backend infrastructure, blockchain tooling, and security.
Featured Projects
A selection of systems I've built, from cryptographic protocols to backend infrastructure.
- •Custom assembly-like DSL
- •Register-based virtual machine
- •Execution trace generation
- •AIR constraint system
- •Merkle commitments
- •Fiat–Shamir transcript
- •FRI-style low-degree testing
- •End-to-end prover/verifier tests
- •Won the Botnet challenge at That Crypto Hackathon in Turku
- •Rust HTTP service for transaction risk analysis
- •Risk scoring for unsigned blockchain transactions
- •Detects suspicious approvals, unknown contract calls, and risky interactions
- •MCP / x402 integration prototype
- •Gate constraint polynomial
- •Permutation argument
- •Quotient polynomial
- •Fiat–Shamir challenge derivation
- •KZG commitments
- •End-to-end proof generation and verification
- •R1CS constraint modeling
- •QAP construction
- •Pairing-based verification
- •Arkworks integration
- •BLS12-381 curve experiments
- •End-to-end proof flow
Currently Building
Active projects and experiments I'm working on.
About
I'm a Rust-focused engineer with a background in backend systems, infrastructure, and cryptography.
I recently completed my MSc in Cryptography at the University of Turku, where I built an end-to-end STARK-style zkVM in Rust. Before going deep into zero-knowledge systems, I worked with Go, Kubernetes, Docker, PostgreSQL, Linux, APIs, CI/CD, and deployment automation.
I enjoy building systems where correctness matters: cryptographic protocols, backend infrastructure, blockchain tooling, developer tools, and security-focused products.
Skills
Technologies and domains I work with.
Languages
Rust Ecosystem
Cryptography / ZK
Backend / Infrastructure
Blockchain / Security
AI / Agents
Experience
ZK Engineer Intern / Thesis Collaboration
June 2025 – February 2026
Built a STARK-style zkVM prototype in Rust as part of a master’s thesis collaboration. Researched cryptographic protocols related to zkVMs and zero-knowledge proof systems.
Software Engineer & DevOps
May 2023 – May 2025
Designed and implemented an internal deployment automation service for cloud-based demo environments. Worked with Azure, Helm, CI/CD pipelines, AKS, and on-demand product provisioning, reducing manual setup time from hours to minutes.
Head DevOps
October 2023 – May 2025
Architected and maintained company cloud infrastructure, integrated GitOps tools and CI/CD pipelines, administered Proxmox and Kubernetes clusters, and built on-demand game server automation using Docker.
Software Engineer
April 2022 – September 2022
Worked on historical market data extraction, data preparation for backtesting tools, monitoring bots, and trading strategy backtesting.
Education
MSc in Cryptography
University of Turku
Completed a master’s degree focused on cryptography and zero-knowledge systems. Thesis: an educational STARK-style zkVM implemented in Rust, covering DSL parsing, VM execution, AIR constraints, Merkle commitments, Fiat–Shamir, and FRI-style verification.
Bachelor's Degree in Software Engineering
University of Turku
Built a strong software engineering foundation across backend development, embedded systems, telecommunications, mathematics, computer networks, and infrastructure. Bachelor’s thesis focused on Kubernetes-based deployment automation using Go and Helm.
Achievements
1st Place — That Crypto Hackathon, Botnet Challenge
Won the Botnet challenge with AgentShield, a Rust-based pre-transaction risk analyzer for wallet-enabled AI agents. The prototype combined an HTTP service with MCP and x402 integration ideas to help agents avoid blindly signing risky blockchain transactions.
Starknet Basecamp X 2024 — Cum Laude Graduate
Graduated cum laude from Starknet Basecamp X, gaining hands-on experience with Starknet, Cairo, smart contracts, and the broader Starknet ecosystem.
NEAR Stake Wars IV — Winner
Recognized as a winner in NEAR Stake Wars IV, a validator-focused challenge involving blockchain infrastructure, node operation, and ecosystem participation.
XR Ocean Hackathon 2022
Participated in an XR-focused hackathon, where our team built a VR game prototype under time constraints.
NASA Hackathon 2022 — Winner
Won a NASA hackathon challenge by working in a team to design and prototype a technical solution related to solar winds.