Hacker News new | ask | show | jobs
by velocity3230 236 days ago
I wonder if the ZKP stuff could be added to [Magic Lantern](https://www.magiclantern.fm/)?