Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation

DOI10.1007/978-3-319-57339-7_2zbMath1366.68041OpenAlexW2584551118MaRDI QIDQ4975176

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

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

Related Items (2)

Zero knowledge proofs towards verifiable decentralized AI pipelines ⋮ Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation

Uses Software

• Pinocchio
• SNARKs for C
• ADSNARK
• Geppetto

Cites Work

• Prover-Efficient Commit-and-Prove Zero-Knowledge SNARKs
• Certificate Validation in Secure Computation and Its Use in Verifiable Linear Programming
• Trinocchio: Privacy-Preserving Outsourcing by Distributed Verifiable Computation
• SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge
• Square Span Programs with Applications to Succinct NIZK Arguments
• Quadratic Span Programs and Succinct NIZKs without PCPs
• Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation
• On the Size of Pairing-Based Non-interactive Arguments

This page was built for publication: Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation