@karli
zk Facts/ There are several types of snark systems.
* Pairing or elliptic curve-based, such as Groth16, vanilla PLONK, Marlin, BulletProof, etc.
* Hash-based, such as Stark and Plonky2.
Quantum computers can attack pairings/elliptic curve based systems due to their cryptographic assumptions which rely on discrete logarithm prob.