An open API service aggregating public data about GitHub Sponsors.

koukyosyumei

View JSON Representation

CS Ph.D. student @columbia working on Digital Finance Security

Funding Links: https://github.com/sponsors/Koukyosyumei

GitHub Sponsors Profile

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.

Featured Works

Koukyosyumei/AIJack

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

Language: C++ - Stars: 391
Koukyosyumei/zkFuzz

ZK Circuit Fuzzer

Language: Rust - Stars: 17
Koukyosyumei/Loda

Certified ZK Circuit in Lean4

Language: Lean - Stars: