Copied to clipboard!
Open for Protocol Engineering & Security Research

Building invariant-safe
systems for the open economy.

I’m Ranjeet Kumar Sah — a Kathmandu-based systems engineer designing secure smart contracts, resilient developer SDKs, and autonomous agent infrastructure across Stellar, Soroban (Rust / WASM), TypeScript, and Zero-Knowledge proofs.

🦀 Rust · Soroban WASM
🛡️ Formal Verification
⚡ 180+ Merged PRs
180+
Merged Pull Requests
Open-source contributions across Web3 & AI
22×
zkpayroll Merged PRs
Zero-knowledge payroll & treasury contracts
0-Regr
Invariant Verification
Hermetic regression suites & defensive audits
Top 1%
Stellar Contributor
Ranked in active global ecosystem pools

Production Systems & Tooling.

From zero-dependency financial SDKs to autonomous on-chain agents and contract upgrade safety analyzers.

⌘

Soroban AgentKit AI Framework

Autonomous developer toolkit connecting LLMs and agent frameworks directly to Soroban smart contracts. Enables deterministic contract simulation, balance verification, and on-chain execution with zero-trust key isolation.

Rust TypeScript Stellar Soroban AI Agents Ed25519
✦ Client-side signing with strict credential boundaries
₨

NepalPay Unified SDK Open Source

A zero-dependency, type-safe payment gateway aggregation SDK uniting eSewa, Khalti, and Fonepay APIs. Built natively on standard Web Crypto APIs for Node.js, Bun, Cloudflare Workers, and modern edge runtimes.

TypeScript Web Crypto Bun Zero Dependencies
✦ Unified idempotent checkout & signature verification
⌁

Soroban Upgrade Safeguard Security CI

Automated Rust security engine that performs static bytecode diffing across compiled Soroban WASM artifacts. Identifies accidental storage layout breaks, permission escalations, and unbacked state shifts before mainnet dispatch.

Rust WASM AST Bytecode Diff CI/CD Action
✦ Detects storage schema collisions & auth mutations
↗

Micopay Protocol DeFi Protocol

Contributed core optimizations and architectural decoupling for a high-efficiency peer-to-peer crypto-to-cash settlement protocol designed for financial inclusion and cross-border remittance on Stellar.

TypeScript Stellar Horizon P2P Settlement Escrow Engine
✦ Fast decentralized settlement & liquidity tracking
🔒

zkpayroll Protocol 22+ PRs Merged

Privacy-preserving payroll and treasury protocol on Stellar Soroban. Architected treasury parsing pipelines, onboarding recovery hint mechanics, receipt validation circuits, and multisig disbursement logic.

Rust Soroban Zero-Knowledge Privacy Protocol
✦ Confidential disbursements with cryptographic proofs
🌐

Corridor-in-a-Box SEP-24 / SEP-31

Comprehensive turnkey financial corridor architecture connecting banking APIs with Stellar payment anchors. Implemented anchor quotation services, customer KYC verification callbacks, and transaction status polling engines.

TypeScript Stellar Anchors SEP-24 / SEP-31 Remittance
✦ Turnkey on-ramp/off-ramp fiat settlement
🏷️

Stellar Tags Indexer Merged Protocol

Decentralized metadata tagging registry for Stellar accounts and Soroban smart contracts. Delivered deterministic authorization wrappers, query pagination, and schema backward-compatibility test suites.

Rust Soroban Metadata Indexer Event Registry
✦ High-performance on-chain tag mapping & discovery
🧠

ElizaOS AI Agent Engine Merged PR #30298

Contributed to the premier autonomous AI multi-agent framework. Engineered robust memory caching, structured memory retrieval, and agent action integrations for cross-chain transactions.

TypeScript AI Agents Vector Memory LLM Orchestration
✦ Multi-agent collaborative memory & execution

Open-Source Record.

Consistent, high-caliber contributions across high-stakes decentralized protocols and systems codebases.

zkpayroll · Privacy Payroll Protocols

22 Merged PRs

Architected contract deployment workflows, onboarding recovery hints, receipt serialization, and cross-contract escrow settlement.

Tenstorrent (TT-Metal) · AI Hardware & Compilers

PR #55213

Resolved PyTorch top-k golden model import behavior in high-performance AI chip kernel runtime, verifying edge-case tensor precision.

Talenttrust · Decentralized Work Infrastructure

Merged PR #1324

Hardened asynchronous state desynchronization, sanitized malicious URI schemes, and introduced concurrent regression test suites.

Liquifact · Automated Settlement Protocols

PR #1256 & #1257

Engineered monotonic request race-condition suppression, asynchronous out-of-order resolution guards, and accessibility contract preservation.

ElizaOS · Multi-Agent Autonomous Framework

PR #30298

Implemented memory store plugins and verified prompt injection defenses across automated tool-calling pipelines.

Trustless Work & Axionvera Network

9 Merged PRs

Implemented multi-party milestone escrow contracts, vault initialization checks, and safe upgrade rollback mechanics.

Technical Mastery.

A modern, systems-level toolkit designed for mathematical precision, formal safety, and speed.

Smart Contracts & WASM
Rust Soroban WASM Stellar SDK SEP-10 / 24 / 31 Solidity Storage TTLs Auth Invariants
Languages & Frontend
TypeScript React / Next.js Go Python Node / Bun TailwindCSS Web Crypto API GraphQL / REST
Security & Systems
Formal Verification Invariant Testing Zero-Knowledge Foundry / Vitest Docker PostgreSQL Linux Systems Git & CI/CD

Let’s build high-assurance software together.

I am actively available for remote protocol engineering, smart contract development, formal invariant verification, and technical auditing.