Recent blog posts
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!
Equipped with finite fields and polynomials, it’s time to take a look at our very first proving system!
arkana
