Home > Resources > papers > BFH+20-Ligero-Plus

Ligero++: A New Optimized Sublinear IOP (Bhadauria et al. 2020)

URL: https://acm-stag.literatumonline.com/doi/pdf/10.1145/3372297.3417893

Summary

Improves on Ligero with better concrete efficiency: smaller proof sizes and reduced prover computation. Introduces new techniques for batching consistency checks and optimizing the Reed-Solomon encoding step. Presented at CCS 2020 and forms the theoretical basis for the Ligetron prover platform.

Used by

• Ligero-Plus-Plus

Related resources

• Ligero: Lightweight Sublinear Arguments Without a Trusted Setup (Ames et al. 2017) (paper, 2017)