terminal

Bogdan Rudnevskii

Software Engineer

Building software, systems & infrastructure.

From backend services and cloud platforms to systems programming and applied cryptography.

Featured Projects

Work across backend services, cloud infrastructure, systems programming, and applied cryptography.

Systems · Cryptography

STARK-style zkVM
An educational STARK-style virtual machine built in Rust, featuring a custom DSL, execution engine, algebraic constraints, Merkle commitments, and an end-to-end proving and verification pipeline.
RustSTARKsVirtual MachinesAIRFRI
View on GitHub (opens in a new tab)

Systems · Language Implementation

Joy Language Interpreters
Implemented two interpreters in C for the stack-based Joy programming language, including an experimental language variation with modified stack operations.
CInterpretersData StructuresLanguage Design
View on GitHub (opens in a new tab)

Security · Backend

AgentShield
A Rust service that decodes unsigned blockchain transactions and applies rule-based risk scoring before agents sign, exposed over HTTP, MCP, and x402. Won the Botnet challenge at That Crypto Hackathon.
RustAxumMCPx402Security
View on GitHub (opens in a new tab)

Cryptography

PLONK Proving System
An educational implementation of PLONK in Rust, covering arithmetic circuits, permutation arguments, polynomial commitments, proof generation, and verification.
RustArkworksPLONKKZGPolynomial Arithmetic
View on GitHub (opens in a new tab)

Backend & Cloud · Case Study

Automated Deployment Platform
Professional infrastructure work on a deployment platform built with Kubernetes and Helm, using Git-based release workflows and automatic TLS certificate provisioning for deployed services.
KubernetesHelmGit WorkflowsTLSCI/CD

Professional work · source not public

Cryptography

Groth16 & Pinocchio
Implemented educational zero-knowledge proving systems using R1CS, QAP, Pinocchio, and Groth16, exploring polynomial transformations and pairing-based verification.
RustArkworksR1CSQAPGroth16
View on GitHub (opens in a new tab)

Currently Building

Active projects and experiments I'm working on.

AgentShield
A pre-transaction risk analyzer for wallet-enabled AI agents. Built in Rust with HTTP, MCP, and x402 integration ideas.
Rust backend systems
Practical backend services using Rust, Axum, Tokio, SQLx, PostgreSQL, tracing, and Docker.
ZK experiments
Continuing work around zkVMs, STARKs, PLONK, AIR constraints, FRI, and educational proof-system implementations.

Experience

Building and operating software and infrastructure in production.

  1. ZK Engineer Intern · ADAPT

    Jun 2025 – Feb 2026

    Master's thesis collaboration.

    • Independently developed a STARK-style zkVM prototype in Rust.
    • Implemented virtual machine execution and cryptographic proof components.
    • Researched zero-knowledge proving protocols and their implementation.

  2. Software Engineer & DevOps · Fliq Oy

    May 2023 – May 2025

    • Developed backend applications and cloud-based software.
    • Managed Azure Kubernetes Service infrastructure.
    • Automated application deployments using Helm and CI/CD.
    • Designed an on-demand product provisioning system, reducing manual deployment setup from hours to minutes.

  3. Head DevOps · greenspacedev.ru

    Oct 2023 – May 2025

    • Architected and maintained development and production infrastructure.
    • Managed Kubernetes and Proxmox environments.
    • Integrated GitOps and CI/CD workflows.
    • Developed automated Docker-based game server provisioning.
    • Reduced deployment overhead by approximately 50%.

  4. Software Engineer · Algochan.ru

    Apr 2022 – Sep 2022

    • Worked on market data extraction and processing.
    • Built monitoring bots and backtesting-related tools.

Education

MSc in Cryptography

University of Turku

2024 – 2026

Thesis
Configurable ZKVM
Focus
Applied cryptography, mathematics, cybersecurity, and zero-knowledge proofs.

Bachelor of IT Engineering

Vaasa University of Applied Sciences

2020 – 2024

Major
Software Engineering
Minor
Telecommunications / Technical Mathematics
Thesis
Automated System for Managing and Deploying Cloud-based Demo Tests.

Achievements

1st Place — That Crypto Hackathon

Botnet Challenge

Built AgentShield, a pre-transaction risk analyzer for AI agents using Rust and HTTP/MCP integrations.

STARK-style zkVM

MSc thesis

Independently implemented a working educational zkVM and proving system in Rust.

Cryptographic protocol implementations

Rust · Arkworks

Built educational PLONK and Groth16/Pinocchio-related prototypes.

NEAR Stake Wars IV

Winner

Starknet Basecamp X

Completed with distinction

Also:NASA Hackathon 2022XR Ocean Hackathon 2022

About

I'm a software engineer who has spent the last few years building backend applications and running the infrastructure underneath them: Kubernetes clusters on Azure and Proxmox, Helm-based deployments, GitOps and CI/CD pipelines, and automated provisioning systems.

That work taught me to move between abstraction levels — from application code down to Linux, networking, and virtual machines. My MSc in Cryptography at the University of Turku pushed that further: I independently built a STARK-style zkVM in Rust, alongside prototypes of PLONK and Groth16-related proving systems.

I like problems where correctness and reliability matter, and where the job is to turn a complex specification into software that actually runs.

Skills

Technologies and domains I work with.

Software Development

GoRustCPythonPostgreSQLAPIs

Cloud & Infrastructure

KubernetesDockerHelmAzureCI/CDGitOpsProxmox

Systems & Networking

LinuxNetworkingVirtual MachinesEmbedded / RTOS fundamentals

Cryptography & Security

Zero-knowledge proofsCryptographic protocolsBlockchainCybersecuritySecure software development

AI & Developer Automation

AI-Assisted DevelopmentAgentic WorkflowsMulti-Agent SystemsLLM IntegrationDeveloper ToolingModel Context Protocol (MCP)

Get In Touch

Want to build something with Rust, cryptography, ZK, or backend systems?

EmailGitHubLinkedIn