TENET : Sublogarithmic Proof, Sublinear Verifier Inner Product Argument without a Trusted Setup

ePrint Report: TENET : Sublogarithmic Proof, Sublinear Verifier Inner Product Argument without a Trusted Setup

Hyeonbum Lee, Jae Hong Seo

We propose a new inner product argument (IPA), called TENET, which features sublogarithmic proof size and sublinear verifier without a trusted setup. IPA is a core primitive for various advanced proof systems including range proofs, circuit satisfiability, and polynomial commitment, particularly where a trusted setup is hard to apply. At ASIACRYPT 2022, Kim, Lee, and Seo showed that pairings can …

advanced argument asiacrypt called complexity eprint report features hard kim lee product report seo size systems