Skip to content
View TheFrozenFire's full-sized avatar

Highlights

  • Pro

Organizations

@ethereum

Block or report TheFrozenFire

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.

Content in all repositories owned by your account will be closed.
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
TheFrozenFire/README.md

Justin Martin

Principal Engineer, Applied Cryptography, R&D

Profile

Seasoned software engineer with 15+ years of experience across infrastructure, data science, cryptography and full-stack development. I thrive on novelty, difficulty and the esoteric. I'm great at marshaling uncertainty and making complexity coherent. R&D and Growth Engineering are my specialty.

Specialized in

  • ZK cryptography
  • Web proofs (zk-TLS)
  • R&D and growth engineering
  • Operational intelligence
  • Formal verification
  • Market data, pricing and execution optimization
  • AI agent tooling with machine-checked output

Research interests

  • Sybil resistance
  • Cryptoeconomics
  • Privacy
  • Adversarial interoperability
  • Due process by design

Experience

2026 Reserve (ABC Labs)

Lead Engineer, DeFi Engineering

Reserve issues index-fund products on digital-asset markets.

  • Developed and maintained the core product, a hyper-optimized DeFi transaction solver
  • Built a multi-chain DeFi market data engine
  • Developed a novel graph-based convex optimization algorithm for multi-input, multi-output order flow solving
  • Formal verification of ETL, optimization algorithms, application security, smart contracts
  • Infrastructure management and security
  • Established fully agentic development practices, guard rails, deployment processes, observability

2022 – 2025 Keyring Network

Applied Cryptographer, R&D

  • Developed a ZK KYC/AML protocol from the ground up for regulated finance: users prove they passed verification without disclosing their identity data
  • Deployed an MPC-TLS solution for extracting identity documents from web sessions as verifiable evidence
  • Developed and deployed Circom circuits; Rust-based WASM development; Solidity smart contract development
Proof systems, toolchain and messaging
  • Wrote cryptographic proof primitives in Circom, TypeScript and Rust (compiled to WASM), including blinded RSA signing verified inside a proof circuit
  • Built a circuit development toolchain in TypeScript
  • Integrated TLS Notary for MPC-TLS web proofs
  • Built a browser extension and an IPFS-based peer-to-peer protocol messaging layer (OrbitDB)

2022 – 2023 eth.limo

Infrastructure Engineer, R&D

  • Improved and maintained the core ENS Gateway, which serves decentralized websites over the regular web
  • Developed Chauffeur, a user-local ENS Gateway for name resolution and content serving
  • R&D on IPFS, ENS and bridging decentralized protocols with the traditional internet

2021 – Aug 2022 PSE Team @ Ethereum Foundation

Grants Coordinator, DevRel, R&D

  • Developed a ZK prover for JSON Web Tokens: proves possession of a token from a social identity provider without revealing it
  • Issued and supervised grant projects; scouted talent and routed prospects to ESP projects
Open source, developer relations and program management
  • Published open-source ZK cryptographic primitives
  • Ecosystem developer relations, supporting developers adopting privacy tooling
  • Bootstrapped product management processes for taking grant projects to production
  • Supported infrastructure for compiling large proof circuits

2013 – 2021 CallFire / EzTexting

Principal Engineer (DevOps, Compliance, Carrier Ops)

  • Developed a heuristic-and-ML messaging compliance system to enforce industry content regulations
  • Bootstrapped the Growth Engineering team; drove a major decrease in churn and increases in conversion and ARPU through A/B testing
  • Total refactor of the core backend codebase; instituted engineering best practices and trained the team on design patterns, testing methodologies and software lifecycle
Compliance, fraud and operational intelligence
  • Developed anti-spam, anti-fraud threat modeling
  • Developed an Operational Intelligence platform producing reporting, monitoring and analysis of infrastructure and telephony operations
  • Oversaw platform architecture and application security
Platform, DevOps and carrier operations
  • Joined through an acqui-hire as the SMS connectivity vendor
  • Acted as DevOps lead: infrastructure orchestration, observability and incident response methodology; migrated to automated cloud provisioning and monitoring
  • Built "Cloud Caller" provisioning automation, enabling a 20× increase in outbound calling capacity
  • Oversaw platform architecture; refactored most of EzTexting's message processing, routing and origination software
  • Ran carrier operations as Principal Engineer, Operations
  • Delivered professional services for enterprise customers (custom call scheduling, routing and reporting)
  • Wrote CallFire's public PHP SDK and did developer relations

2013 – 2019 Roave

Lead Engineer

  • Developed and managed SMSCloud, a high-throughput telephony SMSC connecting businesses to carrier networks
  • Oversaw operations of a software development agency (contract negotiations, recruitment)

2012 MediaDevils

Lead Engineer

  • Ecommerce sweatshop
  • Built numerous custom e-commerce websites for "As Seen on TV" products
  • Built custom membership video streaming platforms
  • Built specialized social network and online learning platforms

FOSS

2008 – 2016 PHP

Documentation Maintainer, Community Manager

  • Maintained documentation as a credited contributor; voting project member
  • Founded PHP Mentoring, contributed to Zend Framework and managed community channels (IRC, Reddit, etc.)

Other

Tech stack

Rust, WASM, TypeScript · Circom, Solidity, EVM, IPFS · GCP, AWS, Cloudflare · Elasticsearch, Redis · MySQL, Postgres · Python, Pandas, Jupyter · Ansible, Terraform, Kubernetes

Keywords

Rust, WASM, TypeScript, Circom, Solidity, Python, Go, PHP, SQL, Postgres, MySQL, MongoDB, Neo4j, Redis, Elasticsearch, Pandas, Jupyter, AWS, GCP, Cloudflare, Kubernetes, Terraform, Ansible, Grafana, Loki, LLM agents, MCP, machine learning, optimization, A/B testing, formal verification, Rocq

Patent

2021 Co-inventor, US Patent 10,917,244 (2021, CallFire): bridging SMS/telephony messaging and smart contracts

Last updated November 2026

Pinned Loading

  1. snurk snurk Public

    A Rust tool for generating optimized wasm prover binaries from Circom circuits

    Rust 7 2

  2. snark-jwt-verify snark-jwt-verify Public

    Verify JWTs using SNARK circuits

    JavaScript 29 3

  3. dune-analytics dune-analytics Public

    An interface for querying Dune Analytics in Python

    Python 18 5

  4. circom-ts circom-ts Public

    TypeScript 2 1

  5. PHP-Swagger-Parser PHP-Swagger-Parser Public

    Swagger parser for PHP

    PHP 29 17

  6. PHP-NBT-Decoder-Encoder PHP-NBT-Decoder-Encoder Public

    A PHP-based decoder and encoder for the Minecraft NBT format

    PHP 49 13