ZK Snorks and Starks

It's not pure theory at this point. I've seen conference talks where they actually show off some some examples and stuff but like the one talk I saw by one of the researchers working on this it was a great talk. But he was showing some example program. The input program was something stupidly simple and it took like 200 gigs of RAM or something to make it proof. So it's just like it's not feasible right now to use it for anything but it's still like it exists. It's a thing that just needs to be improved.