Zero Knowledge Proofs, Zero Knowledge, Zksnark, Crytocurrency, Zkp.
time, we went from an execution trace, cranked it through an arithmetization method (R1CS), and turned it into a constraint satisfaction problem. Now, we’ll be discussing the right half of the diagram: Components of a proof system Commitment schemes Before diving in, we should back up a bit and