Home > Tags > linear-time-prover

Linear-Time Prover

Description

Tags proof systems where the prover runs in linear time (O(n)) relative to witness/circuit size — a key efficiency property for large-scale applications.

Entries tagged

• HyperPlonk
• HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates (Chen et al. 2023)
• Ligero: Lightweight Sublinear Arguments Without a Trusted Setup
• Ligero: Lightweight Sublinear Arguments Without a Trusted Setup (Ames et al. 2017)
• Ligero++: A New Optimized Sublinear IOP (Bhadauria et al. 2020)
• Scalable Secure Multiparty Computation (Damgård-Ishai 2006)