Efficient Lattice-based Sublinear Arguments for R1CS without Aborts

ePrint Report: Efficient Lattice-based Sublinear Arguments for R1CS without Aborts

Intak Hwang, Jinyeong Seo, Yongsoo Song

We propose a new lattice-based sublinear argument for R1CS that not only achieves efficiency in concrete proof size but also demonstrates practical performance in both proof generation and verification.
To reduce the proof size, we employ a new encoding method for large prime fields, resulting in a compact proof for R1CS over such fields.
We also devise a new proof technique that randomizes the …

argument concrete efficiency eprint report performance proof report seo size song verification