Skip to content
View Koukyosyumei's full-sized avatar
72 followers · 13 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Starstruckx2Achievement: Pull Sharkx3Achievement: YOLO

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Starstruckx2Achievement: Pull Sharkx3Achievement: YOLO

Highlights

  • Pro

Block or report Koukyosyumei

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
Koukyosyumei/README.md

Hideaki Takahashi 🌍

👋 I’m a second-year Ph.D. student in Computer Science at Columbia University, currently focusing on Zero Knowledge Proofs.

🚀 Featured Projects

  • zkFuzz: ZK circuit fuzzer (60+ confirmed bugs)
  • AIJack: Security risk simulator for machine learning (400+ stars on GitHub, 10K+ downloads, referenced in 10+ papers)
  • rhoevm: Symbolic EVM execution engine written in Rust to uncover Ethereum smart contract vulnerabilities
  • MyZKP: Tutorial e-book to implement zero-knowledge proofs from scratch using Rust and CUDA.

🐛 Notable Bugs Found

I’ve discovered and responsibly reported 70+ vulnerabilities in real-world ZK projects. Some confirmed and fixed cases include:

📄 Selected Publications

  • [IEEE S&P '26] 0️⃣: zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits
    • Hideaki Takahashi*, Jihwan Kim, Suman Jana, Junfeng Yang | paper | code
  • [AAMAS '24] 🚗: On the Transit Obfuscation Problem
    • Hideaki Takahashi*, Alex Fukunaga | paper | code
  • [CVPR '23] 🎥: Breaching FedMD, Image Recovery via Paired-Logits Inversion Attack
    • Hideaki Takahashi*, Jingjing Liu, and Yang Liu | paper | code

View my full list on Google Scholar.

Pinned Loading

  1. AIJack AIJack Public

    Security and Privacy Risk Simulator for Machine Learning (arXiv:2312.17667)

    C++ 409 64

  2. FLAIR-THU/PairedLogitsInversion FLAIR-THU/PairedLogitsInversion Public

    Implementation of "Breaching FedMD: Image Recovery via Paired-Logits Inversion Attack" (CVPR 2023)

    Python 5

  3. Runwai Runwai Public

    Refinement-typed DSL for certified AIR constraints and lookups

    Lean 5 4

  4. rhoevm rhoevm Public

    symbolic EVM execution engine written in Rust

    Rust 18 2

  5. MyZKP MyZKP Public

    Building Zero Knowledge Proof from Scratch in Rust

    Rust 48 2

  6. zkFuzz zkFuzz Public

    ZK Circuit Fuzzer (IEEE S&P'26)

    Rust 29 3