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 401–500 of 863

  1. A Decentralized, Privacy-preserving and Crowdsourcing-based Approach to Medical Research
    Shadan Ghaffaripour, Ali Miri · 2020 · Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics
  2. Towards a Trustful Game-Theoretic Mechanism for Data Trading in the Blockchain-IoT Ecosystem
    Seyednima Khezr, Abdulsalam Yassine, Rachid Benlamri · 2022 · Journal of Network and Systems Management
  3. Efficient Zero-Knowledge Proof Systems
    Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Jens Groth · 2016 · Lecture notes in computer science
  4. Zero-Knowledge Using Garbled Circuits: How To Prove Non-Algebraic Statements Efficiently.
    Marek Jawurek, Florian Kerschbaum, Claudio Orlandi · 2013 · IACR Cryptology ePrint Archive
  5. Efficient Authenticated Multi-Pattern Matching
    Zhe Guang Zhou, Tao Zhang, Sherman S. M. Chow, Yupeng Zhang, Kehuan Zhang · 2016 · ACM Asia Conference on Computer and Communications Security (ASIA CCS)
  6. BooLigero: Improved Sublinear Zero Knowledge Proofs for Boolean Circuits
    Yaron Gvili, Sarah Scheffler, Mayank Varia · 2021 · Lecture notes in computer science
  7. Collusion-free for Cloud Verification toward the View of Game Theory
    Hongyang Yan, Nan Jiang, Kang Li, Yilei Wang, Guoyu Yang · 2021 · ACM Transactions on Internet Technology
  8. Probability Models of Distributed Proof Generation for zk-SNARK-Based Blockchains
    Yuri Bespalov, Alberto Garoffolo, Lyudmila Kovalchuk, Hanna Nelasa, Roman Oliynykov · 2021 · Mathematics
  9. Efficient Set Membership Proofs using MPC-in-the-Head
    Aarushi Goel, Matthew Green, Mathias Hall-Andersen, Gabriel Kaptchuk · 2022 · Proceedings on Privacy Enhancing Technologies
  10. Privacy-Preserving Ride-Hailing with Verifiable Order-Linking in Vehicular Networks
    Meng Li, Jianbo Gao, Yifei Chen, Jingcheng Zhao, Mamoun Alazab · 2020 · IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
  11. EFPB: Efficient Fair Payment Based on Blockchain for Outsourcing Services in Cloud Computing
    Xiang Zou, Peng Zeng, Huajie Cheng · 2023 · IEEE Access
  12. On-the-Fly Multiparty Computation on the Cloud via Multikey Fully Homomorphic Encryption.
    Adriana López-Alt, Eran Tromer, Vinod Vaikuntanathan · 2013
  13. Authenticated key-value stores with hardware enclaves
    Kai Li, Yuzhe Tang, Qi Zhang, Jianliang Xu, Chen Ju · 2021 · International Middleware Conference
  14. Towards A Secure Joint Cloud With Confidential Computing
    Xuyang Zhao, Mingyu Li, Erhu Feng, Yubin Xia · 2022 · IEEE International Conference on Joint Cloud Computing (JCC)
  15. Achieving Verifiable Decision Tree Prediction on Hybrid Blockchains
    Moxuan Fu, Chuan Zhang, Chenfei Hu, Tong Wu, Jinyang Dong, Liehuang Zhu · 2023 · Entropy
  16. Publicly Verifiable Homomorphic Secret Sharing for Polynomial Evaluation
    Xin Chen, Liang Feng Zhang · 2023 · IEEE Transactions on Information Forensics and Security
  17. Revisiting Cycles of Pairing-Friendly Elliptic Curves
    Marta Bellés-Muñoz, Jorge Jiménez Urroz, Javier Silva · 2023 · Lecture notes in computer science
  18. Non-interactive Zero-Knowledge from Non-interactive Batch Arguments
    Jeffrey Champion, David J. Wu · 2023 · Lecture notes in computer science
  19. Leveraging Blockchain Technology to Break the Cloud Computing Market Monopoly
    Tasos Bakogiannis, Ioannis Mytilinis, Katerina Doka, Georgios Goumas · 2020 · Computers
  20. Verifiable and Private Oblivious Polynomial Evaluation
    Hardik Gajera, Matthieu Giraud, David Gérault, Manik Lal Das, Pascal Lafourcade · 2020 · Lecture notes in computer science
  21. Efficient verification for outsourced genome-wide association studies
    Xinyue Wang, Xiaoqian Jiang, Jaideep S. Vaidya · 2021 · Journal of Biomedical Informatics
  22. Verifiable and auditable authorizations for smart industries and industrial Internet-of-Things
    Luca Ferretti, Francesco Longo, Giovanni Merlino, Michele Colajanni, Antonio Puliafito, Nachiket Tapas · 2021 · Journal of Information Security and Applications
  23. A scalable decentralized system for fair token distribution and seamless users onboarding
    Francesco Bruschi, Manuel Tumiati, Vincenzo Rana, Mattia Bianchi, Donatella Sciuto · 2021 · Blockchain Research and Applications
  24. Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness
    Yu Xia, Xiangyao Yu, Matthew Butrovich, Andrew Pavlo, Srinivas Devadas · 2022 · ACM SIGMOD International Conference on Management of Data (SIGMOD)
  25. Efficient Proofs of Software Exploitability for Real-world Processors
    Matthew Green, Mathias Hall-Andersen, Eric Hennenfent, Gabriel Kaptchuk, Benjamin Perez, Gijs Van Laer · 2023 · Proceedings on Privacy Enhancing Technologies
  26. An Efficient and Secure Scheme of Verifiable Computation for Intel SGX
    Wenxiu Ding, Wei Sun, Zheng Yan, Robert Huijie Deng, Zhiguo Wan · 2022 · IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
  27. Continuous Space-Bounded Non-malleable Codes from Stronger Proofs-of-Space
    Binyi Chen, Yilei Chen, Kristina Hostáková, Pratyay Mukherjee · 2019 · Lecture notes in computer science
  28. Verifiable computation using multiple provers.
    Andrew J. Blumberg, Justin Thaler, Victor Vu, Michael Walfish · 2014 · IACR Cryptology ePrint Archive
  29. Simulation extractable versions of Groth’s zk-SNARK revisited
    Oussama Amine, Karim Baghery, Zaira Pindado, Carla Ràfols · 2023 · International Journal of Information Security
  30. MuEOC: Efficient SGX-Based Multi-Key Homomorphic Outsourcing Computation for E-Health System
    Yisong Wang, Jun Zhou, Zhenfu Cao, Xiaolei Dong, Kim‐Kwang Raymond Choo · 2024 · IEEE Transactions on Dependable and Secure Computing
  31. Authorization Transparency for Accountable Access to IoT Services
    Luca Ferretti, Francesco Longo, Michele Colajanni, Giovanni Merlino, Nachiket Tapas · 2019 · IEEE International Congress on Internet of Things (ICIOT)
  32. IoT Notary : Attestable Sensor Data Capture in IoT Environments
    Nisha Panwar, Shantanu Sharma, Guoxi Wang, Sharad Mehrotra, Nalini Venkatasubramanian, Mamadou H. Diallo, Ardalan Amiri Sani · 2021 · ACM Transactions on Internet of Things
  33. Parallelizable Delegation from LWE
    Cody Freitag, Rafael Pass, Naomi Sirkin · 2022 · Lecture notes in computer science
  34. Privacy-Preserving and Fair Crowdsourcing Framework With Fine-Grained Reuse Based on Blockchain
    Shunrong Jiang, Xiao Zhang, Jingwei Chen, Jinpeng Li, Haiqin Wu, Yiliang Liu, Yong Zheng Zhou · 2024 · IEEE Transactions on Network and Service Management
  35. V2FS : A Verifiable Virtual Filesystem for Multi-Chain Query Authentication
    Haixin Wang, Cheng Long Xu, Xiaojie Chen, Ce Zhang, Haibo Hu, Shikun Tian, Ying Yan, Jianliang Xu · 2024 · IEEE International Conference on Data Engineering (ICDE)
  36. How to Redact the Bitcoin Backbone Protocol
    Enrique Larraia, Mehmet Sabır Kiraz, Owen Vaughan · 2024 · IEEE International Conference on Blockchain and Cryptocurrency (ICBC)
  37. Generating Privacy-Preserving Personalized Advice with Zero-Knowledge Proofs and LLMs
    Hiroki Watanabe, Motonobu Uchikoshi · 2025 · International World Wide Web Conference (WWW)
  38. Verifiable Multi-party Computation with Perfectly Private Audit Trail
    Édouard Cuvelier, Olivier Pereira · 2016 · Lecture notes in computer science
  39. A Decentralized and Anonymous Data Transaction Scheme Based on Blockchain and Zero-Knowledge Proof in Vehicle Networking (Workshop Paper)
    Wei Ou, Mingwei Deng, Entao Luo · 2019 · Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
  40. Verifiable Subgraph Matching With Cryptographic Accumulators in Cloud Computing
    Yixiao Zhu, Hui Li, Jiangtao Cui, Yong Ma · 2019 · IEEE Access
  41. Runtime Hardware Security Verification Using Approximate Computing: A Case Study on Video Motion Detection
    Mengmei Ye, Xianglong Feng, Sheng Wei · 2019 · Asian Hardware Oriented Security and Trust Symposium (AsianHOST)
  42. Off-chain Execution and Verification of Computationally Intensive Smart Contracts
    Emrah Sariboz, Kartick Kolachala, Gaurav Panwar, Roopa Vishwanathan, Satyajayant Misra · 2021 · IEEE International Conference on Blockchain and Cryptocurrency (ICBC)
  43. Service Integrity Assurance for Distributed Computation Outsourcing
    Alireza Toroghi Haghighat, Mehdi Shajari · 2017 · IEEE Transactions on Services Computing
  44. Free2Shard
    Ranvir Rana, Sreeram Kannan, David N. C. Tse, Pramod Viswanath · 2022 · Proceedings of the ACM on Measurement and Analysis of Computing Systems
  45. Distilling Constraints in Zero-Knowledge Protocols
    Elvira Albert, Marta Bellés-Muñoz, Miguel Isabel, Clara Rodríguez-Núñez, Albert Rubio · 2022 · Lecture notes in computer science
  46. A Note on the Unsoundness of vnTinyRAM's SNARK.
    Bryan Jeffery Parno · 2015
  47. Quarks: Quadruple-efficient transparent zkSNARKs.
    Srinath Setty, Jonathan L. C. Lee · 2020 · IACR Cryptology ePrint Archive
  48. $$a\mathcal {P}lon\mathcal {K}$$: Aggregated $$\mathcal {P}lon\mathcal {K}$$ from Multi-polynomial Commitment Schemes
    Miguel Ambrona, Marc Beunardeau, Anne-Laure Schmitt, Raphaël R. Toledo · 2023 · Lecture notes in computer science
  49. Sparrow: Space-Efficient zkSNARK for Data-Parallel Circuits and Applications to Zero-Knowledge Decision Trees
    Christodoulos Pappas, Dimitrios Papadopoulos · 2024 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  50. Verifiability for privacy-preserving computing on distributed data — a survey
    Tariq Bontekoe, Dimka Karastoyanova, Fatih Türkmen · 2025 · International Journal of Information Security
  51. Samaritan: Linear-Time Prover SNARK from New Multilinear Polynomial Commitments
    Chaya Ganesh, Sikhar Patranabis, Nitin Kumar Singh · 2025 · Lecture notes in computer science
  52. Efficient Zero-Knowledge Arguments in Discrete Logarithm Setting: Sublogarithmic Proof or Sublinear Verifier
    Sungwook Kim, Hyeonbum Lee, Jae Hong Seo · 2022 · Lecture notes in computer science
  53. DFly: A Publicly Auditable and Privacy-Preserving UAS Traffic Management System on Blockchain
    Frederico BAPTISTA, Marina Dehez-Clementi, Jonathan Detchart · 2024 · Drones
  54. Efficient Zero-Knowledge Arguments For Paillier Cryptosystem
    Borui Gong, Wang Fat Lau, Man Ho Au, Rupeng Yang, Haiyang Xue, Lichun Li · 2024 · IEEE Symposium on Security and Privacy (S&P)
  55. Confidential and Verifiable Machine Learning Delegations on the Cloud
    Wenxuan Wu, Soamar Homsi, Yupeng Zhang · 2024 · Lecture notes in computer science
  56. Delegation of Computation with Verification Outsourcing: Curious Verifiers
    Gang Xu, George T. Amariucai, Yong Guan · 2016 · IEEE Transactions on Parallel and Distributed Systems
  57. A Design of Key Distribution Mechanism in Decentralized Digital Rights Management Based on Blockchain and Zero-Knowledge Proof
    Zihang Cao, Zhao Li · 2021 · International Conference on Blockchain Technology (ICBCT)
  58. EZEE: Epoch Parallel Zero Knowledge for ANSI C
    Yibin Yang, David Heath, Vladimir Kolesnikov, David Andrew Devecsery · 2022 · IEEE European Symposium on Security and Privacy
  59. zk-PCN: A Privacy-Preserving Payment Channel Network Using zk-SNARKs
    Wenxuan Yu, Minghui Xu, Dongxiao Yu, Xiuzhen Cheng, Qin Hu, Zehui Xiong · 2022 · IEEE International Performance, Computing, and Communications Conference
  60. Sentinels and Twins: Effective Integrity Assessment for Distributed Computation
    Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati, Roberto Sassi · 2022 · IEEE Transactions on Parallel and Distributed Systems
  61. PRI: PCH-based privacy-preserving with reusability and interoperability for enhancing blockchain scalability
    Yuxian Li, Jian Weng, Wei Wu, Ming Li, Yingjiu Li, Haoxin Tu, Yongdong Wu, Robert Huijie Deng · 2023 · Journal of Parallel and Distributed Computing
  62. Towards privacy-preserving fault detection
    Antonis Papadimitriou, Mingchen Zhao, Andreas Haeberlen · 2013
  63. Certificate Validation in Secure Computation and Its Use in Verifiable Linear Programming
    Sebastiaan J. A. de Hoogh, Berry Schoenmakers, Meilof Veeningen · 2016 · Lecture notes in computer science
  64. OblivP2P: An Oblivious Peer-to-Peer Content Sharing System
    Yaoqi Jia, Tarik Moataz, Shruti Tople, Prateek Saxena · 2016 · USENIX Security Symposium
  65. Faster Secure Cloud Computations with a Trusted Proxy
    Nir Drucker, Shay Gueron, Benny Pinkas B · 2017 · IEEE Security & Privacy
  66. Computing Statistics from Private Data
    George Charles Alter, Brett Hemenway Falk, Steve Lu, Rafail Ostrovsky · 2018 · Data Science Journal
  67. Secure Dynamic Big Graph Data: Scalable, Low-Cost Remote Data Integrity Checking
    Yu Lu, Fei Hu · 2019 · IEEE Access
  68. ABC: A Cryptocurrency-Focused Threat Modeling Framework
    Ghada Almashaqbeh, Allison Bishop, Justin Cappos · 2019 · IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)
  69. Understanding Privacy-Preserving Techniques in Digital Cryptocurrencies
    Yue Zhang, Keke Gai, Meikang Qiu A, Kai Ding · 2020 · Lecture notes in computer science
  70. A Secure Multi-party Computation Protocol Combines Pederson Commitment with Schnorr Signature for Blockchain
    Feng Liu, Yang Jie, Kong Deli, Jiayin Qi · 2020 · IEEE International Conference on Communication Technology (ICCT)
  71. TurboIKOS: Improved Non-interactive Zero Knowledge and Post-quantum Signatures
    Yaron Gvili, Julie Ha, Sarah Scheffler, Mayank Varia, Ziling Yang, Xinyuan Zhang · 2021 · Lecture notes in computer science
  72. Efficient Representation of Numerical Optimization Problems for SNARKs.
    Sebastian Angel, Andrew J. Blumberg, Eleftherios Ioannidis, Jess Woods · 2021 · IACR Cryptology ePrint Archive
  73. A TCB Minimizing Model of Computation
    Naila Bushra, Naresh Adhikari, Mahalingam Ramkumar · 2019 · Communications in computer and information science
  74. ZEKRA: Zero-Knowledge Control-Flow Attestation
    Heini Bergsson Debes, Edlira Dushku, Thanassis Giannetsos, Ali Marandi · 2023 · ACM Asia Conference on Computer and Communications Security (ASIA CCS)
  75. The Uber-Knowledge Assumption: A Bridge to the AGM
    Balthazar Bauer, Pooya Farshim, Patrick Harasser, Markulf Kohlweiss · 2024 · IACR Communications in Cryptology
  76. BCRS-DS: A Privacy-protected data sharing scheme for IoT based on blockchain and certificateless ring signature
    Qi Liu, Guijuan Wang, Biwei Yan, Anming Dong, Hao Yu, Jiguo Yu · 2024 · Journal of Information Security and Applications
  77. Practical Verifiable Computation–A MapReduce Case Study
    Yongzhi Wang, Yulong Shen, Xiaohong Jiang · 2017 · IEEE Transactions on Information Forensics and Security
  78. Sealed Computation: Abstract Requirements for Mechanisms to Support Trustworthy Cloud Computing
    Lamya Abdullah, Felix Freiling, Juan Quintero, Zinaida Benenson · 2019 · Lecture notes in computer science
  79. Verifiable secure computation of linear fractional programming using certificate validation
    Nedal M. Mohammed, Laman R. Sultan, Ahmed A. Hamoud, Santosh S. Lomte · 2020 · International Journal of Power Electronics and Drive Systems/International Journal of Electrical and Computer Engineering
  80. How to Avoid Obfuscation Using Witness PRFs.
    Mark Zhandry · 2014
  81. Post-Quantum zk-SNARK for Arithmetic Circuits using QAPs
    Ken Naganuma, Masayuki Yoshino, Atsuo Inoue, Yukinori Matsuoka, Mineaki Okazaki, Noboru Kunihiro · 2020 · Asia Joint Conference on Information Security (AsiaJCIS)
  82. Multi-server verifiable delegation of computations: Unconditional security and practical efficiency
    Liang Feng Zhang · 2021 · Information and Computation
  83. Privacy-preserving FairSwap: Fairness and privacy interplay
    Sepideh Avizheh, Preston Haffey, Reihaneh Safavi–Naini · 2021 · Proceedings on Privacy Enhancing Technologies
  84. A Blockchain-based Material Donation Platform
    Tong Li, Donghui Hu, Meng Li, Yifan Li, Shuli Zheng · 2022 · International Conference on Blockchain Technology and Information Security (ICBCTIS)
  85. Collaborative and Verifiable VNF Management for Metaverse With Efficient Modular Designs
    Dongxiao Liu, Cheng Huang, Liang Xue, Weihua Zhuang, Xuemin Shen, Bidi Ying · 2023 · IEEE Journal on Selected Areas in Communications
  86. ZKSA: Secure mutual Attestation against TOCTOU Zero-knowledge Proof based for IoT Devices
    Fenhua Bai, Zikang Wang, Kai Zeng, Chi Zhang, Tao Shen, Xiaohui Zhang, Bei Gong · 2024 · Computers & Security
  87. Big Data Information Security Maintenance
    Natalia Georgievna Miloslavskaya, Mikhail Yurievich Senatorov, Alexander I. Tolstoy, Sergey Vladimirovich Zapechnikov · 2014 · International Conference on Security of Information and Networks (SIN)
  88. AntiCheetah: Trustworthy computing in an outsourced (cheating) environment
    Roberto Di Pietro, Flavio Lombardi, Fabio Martinelli, Daniele Sgandurra · 2015 · Future Generation Computer Systems
  89. Enabling secure and resource-efficient blockchain networks with VOLT
    Srinath Setty, Soumya Sankar Basu, Lidong Zhou, Justine Stephenson, Ramarathnam Venkatesan · 2017
  90. Privacy Changes Everything
    Jennie Rogers, Johes Bater, Xi Qin He, Ashwin Machanavajjhala, Madhav Suresh, Xiao Shaun Wang · 2019 · Lecture notes in computer science
  91. IoT-Gov: an IoT governance framework using the blockchain
    Anass Sedrati, Aafaf Ouaddah, Abdellatif Mezrioui, Badr Bellaj · 2022 · Computing
  92. Key-and-Argument-Updatable QA-NIZKs
    Helger Lipmaa · 2020 · Lecture notes in computer science
  93. Distributed Differential Privacy and Applications
    Arjun Narayan · 2015 · ScholarlyCommons (University of Pennsylvania)
  94. Taking Proof based Verified Computation a Few Steps Closer to Practicality (extended version)
    Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish · 2012 · IACR Cryptology ePrint Archive
  95. Cryptography for Big Data Security
    Arkady Yerukhimovich, Nabíl Schear, Emily Shen, Mayank Varia, Ariel Hamlin, Sophia Yakoubov · 2015 · IACR Cryptology ePrint Archive
  96. Walnut: A low-trust trigger-action platform
    Sandy Schoettler, Thompson, Andrew, R. Gopalakrishna, Trinabh Gupta · 2020 · arXiv (Cornell University)
  97. Privacy‐Preserving Blockchain Mining: A Proof‐of‐Useful‐Work Consensus Scheme
    Hjalmar Turesson, Henry Kim, Alexandra Roatiş, Marek Laskowski · 2018 · SSRN Electronic Journal
  98. CIRCOM: A Robust and Scalable Language for Building Complex Zero-Knowledge Circuits
    José L. Muñoz, Marta Bellés, Miguel Isabel, Albert Rubio, Jordi Baylina · 2022
  99. Zero-knowledge proof framework for privacy-preserving financial compliance
    I. R. Solomka, B. B. Liubinskyi · 2025 · Mathematical Modeling and Computing
  100. Enhancing Security and Scalability in Electronic Voting Through Privacy-Preserving Cryptography and Efficient Data Structures
    George Misiakoulis, Harris Niavis, Stéphane Kündig, Konstantinos Loupos · 2024 · IEEE International Conference on Blockchain (Blockchain)