CREATOR OF SPRYZEN • OPEN SOURCE SYSTEMS BUILDER

> Systems & AI Software Engineer

ADITYA DAHALE

Creator of Spryzen (4.83M RPS Network Engine), open-source contributor (Bytecode Alliance Wasmtime, Tokio, Foundry, FoxIO JA4, smoltcp), and AI/RAG architect.

Designing ultra-low latency network inspection engines, production Python backends, and Agentic AI workflows. AWS & IBM certified with AICTE/IBM virtual internships.

Flagship Engine
4.83M RPS
0.207µs P99 Latency
Open Source
11x Merged
Wasmtime, Tokio, Foundry, Corrosion, JA4 (2x), smoltcp, RuView
AI Systems
RAG & Agents
Vector Search & LLMs
Credentials
10x Certs
AWS, IBM, & Microsoft
// Flagship Core Engineering Project

Spryzen Engine & Benchmarks

A hyper-performance, zero-allocation network security & TLS telemetry engine achieving 4.83 Million RPS on a single bare-metal node with sub-microsecond latency.

🚀 Flagship Architecture ✓ Docker Reproducible

Ultra-High Throughput Zero-Allocation Network Telemetry & Security

Spryzen is designed for mission-critical enterprise edge infrastructure. It parses raw TCP/IP packets and extracts deterministic JA4 TLS fingerprints without performing expensive full SSL decryption or triggering heap allocations in the critical packet path.

Zero Allocation: Stack-allocated zero-copy byte slices.
Single-Pass Parser: Direct binary node decoding.
Hardware Accelerated: Cache-aligned ring buffers.
Instant Verification: 1-command Docker test runner.
Inspect Spryzen-Benchmarks Repo
// Spryzen Benchmark Harness Telemetry
Throughput (RPS): 4,832,190 req/s
P50 Latency: 0.142 µs (142 ns)
P99 Latency: 0.207 µs (207 ns)
Heap Allocations: 0 allocs/op
Core Utilization: 100% Lock-Free
$ docker run --rm aditya96/spryzen-benchmarks
📊 Reproducibility Guarantee: Every benchmark number is independently verifiable on any Linux / x86_64 host using the public Docker container.
// Verified Open-Source Proof of Work

Merged Pull Requests

Click any pull request card below to directly inspect the merged code on GitHub.

#14387
bytecodealliance / wasmtime (WebAssembly Standard Runtime)

wasi: stat symlinks with trailing slashes correctly in manual resolver

Merged PR • Alex Crichton

What was achieved: Resolved POSIX symlink dereference bug in WASI filesystem engine (wasi-common). When stating paths with a trailing slash where the final component is a symlink to a directory under FollowSymlinks::No, POSIX requires resolving the symlink because the trailing slash forces directory resolution. Implemented stops_at_symlink helper on Context and added test coverage across symlinked files and directories, preventing erroneous ENOTDIR failures. Merged into main by Alex Crichton & Roman Volosatovs.

Bytecode Alliance Wasmtime / WASI POSIX File Systems Rust Core
View PR #14387 on GitHub →
#8405
tokio-rs / tokio (De Facto Rust Async Runtime)

sync(semaphore): store permit count as usize to prevent overflow in merge

Merged PR • Alice Ryhl

What was achieved: Discovered and resolved a critical permit leak bug in SemaphorePermit::merge where permit counts exceeding u32::MAX wrapped and silently leaked permits on drop. Converted internal storage to usize with safe checked arithmetic, passing Tokio's strict Loom concurrency model checker. Merged into master by Alice Ryhl (Darksonn).

Tokio Async Runtime Concurrency & Loom Integer Overflow Guard
View PR #8405 on GitHub →
#16707
foundry-rs / foundry (Paradigm Ethereum Toolchain)

fix(chisel): reject colons in session ids to prevent NTFS alternate data streams

Merged PR

What was achieved: Hardened session validation in Foundry's REPL (crates/chisel) by rejecting colons (:) along with path traversal characters. Prevents cache writes from escaping directory enumeration into Windows NTFS Alternate Data Streams (chisel-foo:bar.json), eliminating potential arbitrary disk escape vulnerabilities.

