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++ 397
  2. Koukyosyumei/zkFuzz

    ZK Circuit Fuzzer

    Rust 21
  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

$ a month

You'll receive any rewards listed in the $1 monthly tier. Additionally, a Public Sponsor achievement will be added to your profile.

$1 a month

Select
  • Get a Sponsor badge on your profile

$5 a month

Select

Logo or name goes in my project README

$99 a month

Select
  • Priority implementation of your desired paper
  • Logo or name on project website
  • Access to pre-release builds of my project

$999 a month

Select
  • I'll join your company chat app for help and support