Introduction to zk-SNARKS