Skip to content
You must be logged in to sponsor Koukyosyumei

Become a sponsor to Hideaki Takahashi

@Koukyosyumei

Hideaki Takahashi

Koukyosyumei
Tokyo → New York

Welcome to my GitHub Sponsors page! I’m passionate about building the next generation of tools for testing and verifying security in emerging distributed systems and zero-knowledge applications. Your support enables me to dedicate more time to projects that bring robustness and reliability to the open-source ecosystem.

@Koukyosyumei

Build cutting-edge tools that proactively identify vulnerabilities in AI pipelines and zero-knowledge circuits.

Featured work

  1. Koukyosyumei/AIJack

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

    C++ 404
  2. Koukyosyumei/zkFuzz

    ZK Circuit Fuzzer

    Rust 23
  3. Koukyosyumei/Loda

    Certified ZK Circuit in Lean4

    Lean

Learn more about sponsoring developers and organizations.

Report abuse

0% towards 10 monthly sponsors goal

Be the first to sponsor this goal!

Select a tier

$ one time

A Public Sponsor achievement will be added to your profile.

$10 one time

Select
  • Get a shoutout on Twitter

$50 one time

Select
  • Earn a mention in our Release notes

$350 one time

Select
  • One hour consulting or mentorship
  • Priority implementation of your desired paper

$2,000 one time

Select
  • I'll give a talk at your conference

$5,000 one time

Select
  • Large contract project – contact me!