verifying machine intelligence since 2022 — using the world’s fastest ZK-AI prover

“watercolor of living, breathing chains” — DALLE (original, digital ink, 2022)

long thoughts: https://medium.com/@ModulusLabs
‍short thoughts: https://twitter.com/ModulusLabs
ongoing thoughts: https://discord.gg/6N73xD5Ga3
mailing list: https://forms.gle/Wpdi8xCnW6GcMzC3A

team: Daniel Shorr, Ryan Cao, Nick Cosby, Giorgos Zirdelis
part-time researchers: Dan Dore, Allison Qi
advisors: Zhang Zhenfei (EF), Riad Wahby (CMU), Rand Hindi (Zama)

projects: Leela vs the World, Rockybot
papers: "Remainder" (coming soon), "Cost of Intelligence"