Zero Knowledge Proofs, Zero Knowledge, Zksnark, Crytocurrency, Zkp.
Continuing from part 2, where we discussed building circuits and arithmetization. Now, we conclude our series by discussing how we go from constraint satisfaction through to a proof system and finally end up with a zkSNARK. Rabbit in a rabbit hole Zooming out again Back to this diagram from last