Theory_of_zk-SNARKs