utkarsh maurya

software engineer, RL environments & evaluation. i build production-shaped environments for training and grading frontier coding agents — tasks, sealed verifiers, failure injection. mostly i try to make it hard to cheat the reward.

firmware developer (summer of bitcoin). shipped the bitcoin-only firmware now running on 10k+ devices holding $550M+. cut the attack surface by deleting every non-bitcoin code path, added bootloader-level switching between variants, and extended the end-of-line provisioning toolchain.

maintainer of an org of AI-assisted hardware design and verification tools, ~55 stars. main thing is spec2rtl-plugin, a CLI copilot for spec-driven RTL generation and verification.

linux foundation LFX mentee on besu. rebuilt the contributor onboarding docs so a new dev could get a local node up without pinging a maintainer. +20% new-contributor satisfaction.

building axiomos, a runtime-programmable kernel for robots. the idea is simple: let a robot change what it does while it’s running, but verify the new behavior before it gets anywhere near the hardware.

in-kernel eBPF verifier doing path-sensitive abstract interpretation, aarch64 JIT, a WCET cost model feeding EDF admission so the kernel can refuse a program it can't afford, and a reference monitor that clamps every PWM/GPIO command to a safety envelope before it reaches MMIO (37 ns median). bare-metal rust on a pi 5, drivers written from scratch.

research on speculative paging in CRIU lazy restore. turns out whether prefetch helps or hurts time-to-first-request is decided by network RTT, not by page faults: at loopback it cuts faults 85% and still makes pytorch 88% slower. the effect inverts around ~125 µs RTT. built an adaptive controller that notices the waste and turns prefetch off. manuscript in preparation.

working the RISC-V CPU lifecycle and spawn path for multikernel boot. four patches landing together: SBI HSM spawn with confirm-parked/release, a fence.i entry stub so a re-spawn doesn't run off a stale I-cache, HART_STOP instead of SRST on halt, and a KEXEC_TYPE_MULTIKERNEL image loader with no purgatory.

autonomous drone system for disaster search & rescue. edge AI runs victim detection onboard. designed for places with no cell signal and a lot of rubble. won ₹100K from india's DoT 5G hackathon to build the prototype.

a summer of bitcoin project, security-focused bitcoin firmware with minimal attack surface. deterministic builds. if you're paranoid about hardware wallets, this is for you.

open-source embedded tooling. circuit-level abstractions and hardware experimentation.

ai tools can write firmware and flash it to your board. but they can't see if it actually worked. percepta closes that loop.

power-loss fault injection against zephyr + MCUboot under renode. what happens to A/B slot integrity and rollback safety when the device dies mid-update.

benchmark and system for learning what context a model should actually see, instead of guessing with similarity search.