David Wong
@cryptodavidw
security @zksecurityXYZ & AI @zkaol, author of Real-World Cryptography, prev: architect @Mina, sec lead Libra (@Facebook), crypto @NCCGroup
3K Following 17.9K Followers
btw it might not be clear but to participate in you really don't need to understand any of it, just download the llms.txt and ask your agent to beat the record, that's it.
If you do, you'll get added to the leaderboard and you'll be part of history! We're trying to find the most optimized circuits for SHA-256 and RSA right now, and it's only been a few hours so it's probably easy to get in there :D
Show more
3 years ago when we started zkSecurity, we reviewed a number of RSA circuits.
they're not easy to review.
If you had told me then that 3 years later we wouldn't have to understand how these circuits work for them to be secure, there's no way I would have believed you.
The work that the clean team has managed to achieve is really insane. Props to @mitschabaude @pirapira @g_dellimmagine and rot256
Show more
really shows that finding the right abstraction is 99% of the work
