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:
short thoughts:
ongoing thoughts:
mailing list:

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"