The project mentions that it uses snarkjs and I thought I'd link it directy here. [1] What's interesting in the setup of these systems is the "Powers of Tau" ceremony which, in a decentralized manner (using secure multi-party computation), avoids the "trusted setup" problem in non-interactive variants of zero knowledge proof systems like this one. [2]