Paper 2023/1240 Original: eprint.iacr.org/2023/1240 ↗
$\mathsf{FREPack}$: Improved SNARK Frontend for Highly Repetitive Computations
Abstract
Modern SNARK designs typically follow a frontend-backend paradigm: The frontend compiles a user's program into some equivalent circuit representation, while the backend calls for a SNARK specifically made for proving circuit satisfiability. While these circuits are often defined over small fields, the backend prover always needs to lift the computation to much larger fields to ensure soundness. This gap introduces concrete overheads for ZK applications like zkRollups, where group-based SNARKs are used to provide constant-size proofs for Merkle tree openings. For a class of highly repetitive computations, we propose FREPack, an improved frontend that effectively bridges this gap. The larger the gap between circuit's small field and backend's large field, the more FreePack reduces the circuit size, making it particularly well-suited for group-based backends. Our implementation shows that, for proving ~300 iterations of SHA-256, FreePack improves the performance of Groth16 by 3.6x, Nova by 3.8x and Spartan by 5.9x.
Metadata
- Available format(s)
PDF- Category
- Cryptographic protocols
- Publication info
- Preprint.
- History
- 2025-09-02: last updated
- 2023-08-16: published
- Short URL
- https://ia.cr/2023/1240
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2023/1240,
author = {Sriram Sridhar and Yi-Nuo Zhang},
title = {$\mathsf{FREPack}$: Improved SNARK Frontend for Highly Repetitive Computations},
howpublished = {Cryptology {ePrint} Archive, Paper 2023/1240},
year = {2023},
url = {https://eprint.iacr.org/2023/1240}
}