Blog
/ Academics & Research
zero knowledge ^ not you after reading this post!

formulation is that any statement in np can be proven). you can imagine how ... example is in fact non-interactive
so, putting all of that together, a zk ... in terms of basic arithmetic operations, it is possible to create a zk