Ariel GabizonSome random thoughts from my last Vipassana courseDuring a 10-day retreat you occasionally have thoughts you would want to record, at moments where you feel some insight/understanding and…Jan 1, 2019Jan 1, 2019
Ariel GabizonGiving Extractors what they needThe K in SNARKs tells us — the statement is not just true..the prover in fact knows a witness for its validity! And this K is not just an…Oct 24, 20181Oct 24, 20181
Ariel GabizonEnforcing linearity — a bird’s eye view on recent ZK-proving techniquesThe field of zero-knowledge proof systems, with short proofs, has seen many recent developments.Sep 25, 20181Sep 25, 20181
Ariel GabizonMoving SNARKs from the generic to algebraic group modelThe most efficient zk-SNARK construction known, due to Jens Groth, has a security proof written in what’s called the generic group model.Aug 24, 2018Aug 24, 2018