flâneur

Math & Engineering

xn--2-umb.com · 1,873 words · saved by 1 readers

Random collections of my notes and articles over the years, mostly about maths and/or engineering.

\gdef\Z{\mathbb{Z}} \gdef\F{\mathbb{F}} \gdef\p#1{({#1})} \gdef\e{\mathrm{e}} \gdef\g{\mathrm{g}} Groth16 \gdef\delim#1#2#3{\mathopen{}\mathclose{\left#1 #2 \right#3}} \gdef\p#1{\delim({#1})} \gdef\F{\mathbb{F}} \gdef\G{\mathbb{G}} \gdef\g{\mathrm{G}} \gdef\e{\mathrm{e}} \gdef\Z{\mathrm{Z}} Notes on the Groth16 proof system. An evergreen from the era of R1CS with extensive and widely used tooling such as bellman , zokrates and circom . It is the proof system currently used by ZCash , Hermez , DarkForest , TornadoCash , Semaphore , Loopring , and others. Pick an elliptic curve pairing . Let \G_

related reading