Don't be lazy, write your own proof!
 
Don't be lazy, write your own proof !
 
Tom Godden
 
Abstract ■

ZK compilers and virtual machines are amazing pieces of technology. Here is why not to use them.