Hayden 'Dax' Porter-Aylor

[ SUMMARY ]

Nuclear-Engineer-turned-Software-Engineer-turned-Founder. CEO of Zera Labs, where I lead R&D on zero-knowledge SDKs, compressed-token AMMs on Solana, and AI-agent cryptographic primitives. Concurrently a PhD candidate by publication in zero-knowledge proof systems (Poseidon-flavoured SNARKs, recursive composition, post-quantum considerations). Prior senior IC at ConsenSys, USAA, PMG; short stint in industrial Bitcoin mining at Foundry Digital between Navy and software. Public security research on the npm + Rust supply chain. Speaker at Permissionless, EthGlobal.

[ EXPERIENCE ]

• Founder & CEO · Zera Labs

  2025 – present · Dallas, TX (remote-first team)
  • Lead the team building zera-sdk: a Rust-core, TypeScript-surfaced ZK toolkit (Poseidon hashes, Merkle proofs, ZK provers, MCP server for AI agents) consumed by the wider Zera ecosystem.
  • Shipped zeraswap (compressed-token AMM on Solana via Light Protocol) and zera-wallet-demo as the canonical UX reference.
  • Co-author of the public Zera Design System v3 (this blog runs on it).
  • Drove fundraising, GTM, and hiring while still shipping code — every PR touching the SDK core lands across my desk.
  • Maintain a public security-research line: Rusty Pipes (npm + Rust supply-chain) and AI x402 honeypot research.

• PhD candidate by publication — zero-knowledge proof systems · Independent / TODO: Dax confirm institution

  2024 – present · Remote
  • Publishing on Poseidon-flavoured SNARK construction, recursive proof composition, and post-quantum implications for ZK rollups.
  • Research artefacts shipped through Dax911/research, research2, research_phd, and zk-interviews repos.
  • Cross-pollinates with the Zera Labs roadmap: every paper has a corresponding production component in zera-sdk.

• Operations / Engineer (industrial Bitcoin mining) · Foundry Digital

  TODO: Dax confirm dates — short stint · TODO: confirm
  • Hands-on with industrial-scale ASIC fleet operations: power, cooling, firmware, on-call for site uptime.
  • First exposure to crypto-economic primitives at the hardware level — informed everything that came after.

• Senior Software Engineer · ConsenSys

  TODO: confirm — YYYY–YYYY · Remote
  • Open-source contributions across the ConsenSys product surface
  • Mentored junior engineers and collaborated with Developer Relations leadership
  • Speaker at Permissionless and EthGlobal on Web3 developer experience and security

• Software Engineer · USAA

  TODO: confirm — YYYY–YYYY · San Antonio, TX
  • TODO: Dax confirm — primary stack and impact
  • TODO: Dax confirm — notable shipped feature

• Software Engineer · PMG

  TODO: confirm — YYYY–YYYY · TODO: confirm
  • TODO: Dax confirm — primary stack and impact
  • TODO: Dax confirm — notable shipped feature

• Nuclear Electronics Technician · United States Navy

  TODO: confirm — YYYY–YYYY · Various
  • Maintained and operated electronics systems aboard nuclear-powered vessels.
  • Foundation in disciplined, safety-critical engineering practice.

[ SKILLS ]

• Languages: TypeScript · JavaScript · Rust · Go · Python · Solidity · Move
• Frameworks: React · Next.js · Astro · Node.js · Bun · Anchor (Solana)
• Infra & Cloud: Cloudflare (Pages, Workers, Browser Rendering, R2, Vectorize, D1) · Docker · PostgreSQL · Redis · NixOS / Nix
• Security: npm supply-chain analysis · Rust-based payload research · Smart contract review · Threat modelling · AI-agent honeypots / x402 research
• Cryptography: ZK SNARKs (Groth16, PLONK, Halo2 family) · Poseidon / Pedersen / Rescue hashes · Merkle proofs + recursive composition · Compressed-token state on Solana (Light Protocol) · Post-quantum signature schemes (overview)
• Founders / Leadership: Hiring senior ICs · Technical product strategy · Investor + customer comms · Cross-functional alignment · Publishing peer-reviewed research alongside shipping product
• Other: Public speaking / DevRel · Technical writing · Embedded / RISC-V (Milk-V Duo)

[ EDUCATION ]

• TODO: Dax confirm institution — PhD by publication — PhD candidate, zero-knowledge proof systems · 2024 – present

  By-publication route. Output channel: peer-reviewed papers + ePrint + research repos under Dax911/.

• United States Navy — Nuclear Power School — Nuclear Electronics Technician · TODO: confirm

  Reactor operations + safety-critical electronics. Foundation for all later engineering discipline.

• TODO: civilian degree (if applicable) — TODO · TODO

  TODO: Dax confirm whether to list this section.

[ CERTIFICATIONS ]

• Naval Nuclear Power Qualification — United States Navy · TODO: confirm
• TODO: additional cert — TODO · TODO

[ SPEAKING ]

• Permissionless — Web3 developer experience and security
• EthGlobal — mentor + panellist
• Building a ZK SDK Without a Cryptography PhD (proposed)
• Why your supply chain has a Rust problem (proposed)