SPARKs: Succinct Parallelizable Arguments of Knowledge | Journal of the ACM (JACM) | DeepDyve