Polynomial IOPs for linear algebra relations

DOI10.1007/978-3-030-97121-2_19zbMATH Open1492.94166OpenAlexW4214725026MaRDI QIDQ5087271FDOQ5087271

Yuncong Zhang, Alan Szepieniec

Publication date: 8 July 2022

Published in: Public-Key Cryptography – PKC 2022 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-97121-2_19

Recommendations

• Linear-size constant-query IOPs for delegating computation
• Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
• Aurora: transparent succinct arguments for R1CS
• On interactive oracle proofs for Boolean R1CS statements
• Interactive oracle proofs with constant rate and query complexity

zbMATH Keywords

zero-knowledgeSNARKpolynomial IOPsuccinct verification

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Theory of compilers and interpreters (68N20)

Cites Work

• Title not available (Why is that?)
• The knowledge complexity of interactive proof-systems
• Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting
• Aurora: transparent succinct arguments for R1CS
• Scalable zero knowledge with no trusted setup
• Marlin: preprocessing zkSNARKs with universal and updatable SRS
• Constant-Size Commitments to Polynomials and Their Applications
• Transparent SNARKs from DARK compilers
• Polynomial IOPs for Linear Algebra Relations

Cited In (4)

• Polynomial IOPs for Linear Algebra Relations
• Polynomial IOPs for memory consistency checks in zero-knowledge virtual machines
• From polynomial IOP and commitments to non-malleable zkSNARKs
• Public-coin, complexity-preserving, succinct arguments of knowledge for NP from collision-resistance

Uses Software

• Ligero
• libiop
• Marlin

This page was built for publication: Polynomial IOPs for linear algebra relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5087271)