Swaroop Maddu

About

About Me

Rust / Solana Engineer

OtterSec, Remote

I'm Swaroop Maddu, a Rust / Solana Engineer with 5+ years of experience building and verifying low-level blockchain infrastructure. My work focuses on Solana programs, Anchor framework internals, developer tooling, correctness, security, and performance.

At OtterSec, I contribute to Anchor, maintain Rust-based verification infrastructure such as the Solana Verified Programs API, support Solana Verified Builds, and improve formal verification coverage for Solana programs using Kani.

I also built a proof-of-concept formal verification framework for Soroban smart contracts on Stellar and maintain internal Rust tooling used across OtterSec. Before OtterSec, I researched and built Solana dApps, Anchor programs, and wallet integrations at StrawHat Labs.

Degree: B.Tech CSE

Experience: 5+ Years

Skills

Core

Rust Solana Anchor Formal Verification Kani

Infra & Tooling

Docker PostgreSQL REST APIs Linux GitHub / GitLab

Also familiar with

C / C++ Python React Next.js Flutter Dart Stellar / Soroban

Projects

Projects & Contributions

Solana Verified Programs API

Rust • Solana • REST APIs • Docker

Rust backend exposing verified build metadata so users can confirm deployed Solana programs match their published source code.

GitHub

Stellar Verify

Rust • Soroban • Stellar • Kani

Proof-of-concept formal verification framework for Soroban smart contracts, focused on contract safety and correctness.

GitHub Demo

Phantom Connect

Dart • Flutter • Solana

Open-source Flutter library enabling secure Phantom Wallet integration for Solana dApps through deeplinks.

GitHub pub.dev

Open Source Contributions

Solana Anchor Framework

Rust • Solana • Anchor

Active contributor to Anchor with code changes, fixes, and reviews across the core framework used by many Solana programs.

Commits

Solana Verifiable Build

Rust • Reproducible Builds • Verification

Contributed to tooling and infrastructure that improves trust in Solana deployments through reproducible, verifiable program builds.

Commits

Experience & Education

Professional Journey

Professional Experience

Rust / Solana Engineer • OtterSec

Dec 2022 - Present • Remote

Contribute code changes, reviews, and fixes to Anchor, the core Solana framework used by many on-chain programs.
Develop and maintain the Solana Verified Programs API, a Rust backend exposing verified build metadata for deployed programs.
Support Solana Verified Builds infrastructure for reproducible deployments and stronger program transparency.
Improve OtterSec's Solana Formal Verification Framework by integrating modules and expanding verification coverage.
Build internal Rust tooling and a Soroban smart contract verification proof of concept using Kani.

Rust Solana Anchor Kani Stellar PostgreSQL Docker

Research Engineer • StrawHat Labs

Jun 2021 - Nov 2022 • Bengaluru, India

Researched and developed Solana-based decentralized applications across protocol design, programs, and frontend integrations.
Created Phantom Connect, an open-source Flutter library for secure Phantom Wallet integration in Solana dApps.
Implemented on-chain programs in Rust and Anchor with supporting frontends in React, Next.js, and Flutter.

Rust Solana Anchor React.js Next.js Flutter Dart

Education

Bachelor of Technology in Computer Science Engineering

2017 - 2021 • CGPA: 8.56 / 10

Rajiv Gandhi University of Knowledge Technologies (RGUKT), Nuzvid

Studied computer science fundamentals, software engineering, data structures, algorithms, and systems coursework with applied projects across web, database, and mobile development.

Licenses & Certifications

Blockchain Specialization

Jun 2021 • University at Buffalo School of Management

Comprehensive blockchain specialization covering fundamentals, smart contracts, and decentralized applications development.

Show credential

Contact

Get In Touch

Feel free to reach out for research collaborations or open-source discussions.

LinkedIn X / Twitter GitHub OtterSec GitHub