Home > Resources > papers > AHIV17-Ligero

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

URL: https://acmccs.github.io/papers/p2087-amesA.pdf

Summary

Introduces Ligero, a transparent proof system with sublinear proof size based on MPC-in-the-head and Reed-Solomon codes. Avoids any trusted setup and achieves linear prover time. Uses a novel encoding of the circuit witness as a codeword, verified through proximity tests. Basis for the Ligero++ and Ligetron systems.

Used by

• Ligero
• Ligero-Prover

Related resources

• Ligero: Lightweight Sublinear Arguments Without a Trusted Setup (paper, 2022)
• Ligero++: A New Optimized Sublinear IOP (Bhadauria et al. 2020) (paper, 2020)
• Ligetron Marketplace Documentation (doc, 2024)