ZK-SNARKs and ZK-STARKs