critical systems · applied cryptography

June

Software Engineer · Taipei, Taiwan

Software Engineer specializing in high-performance backend systems, distributed data pipelines, and applied cryptography / ZK systems. My work spans full-stack engineering, high-concurrency architectures, and cross-layer debugging from infrastructure to protocol design.

selected work

Open-source proofs, protocols & tools.

Curated from github.com/june-in-exile.

experience

Where I've built.

  1. Full-Stack Engineer (Intern)

    Elbats Ltd Feb 2026 — Aug 2026 · Hybrid / Taipei
    • Built full-stack trading and prediction market systems, covering perpetual trading and prediction market workflows from backend APIs and data pipelines through to web and mobile interfaces — turning dense contract and trading logic into something people could actually use.
    • Designed and implemented a live-or-nothing pricing mechanism to mitigate excessive broker slippage, cutting monthly order cancellations to single digits.
    • Researched and shipped a gasless transaction flow, collapsing an authorization-popup flow into a one-click transaction and saving 10–15 seconds per trade.
    • Eliminated a 7–8s stall on sub-tab switching by pushing row filtering out of application-layer memory and down into Postgres — returning only the rows actually needed and cutting redundant data movement by up to ~98%.
    • Identified and mitigated critical SDK and smart contract vulnerabilities that could have exposed millions of dollars in user assets to loss.
    • Built internal tooling for development workflows and operational recovery, and fixed critical issues beyond assigned repository boundaries.
  2. ZK Engineer

    Twin3 Dec 2025 — Feb 2026 · Remote
    • Built a GCP-hosted proving service on Brevis Pico (zkVM), generating ZKPs that validate Human Index integrity for 10,000+ users without exposing private data.
  3. Golang Backend Engineer

    Aurora Tech Mar 2022 — Jan 2023 · Onsite / Taipei
    • Developed a CFD trading platform with Gin, GORM, and Kafka, orchestrating deployment via Docker/K8s while holding 80%+ unit and integration test coverage.

writing

Selected writing.

More on Medium →

hackathons

Wins from the field.

tech stack

languages
  • TypeScript
  • JavaScript
  • Python
  • C / C++
  • Go
  • Move
  • Solidity
  • Circom
full-stack
  • React
  • Next.js
  • NestJS
  • gRPC / REST
  • Kafka
  • Redis
  • ClickHouse
infra
  • GCP
  • Docker
  • Kubernetes
  • Postgres
crypto · zk
  • Circom
  • Groth16
  • snarkjs
  • Poseidon / Merkle
  • AES-GCM
blockchain
  • Sui
  • EVM
  • DeFi

education

Credentials.