Why and How zk-Snark Works (2019)