Lightweight proofs of graph properties using SNARKs
Eito Miyamura
@Miyamura80 on GitHub ↗- Projects
- 6
- Winning projects
- 6
- Prize money (team total)
- $15,669
- Hackathons
- 6
- Active
- 2022–2025
Builds in
Teammates
Projects
🎙🔒 ZK Microphone: Trusted audio in the age of deepfakes 🔒🎙 Generative AI is a threat to society. It enables disinformation, manipulation, and political subversion. We've built the world's first attested microphone and used ZK-SNARKs to protect authenticity and privacy.
UBF is a universal blockchain frontend that makes blockchain technology accessible to everyone with payments, identity, GUI, and natural language. It uses AI for the best results and is open-source.
🐟🥩 - self-updating phishing antivirus software with crowdsourced phishing zero-days
SuperParallel - the highest throughput EVM L2 in the world designed for payments! Remove the bottleneck of longest-interdependent TX by design to EVM-parallelize effectively, while leveraging ETH ecosystem and security
A developer kit for integrating personalised, reputation-based reviews into marketplaces and small businesses
Projects are linked from GitHub commits to each project's repo during its hackathon, so some may be missing or wrong. Prize money is each project's total, shared with teammates. Is this you?









