koukyosyumei
CS Ph.D. student @columbia working on Digital Finance Security
Funding Links: https://github.com/sponsors/Koukyosyumei
- Name: Hideaki Takahashi
- Location: Tokyo ā New York
- Company: Columbia University
- Kind: user
- Followers: 55
- Following: 11
- Total stars: 427
- Repositories count: 54
- Created at: 2022-11-15T03:14:31.036Z
- Updated at: 2025-06-09T11:48:45.317Z
- Last synced at: 2025-06-09T11:48:45.316Z
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.
- Current Sponsors: 0
- Past Sponsors: 0
- Total Sponsors: 0
- Minimum Sponsorship: $1.00
Featured Works
Koukyosyumei/AIJack
Security and Privacy Risk Simulator for Machine Learning (arXiv:2312.17667)
Language: C++ - Stars: 391Koukyosyumei/zkFuzz
ZK Circuit Fuzzer
Language: Rust - Stars: 17Koukyosyumei/Loda
Certified ZK Circuit in Lean4
Language: Lean - Stars: