Pinocchio: Nearly Practical Verifiable Computation

Parno, B., Howell, J., Gentry, C., Raykova, M.·2013·2013 IEEE Symposium on Security and Privacy
DOI 10.1109/sp.2013.47

Cited by (863)

Items 801–863 of 863

  1. Novel Solutions for Privacy, Security and Trust in Modern Medical Data Management Systems
    Shadan Ghaffaripour · 2024
  2. Novel Solutions for Privacy, Security and Trust in Modern Medical Data Management Systems
    Shadan Ghaffaripour · 2024
  3. Blockchain-Based Carbon Emissions Right Trading System Utilizing Stable Matching and Privacy-Preserving Computing Technologies
    Zenghua Du, Jingxian Hu, Sheng Hsueh Yang, Xuejian Qin, Zhiguo Hu, Gongmin Zhao · 2024 · SSRN Electronic Journal
  4. Efficient Deep Neural Network Verification with QAP-Based ZkSNARK
    Subhasis Thakur, John G. Breslin · 2024 · Communications in computer and information science
  5. SNARK and account-model based verifiable sharding scheme
    Minghan Lian, Jiangfeng Xu, Yannian Wang · 2024 · International Symposium on Computer and Information Processing Technology (ISCIPT)
  6. DSCS: Towards an Extensible Secure Decentralised Distributed Computation Protocol
    A. Dalton, David Thomas, Peter Y. K. Cheung · 2024 · IEEE International Conference on Cyber Security and Resilience (CSR)
  7. Mitigating Ponzi schemes by zero-knowledge auditing
    Aman Luthra, James Cavanaugh, Hugo Renzzo Olcese, Michael W. Raymond, Reina Eustache, Rina M. Hirsch, Xiang Fu · 2024 · Information Security Journal A Global Perspective
  8. Secure Data Outsourcing
    Anrin Chakraborti, Radu Sion · 2025 · Springer eBooks
  9. Cybersecurity in Autonomous Systems: Protecting AI-Driven Applications
    Sreekanth Pasunuru · 2025 · INTERANTIONAL JOURNAL OF SCIENTIFIC RESEARCH IN ENGINEERING AND MANAGEMENT
  10. Authentication of Multi-agent System with Verifiable Computation and Distributed Aggregation
    Seungbeom Lee, Dongwoo Kim, Heewon Chung, Junsoo Kim, Hyungbo Shim · 2024 · IEEE Conference on Decision and Control (CDC)
  11. Optimizing Zero-Knowledge Proofs for Secure Educational Data Storage on Blockchain
    Dylan Warman, David Tien, Muhammad Ashad Kabir · 2024 · International Conference on Machine Learning and Cybernetics
  12. ZKFDT: A Fair Exchange Scheme for Data Trading Based on Efficient Zero-Knowledge Proofs
    Jianwei Liu, Wei Wan, Chun Long, Jing Li, Fan Yang, Yuhao Fu · 2024 · IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
  13. Theoretical Frameworks for Zero-Knowledge Proof Integration in Autonomous Defense Systems
    Mohammad Emad Arafah, Faisal Asad Farid Aburub, Sabreen Alhariri · 2025 · Advances in computational intelligence and robotics book series
  14. CoBBL: Dynamic Constraint Generation for SNARKs
    Kunming Jiang, Fraser Brown, Riad S. Wahby · 2025 · IEEE Symposium on Security and Privacy (S&P)
  15. PQC-VE: A POST-QUANTUM FRAMEWORK FOR END-TO-END VERIFIABLE ELECTRONIC VOTING
    Dharaneesh Dhupam · 2025
  16. A Decentralised Privacy-Preserving Data Processing Middleware
    Sidra Malik · 2025 · Queensland University of Technology
  17. Zero-Knowledge Ring-Signature for Enhanced Anonymous Transactions in Blockchain Networks
    Chol Hyun Park, Yoohwan Kim, Ju-Yeon Jo · 2025 · IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS)
  18. Multi-Server Publicly Verifiable Computation of Polynomials
    Haofei Wang, Li-Ping Wang, Liang Feng Zhang, Huaxiong Wang · 2025 · Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
  19. A Distributed Approach to Privacy-Preserving Location Verification Using Blockchain and zk-SNARKs
    P Ramesh Naidu, Sriranjini KS, Sharan TD, Ritvik Singh, Dipankar Raj Upadhyaya · 2025 · International Conference on Networks, Multimedia and Information Technology (NMITCON)
  20. Zero-Knowledge Protocols with PVC Security: Striking the Balance Between Security and Efficiency
    Yi Liu, Yipeng Song, Anjia Yang, Junzuo Lai · 2025 · Lecture notes in computer science
  21. A Survey on Encryption and Privacy Preserving Computing Technologies in Cloud Environments
    Chao Zhang, Zhong Weidong, Wang Xu An, Su Yang, Zhang Xinyue · 2025 · Lecture notes on data engineering and communications technologies
  22. Fully Adaptive Decentralized MA-ABE: Simplified, Optimized, ASP Supported
    Pratish Datta, Junichi Tomida, Nikhil Vanjani · 2025 · Lecture notes in computer science
  23. ZK-ProVer: Proving Programming Verification in Non-interactive Zero-Knowledge Proofs
    Haoyu Wei, Jingyu Ke, Ruibang Liu, Guoqiang Li · 2025 · Lecture notes in computer science
  24. SoK: Trusted Setups for Powers-of-Tau Strings
    Faxing Wang, Shaanan Cohney, Joseph Bonneau · 2026 · Lecture notes in computer science
  25. Hierarchical Verifiable Federated Learning with Recursive Proofs
    Hoa V. Nguyen, Hoang D. Le, Anh T. Pham · 2026 · IEEE Consumer Communications and Networking Conference
  26. Decentralized Trust for AI: Verifying Proprietary DNN Inference with Blockchain, zk-SNARKs, and zk-STARKs
    Jyotirmay Burman, Puneet Bakshi, C.R.S. Kumar · 2025 · IEEE Pune Section International Conference (PuneCon)
  27. Towards efficient and secure Fully Homomorphic Encryption and cloud computing
    Ilaria Chillotti · 2018
  28. Verifiable Computation and Biometric Authentication
    Julien Keuffer · 2019
  29. Un recueil de SNARKs : sécurité quantique, extractabilité et confidentialité des données
    Anca Nitulescu · 2019
  30. Building a secure infrastructure for IoT systems in distributed environments
    Xiaoyang Zhu · 2019
  31. Non-interactive arguments of knowledge
    Michele Orrù · 2020
  32. On the security of instante messaging : towards solutions for multi-device and group applications
    Céline Duguey · 2021 · theses.fr (ABES)
  33. Secure Generative Adversarial Networks
    Subhasis Thakur, John G. Breslin · 2026 · Lecture notes in networks and systems
  34. Efficient protocols for testing proximity to algebraic codes
    Sarah Bordage · 2022 · theses.fr (ABES)
  35. On scaling-up online multi-agent multi-task assignment
    Déborah Conforto Nedelmann · 2024
  36. The Phantom Thread Between Malleable and Non-Malleable Cryptography
    Luigi Russo · 2025
  37. Enhancing Digital KYC Processes with Blockchain-Based Self-Sovereign Identity
    Kishan D. Gajjar · 2025 · IEEE International Conference on Distributed Ledger Technologies (ICDLT)
  38. PLONK Simplified: A Pedagogical Zero-Knowledge Proof Framework with KZG Commitments
    Hosny. H. Abo Emira, Ayman Mohamed, Abdelrahman Elsayed, Mohamed Mostafa Ali, Saeed Hamouda · 2026 · Engineering Systems and Intelligent Technologies (ESIT)
  39. Enhanced QR-MCP Framework: A Quantum-Resistant Multipath Cryptographic Protocol with AI-Driven Anomaly Detection
    Nishanth Shet, M K Koushik Iyer, Panchadip Bhattacharjee, Somyajeet Arukh, Y.V. Srinivasa Murthy, P. Dayananda · 2026 · International Conference on Next-Gen Quantum and Advanced Computing: Algorithms, Security, and Beyond (NQComp)
  40. Formal Semantics of Governance History Validity in Encrypted Storage
    J. F. Rodríguez-Aragón, Carolina Zato, Fernando De la Prieta · 2026 · Information
  41. Tangram: Encryption-Friendly SNARK Framework Under Pedersen Committed Engines
    Gweonho Jeong, Myeongkyun Moon, Geonho Yoon, Hyunok Oh, Jihye Kim · 2026 · IEEE Transactions on Dependable and Secure Computing
  42. Dynark: Making Groth16 Dynamic
    Tianyu Zhang, Yupeng Ouyang, Yupeng Zhang · 2026 · Lecture notes in computer science
  43. Computing multi-scalar multiplication on memory-constrained devices
    Léo Noël, Thomas Plantard · 2026 · Journal of Cryptographic Engineering
  44. Enhancing Accountability While Preserving Privacy
    Lintang Tiaraningrum, Nizirwan Anwar · 2026 · Advances in computational intelligence and robotics book series
  45. Blockchain technology and its applications in finance, internet of things, and healthcare
    Yuan Lu · 2026 · AIP conference proceedings
  46. SoK: Zero-Knowledge Proof Systems — An Empirical and Theoretical Comparison of SNARKs and STARKs
    Ayush Nainwal, Atharva Kamble, Nitin Awathare · 2026 · International World Wide Web Conference (WWW)
  47. MISC: Flexible Data Management for Private Smart Contract
    Yuxian Li, Xiaoguo Li, Guomin Yang, Haoxin Tu, Jianfei Sun, Robert Huijie Deng · 2026 · IEEE Transactions on Dependable and Secure Computing
  48. SoK: Anonymous Credentials for Digital Identity Wallets
    Christian Bormann, Anja Lehmann · 2026 · Lecture notes in computer science
  49. Code-Based Scalable Collaborative SNARKs
    Christodoulos Pappas, Dimitrios Papadopoulos, Charalampos Papamanthou · 2026 · IEEE Symposium on Security and Privacy (S&P)
  50. Towards Practical Zero-Knowledge Proof for PSPACE
    Ashwin Karthikeyan, Hengyu Liu, Kuldeep S. Meel, Ning Luo · 2026 · IEEE Symposium on Security and Privacy (S&P)
  51. FAIR-MPC: Secure and Auditable SMPC for Anonymous Financial Collaboration
    Tao Bai, Yuanqing Feng, Zhi Gang Lu, Songfeng Lu · 2026 · Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
  52. A Comprehensive Survey on AI Agents and Cryptography
    Puneet Bakshi, Saurabh Shinde, Sunita Dhavale · 2026 · Procedia Computer Science
  53. Blockchain for EUPHEMIA Market Transparency
    Tsvetomir Gospodinov, Mariana Atanasova, Eliza Petrova Stefanova · 2026 · International Conference on Engineering, Technologies and Systems (TechSys)
  54. Autenticação Baseada em Tokens e Provas de Conhecimento Zero
    Yasmin M. S. Criôlo, Ruy J. G. B. de Queiroz · 2026
  55. GAPP: Generic Aggregation of Polynomial IOPs
    Chaya Ganesh, Sikhar Patranabis, Shubh Prakash, Nitin Kumar Singh · 2026 · Lecture notes in computer science
  56. Zero-Knowledger: A Decentralized Blockchain Protocol to Certify ESG Impacts of Digital Bonds
    Mirko Cosentino, Davide Paglia, Andrea Reguzzoni, Lorenzo Rigatti, Andrea Sabatini, Fabrizio Venettoni · 2026 · International Conference on Electrical, Computer and Energy Technologies (ICECET)
  57. Hardware Acceleration Techniques for Blockchain Cryptography: ECC and Post-Quantum Approaches–A Systematic Review
    Ismail Ait Kaddour, Yassine Maleh, Mohamed Lahby · 2026 · IEEE Access
  58. Consensus-Free Distributed State Validation under Hidden Invariant Binding: The Closed Native Verification Systems (CNVS) Framework
    Massimo Comitato · 2026 · SSRN Electronic Journal
  59. Implementing Blockchain Technology for Enhanced Privacy and Security in Federated Learning Healthcare Models
    Huthaifa Ayad Al-Ani, Ruya Yilmaz Saber, Nada Sami Naser, Mouhamd Hashim, Ghaith Ayad Kadhem, Heba A. Abd-Alsalam Alsalame, Tarun Goma · 2026 · Lecture notes in electrical engineering
  60. Verifiable Delegation of Private Set Unions Over Dynamic Sets
    Myungsun Kim · 2026 · IEEE Transactions on Information Forensics and Security
  61. Revisiting Simulation Extractability in the Updatable Setting
    Hamidreza Khoshakhlagh · 2026 · Lecture notes in computer science
  62. A Protocol for Behavioral Attestation of LLM Agent Execution via Induced Dynamics
    Francesco Buccafurri, Carmen Licciardi, Christophe Rosenberger · 2026 · International Conference on Computer Technology Applications (ICCTA)
  63. Enhanced Security in 5G-Enabled Edge-Based Smart Grids: Integrating Quantum-Resistant Cryptography with Privacy-Preserving Federated Adversarial Learning and Blockchain
    Milad Amini · 2026