Zero-knowledge scalable transparent argument of knowledge (zk-STARK)