Skip to content
View jbhavya876's full-sized avatar
⚑
Thunder
⚑
Thunder

Block or report jbhavya876

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
jbhavya876/README.md

πŸ‘‹ Hey there, I'm Bhavya Jain

Protocol & Systems Engineer | Applied Cryptography | Rust, Python & Go | Backend Architect

Profile Views GitHub followers LinkedIn


πŸš€ About Me

I am a systems engineer and protocol researcher focused on high-performance concurrent systems, applied cryptography, and provably secure backends. My work focuses on building low-latency stream-processing pipelines, cryptographically verifiable digital identity frameworks, and formal algorithm benchmarking engines.

  • πŸ”­ Currently Architecting: AlgoVault (a high-performance algorithm benchmarking platform integrated with formal TLA+ specifications) and deep-tech DAO tokenomics.
  • πŸ’Ό Experience: Lead Blockchain & ZKP Engineering Intern at Lokachakra | Researcher in Post-Quantum Cryptography.
  • πŸ›‘οΈ Core Specializations: Zero-Knowledge Proofs (Circom/Groth16), Hyperledger Fabric, Distributed State Machines, and Post-Quantum Security.
  • 🎯 Philosophy: "Compile-time guarantees, deterministic execution, and minimal abstraction layers."

πŸ’» Tech Stack

Core Languages & Frameworks

Rust Axum Python TypeScript C++

Distributed Systems & Infrastructure

Hyperledger Fabric Apache Kafka Redis Postgres Docker AWS Lambda

Cryptography & Formal Methods

Circom TLA+ Protobuf

Intelligence & Observability

XGBoost Prometheus Grafana


🧩 Featured Projects

Enterprise Blockchain & Verifiable Identity System A trust-minimised, high-throughput property registration and verification platform tailored for the Indian real estate ecosystem.

  • Consensus & Architecture: Implemented a permissioned network topology using Hyperledger Fabric, featuring private data collections to ensure transaction confidentiality.
  • Identity Layer: Integrated Aadhaar-anchored Decentralised Identifiers (DIDs) and verifiable credentials to eliminate identity fraud at the protocol layer.
  • Engine: Built using a high-concurrency Rust (Axum) API gateway optimized for asynchronous state updates.

Bare-Metal Algorithm Profiling Platform with Mathematical Guarantees An isolated execution environment designed to profile, benchmark, and mathematically verify algorithmic state transitions.

  • Formal Verification: Built using TLA+ formal specifications to eliminate race conditions, deadlocks, and state mutation errors before code execution.
  • Systems Engineering: Developed a bare-metal execution sandbox in Rust utilizing low-level resource isolation to track exact memory allocations, CPU cycles, and cache misses.

Non-Custodial Cryptographic Dead Man's Switch An institutional-grade, air-gapped inheritance vault executing natively on the Bitcoin blockchain via script-enforced time-locks.

  • On-Chain Logic: Engineered custom SegWit (P2WSH) scripts utilizing OP_RELATIVE_TIMELOCK (OP_CSV) and conditional execution paths (OP_IF/OP_ELSE).
  • Security & Memory Safety: Designed an in-memory AES-256-GCM encrypted keystore using secp256k1 primitives. Generates compliant BIP-174 Partially Signed Bitcoin Transactions (PSBT) to maintain air-gapped isolation.
  • Daemon Layer: Built a multi-threaded Rust watchtower daemon monitoring mempools via JSON-RPC/REST to handle dynamic RBF (Replace-By-Fee) automated sweeping.

πŸ”Ή ZK Identifier

Zero-Knowledge Decentralised Identity Engine A privacy-preserving identity verification protocol enabling selective disclosure without exposing data primitives.

  • Circuits: Authored arithmetic circuits in Circom using the Groth16 zk-SNARK proving system.
  • Verification Backend: Built a low-latency, deterministic verification module in Rust to ingest proofs and update state on-chain asynchronously.

πŸ’Ό Work Experience

🏒 Lokachakra | Lead Blockchain & Zero-Knowledge Proof Intern August 2025 – December 2025

  • Architected and deployed production-grade, privacy-preserving KYC workflows using zero-knowledge proofs.
  • Developed the core, highly concurrent Rust-based registration and cryptographic identity verification modules.
  • Decreased authentication overhead by implementing optimised cryptographic serialisation formats.

πŸ”¬ Post-Quantum Cryptography Initiative | Research Intern January 2025 – December 2025

  • Evaluated the mathematical vulnerabilities of classical public-key infrastructure (RSA, ECC) against Shor's and Grover's algorithms.
  • Modeled and benchmarked migration complexity parameters for NIST-standardised lattice-based cryptographic primitives.

πŸ† Achievements & Publications

  • πŸ“‘ Research Publication: Published "Post-Quantum Cryptography: A Comprehensive Review" on SSRN (Abstract ID: 5286065), detailing quantum-safe primitive deployment strategies.
  • πŸ₯ˆ Semi-Finalist: Algorand Hackathon (Project Shakti) β€” Engineered decentralised governance protocols.
  • πŸ₯‡ 1st Rank: Vibe Coding Contest (Algorithmic Efficiency & Optimization).
  • πŸ₯‰ Top 20 Finalist: Vihaan Hackathon (DTU) β€” Out of 4,000+ competitors.

πŸ“Š GitHub Statistics


πŸ“¬ Connect With Me

Email LinkedIn LeetCode

Pinned Loading

  1. triad triad Public

    Rust

  2. por_vault por_vault Public

    A non-custodial, Cypherpunk inheritance vault built in Rust.

    Rust 1

  3. realtime-fraud-detection-engine realtime-fraud-detection-engine Public

    Makefile

  4. Zk-Identifier Zk-Identifier Public

    Circom

  5. zk-identity-auth zk-identity-auth Public

    JavaScript

  6. Coral-Project Coral-Project Public

    A generic template for implementing a use case using coral protocol by Groq and Ollama.

    Kotlin