About

About Me

Swaroop Maddu - Web3 Developer

Developer

Otter Sec, Remote, US

 Hey there, I'm Swaroop Maddu, a blockchain developer with 4+ years of experience specializing in Rust, Solana, and smart contracts. I have a bachelor's degree in Computer Science and Engineering from the Rajiv Gandhi University of Knowledge and Technologies, Nuzvid. I have a strong track record in designing decentralized applications, open-source tools, and formal verification frameworks.

 At Otter Sec, I've been enhancing Solana's Formal Verification framework, developing high-performance APIs including the Solana Verified Programs API, and spearheading the development of a Proof of Concept Formal Verification framework for Soroban Smart Contracts on the Stellar Blockchain from scratch.

 I'm passionate about Web3 technologies, efficient code, and delivering real-world impact through innovative blockchain solutions. When I'm not coding, you can find me exploring new technologies and contributing to open-source projects.

  • Degree: Bachelors
  • Experience: 4+ Years

Skills

Rust
Rust
C
C
C++
CPP
Java
Java
Python
Python
HTML
HTML
CSS
CSS
JavaScript
JS
Flutter
Flutter
Firebase
Firebase
Django
Django
React
React
SQL
SQL
Github
GitHub
Gitlab
Gitlab
Linux
Linux
Coding illustration

Interests

Blockchain

Backend

Development

Security

Projects

Projects & Contributions

Solana Verified Programs API

Rust • Solana • Docker

High-performance API for Solana program verification, enhancing visibility of verified on-chain programs across explorers.

GitHub

Stellar Verify

Rust • Stellar • Kani

Formal verification framework for Soroban smart contracts using Kani, designed to accelerate the verification process on Stellar blockchain.

GitHub Demo

Phantom Connect

Dart • Flutter • Solana

Open-source Dart package enabling seamless integration between Flutter applications and Phantom Wallet using deeplinks.

GitHub pub.dev

Contributions

Solana Anchor Framework

Rust • Solana • Framework

Anchor is a framework providing several convenient developer tools for writing Solana programs (sometimes called 'smart contracts').

Commits

Solana Verifiable Build

Rust • Build Tools • Verification

This tool allows developers and users to verify that a deployed Solana program matches its source code.

Commits

Experience & Education

Professional Journey

Education

Bachelor of Computer Science

2017 - 2021 • GPA: 8.6

RGUKT Nuzvid

Comprehensive program covering software development lifecycle, data structures, algorithms, and system design. Completed projects in web development, database management, and mobile applications.

Professional Experience

Developer • OtterSec

Dec 2022 - Present • Remote, US

Building formal verification tools for Solana & Stellar blockchains using Rust and Kani. Developed high-performance verification APIs, enhanced verification frameworks to accelerate smart contract security analysis, and created proof-of-concept verification systems. Leading development of tools that enable developers to formally verify blockchain programs at scale.

Rust Solana Stellar Kani Docker

Research Engineer • StrawHat Labs

Jun 2021 - Nov 2022 • Bengaluru, India

Led blockchain research and development focusing on Solana ecosystem. Successfully launched 2 production projects and built open-source Phantom Connect package enabling seamless Flutter-Wallet integration. Conducted extensive R&D on DeFi protocols, NFT marketplaces, and cross-chain interoperability solutions.

Rust Solana React.js Flutter Dart

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