Proving systems that were research curiosities five years ago now run in production, verifying computation cheaply enough to matter.
Beyond privacy
Compression, not confidentiality, is driving most current adoption — proving that a large computation happened correctly without redoing it.
Developer experience
Toolchains are still the limiting factor, but the gap is closing quickly.
