Pinocchio-based adaptive zk-SNARKs and secure/correct adaptive function evaluation

DOI10.1007/978-3-319-57339-7_2MaRDI QIDQ4975176zbMATH OpenOpenAlexFDO

Authors Meilof Veeningen

Publication date 4 August 2017

Published in Progress in Cryptology - AFRICACRYPT 2017 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-57339-7_2

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Trinocchio: privacy-preserving outsourcing by distributed verifiable computation
• Prover-efficient commit-and-prove zero-knowledge SNARKs
• Prover-efficient commit-and-prove zero-knowledge snarks
• Scalable zero knowledge via cycles of elliptic curves
• Scalable zero knowledge via cycles of elliptic curves

Cites work

• Certificate validation in secure computation and its use in verifiable linear programming
• On the size of pairing-based non-interactive arguments
• Pinocchio-based adaptive zk-SNARKs and secure/correct adaptive function evaluation
• Prover-efficient commit-and-prove zero-knowledge SNARKs
• Quadratic span programs and succinct NIZKs without PCPs
• Snarks for C: verifying program executions succinctly and in zero knowledge
• Square span programs with applications to succinct NIZK arguments
• Trinocchio: privacy-preserving outsourcing by distributed verifiable computation

Cited in

(2)

• Pinocchio-based adaptive zk-SNARKs and secure/correct adaptive function evaluation
• Zero knowledge proofs towards verifiable decentralized AI pipelines

Describes a project that uses

Uses Software

• SNARKs for C
• Pinocchio
• ADSNARK
• Geppetto

This page was built for publication: Pinocchio-based adaptive zk-SNARKs and secure/correct adaptive function evaluation

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