Sublinear Prover PlonK Cuts Verifiable Computation Cost by Proving Active Circuits
SublonK introduces a novel SNARK prover whose runtime scales only with the active circuit, fundamentally optimizing large-scale verifiable computation.
