Recent blog posts
A broader look at the connection between different computation models, and the importance of arithmetic circuits
We now move forward to our first truly general computation correctness proving mechanism!
As we get closer to general proving systems, we are required to look at computation models, which brings us to circuits!
Let’s get practical, and build some arithmetic circuits!
This second round of zero knowledge proofs will take us on a journey to understand a more general framework. Hang tight!
Before moving on into more complex zero knowledge proofs, we need to introduce a new model: arithmetic circuits!
arkana