Foundry & Paradigm NTFS ADS Security Chisel REPL
View PR #16707 on GitHub →
#559
superfly / corrosion (Fly.io Distributed SQLite Cluster)

corro-pg: support PostgreSQL AST rollback handling and regression test

Merged PR

What was achieved: Implemented PostgreSQL wire protocol transaction abort state machine (SQLSTATE 25P02) and Extended Query sync error recovery in corro-pg, ensuring failed distributed queries correctly trigger transactional rollback instead of cascading session errors.

Fly.io Corrosion PostgreSQL Protocol Distributed DB
View PR #559 on GitHub →
#3275
google / comprehensive-rust (Google Official Rust Courseware)

fix(unsafe): use unchecked_add in may_overflow to accurately model UB

Merged PR

What was achieved: Accurately modeled language-level LLVM Undefined Behavior in Google's official unsafe Rust modules by using the intrinsic i32::unchecked_add rather than wrapping operations, passing Google Staff Engineer review.

Google Open Source Unsafe Rust LLVM UB Modeling
View PR #3275 on GitHub →
#312
FoxIO-LLC / ja4 (Official Standard)

rust/ja4: eliminate temporary String allocations during HTTP/1 header filtering

Merged PR

What was achieved: Contributed zero-allocation memory optimizations to FoxIO's official industry-standard JA4 Network Fingerprinting suite in Rust. Replaced dynamic string splitting in HTTP/1 header filtering with zero-allocation name.eq_ignore_ascii_case() stack checks, and eliminated intermediate Vec<String> allocations during JA4T TCP options formatting.

JA4 Network Standard Zero-Allocation Rust HTTP/1 & JA4T
View PR #312 on GitHub →
#314
FoxIO-LLC / ja4 (Official Standard)

perf(rust): optimize hash12 by directly hex-encoding 6-byte digest slices in ja4 and ja4x

Merged PR

What was achieved: Optimized the core hash12 helper function in both the ja4 and ja4x Rust crates. Directly hex-encodes 6-byte digest slices instead of encoding all 32 bytes into a 64-character heap string and slicing, eliminating 2 dynamic heap allocations and avoiding encoding 26 unused trailing bytes on every fingerprint calculation.

JA4 / JA4X Standard Zero-Allocation Rust SHA-256 Digest Optimization
View PR #314 on GitHub →
#1194
smoltcp-rs / smoltcp

perf(wire/tcp): add single-pass zero-allocation TcpOptionsSummary parser

Merged PR

What was achieved: Engineered a high-speed, single-pass zero-allocation parser for TCP options summary. Eliminates dynamic memory allocations on the packet wire-path, drastically accelerating packet ingestion in bare-metal TCP/IP networking.

TCP/IP Wire Stack Zero-Allocation Performance
View PR #1194 on GitHub →
#386
smartcorelib / smartcore

perf(ensemble): pre-allocate tree and sample vector capacities in forest models

Merged PR

What was achieved: Optimized machine learning ensemble tree training performance by pre-allocating exact sample vector capacities, avoiding repeated heap buffer reallocations during Random Forest training cycles.

Machine Learning Random Forest Pre-Allocation
View PR #386 on GitHub →
#120
oschwald / maxminddb-rust

reader: use u32::from_be_bytes for single-instruction 32-bit node decoding

Merged PR

What was achieved: Accelerated GeoIP database binary lookups by utilizing native big-endian byte conversion (`u32::from_be_bytes`), enabling single-CPU-instruction decoding of 32-bit database nodes.

MaxMind GeoIP Byte Decoding Optimization
View PR #120 on GitHub →
#1
RuView (ESP32 CSI Embedded Firmware & Telemetry)

fix(firmware/onboarding): use base MAC for device_digest + host unit tests

Merged PR

What was achieved: Resolved device fingerprint non-uniqueness in ESP32 embedded onboarding firmware (serial_onboarding.c) by extracting the hardware base MAC address via esp_base_mac_addr_get() as entropy for PSA SHA-256 digests. Engineered zero-dependency host C unit testing framework with isolated PSA crypto stubs and cross-platform compilation verification.

Embedded Systems ESP32 Firmware C99 / PSA Crypto Unit Testing
View PR #1 on GitHub →
// Applications & AI Systems

Featured AI & Backend Projects

AI & RAG Architecture

RAG-Powered Intelligent Search & E-Commerce

Engineered a Retrieval-Augmented Generation (RAG) backend utilizing vector embeddings, OpenAI APIs, and Python Flask microservices to deliver semantic search and contextual product Q&A.

Python Flask APIs Vector Search RAG
Autonomous AI Agents

Jarvis AI Multi-Tool Assistant

Created an agentic assistant capable of dynamic tool calling, live web search, and automated code generation using LLM function calling and Python orchestration.

Python LangChain LLM APIs Agentic AI
// Industry Experience

Virtual Internships

Nationally recognized internships supported by AICTE and IBM SkillsBuild.

1M1B & AICTE with IBM SkillsBuild Dec 2025 – Jan 2026

AI for Sustainability Virtual Internship

Gained practical hands-on experience in Agentic AI and RAG systems to solve real-world problems. Developed intelligent data retrieval pipelines and responsible AI models aligned with UN Sustainable Development Goals.

Internship ID: 17630914316916a3e755254
Edunet Foundation & AICTE with IBM Dec 2025 – Jan 2026

Artificial Intelligence & Machine Learning Internship

6-week intensive training on core Machine Learning algorithms, Data Science pipelines, and Neural Network architectures in Python.

STU ID: STU68b158667e0831756452966
// Formal Recognition

Course Certifications (10)

All verified credentials from IBM, Amazon Web Services (AWS), Microsoft, Coursera, and LinkedIn.

IBM • Issued Dec 2025

Artificial Intelligence Fundamentals

Skills: Generative AI, Artificial Intelligence (AI), Machine Learning.

Verified Credential
IBM • Issued Nov 2025

Python Project for AI & Application Development

Skills: Flask, IBM Watson, AI Application Development.

Verified Credential
IBM • Issued Nov 2025

Developing AI Applications with Python and Flask

ID: B6P39UJXATTJ
Verified Credential
Amazon Web Services • Issued Oct 2025

AWS Cloud Practitioner Essentials

ID: J3NPR8SKCRSA
Verified Credential
AWS / Coursera • Issued Jul 2025

AWS AI Fundamentals and the Cloud

ID: KRW0LK1QSGU4
Verified Credential
Microsoft • Issued Jul 2025

Microsoft Python Programming Fundamentals

Skills: Python (Programming Language), Data Structures.

Verified Credential
LinkedIn Learning • Issued Jul 2025

Generative AI: Evolution of Online Search

Skills: Search Engine Technology, AI for Business.

Verified Credential
LinkedIn Learning • Issued Jul 2025

What Is Generative AI?

Skills: Generative AI Tools & LLM Architecture.

Verified Credential
IBM • Issued Jun 2025

IBM Introduction to HTML, CSS, & JS

ID: 75B24V7B4Z3T
Verified Credential
IBM • Issued May 2025

IBM Python for Data Science and AI

Skills: Python Data Science, APIs, JSON & Data Analysis.

Verified Credential
// Technical Stack

Skills & Technologies

High-Perf & Systems

  • • Zero-Allocation Networking
  • • JA4+ TLS Fingerprinting
  • • Python (FastAPI, Flask, Async)
  • • PostgreSQL, SQLite & Redis
  • • TCP/IP Wire Protocol Parsing

AI & RAG Systems

  • • RAG Pipelines
  • • Vector Embeddings & Search
  • • OpenAI & Claude APIs
  • • Agentic AI Workflows
  • • Prompt Engineering

Cloud & Security

  • • AWS (EC2, S3, IAM, Cloud)
  • • Docker Containerization
  • • Network Security & Anomaly Detection
  • • OWASP Top 10 Security
  • • Linux & Git Workflows
CONNECT WITH ME

Let's Build Something High-Impact.

Ready to contribute to your engineering team immediately. Let's connect on LinkedIn or explore my Spryzen engine and merged pull requests on GitHub.

© 2026 ADITYA DAHALE. All Rights Reserved.