The gates themselves take as input some number of input wires and then they'll spit out one output wire. This allows you to basically map any type of computational logic down into a set of additions and multiplications. You can use this to compose and represent all sorts of typical computer language primitives like your for loops and your while loops, if statements and your else statements. There's actually been some papers in the past that map the entire assembly language instructions down to these types of circuits.
In this episode, we sit down with Howard Wu to explore zkSNARKs, the challenges in the application of this awesome technology, the new ideas emerging for how to scale them and his latest work on DIZK.
This is the 2nd in our ongoing series about Zero Knowledge technologies. To get a good sense of Zero Knowledge Proofs, please listen to our introduction to the topic in Episode 21.
Howard Wu is an early member of Blockchain at Berkeley, the co-author of Libsnark, and a managing partner of Dekrypt Capital.
Links: