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 501–600 of 863

  1. LUNA: Quasi-Optimally Succinct Designated-Verifier Zero-Knowledge Arguments from Lattices
    Ron Steinfeld, Amin Sakzad, Muhammed F. Esgin, Veronika Kuchta, Mert Yassi, Raymond K. Zhao · 2024 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  2. Verifiable Outsourced Computation with Full Delegation
    Qiang Wang, Fucai Zhou, Su Peng, Zifeng Xu · 2018 · Lecture notes in computer science
  3. Gentry-Wichs is Tight: a Falsifiable Non-adaptively Sound SNARG
    Helger Lipmaa, Kateryna P. Pavlyk · 2021 · Lecture notes in computer science
  4. gOTzilla: Efficient Disjunctive Zero-Knowledge Proofs from MPC in the Head, with Application to Proofs of Assets in Cryptocurrencies
    Foteini Baldimtsi, Panagiotis Chatzigiannis, Steven Gordon, Phi Hung Le, Daniel McVicker · 2022 · Proceedings on Privacy Enhancing Technologies
  5. Incentivizing Participation in Crowd-Sensing Applications Through Fair and Private Bitcoin Rewards
    Tassos D. Dimitriou, Antonis Michalas · 2022 · IEEE Access
  6. A ZK-SNARK based Proof of Assets Protocol for Bitcoin Exchanges
    Swaroopa B Reddy · 2023 · International Conference on Communication Systems & Networks (COMSNETS)
  7. Efficient KZG-Based Univariate Sum-Check and Lookup Argument
    Yuncong Zhang, Shi-Feng Sun, Dawu Gu · 2024 · Lecture notes in computer science
  8. An Efficient and Zero-Knowledge Classical Machine Learning Inference Pipeline
    Haodi Wang, Rongfang Bie, Thang Hoang · 2024 · IEEE Transactions on Dependable and Secure Computing
  9. zkPi: Proving Lean Theorems in Zero-Knowledge
    Evan Laufer, Alex Ozdemir, Dan Boneh · 2024 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  10. A reactive architecture for cloud-based system engineering
    David Ebo Adjepon‐Yamoah, Alexander B. Romanovsky, Alexei Iliasov · 2015 · International Conference on Software and System Process
  11. Verifiable Computation with Reduced Informational Costs and Computational Costs
    Gang Xu, George T. Amariucai, Yong Guan · 2014 · Lecture notes in computer science
  12. Prover Efficient Public Verification of Dense or Sparse/Structured Matrix-Vector Multiplication
    Jean‐Guillaume Dumas, Vincent Zucca · 2017 · Lecture notes in computer science
  13. How to Squeeze a Crowd: Reducing Bandwidth in Mixing Cryptocurrencies
    Alishah Chator, Matthew Green · 2018 · IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)
  14. Improving Blockchains With Client-Assistance
    Jian Liu, Kui Ren · 2021 · IEEE Transactions on Computers
  15. Privacy-Preserving IP Verification
    Dimitris Mouris, Charles Gouert, Nektarios Georgios Tsoutsos · 2021 · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  16. Security-Aware Design of Cyber-Physical Systems for Control Applications
    Rouhollah Mahfouzi · 2021 · Linköping studies in science and technology. Dissertations
  17. Implementation and Optimization of Zero-Knowledge Proof Circuit Based on Hash Function SM3
    Yang Yang, Shangbin Han, Ping Xie, Yan Peng Zhu, Zhenyang Ding, Shengjie Hou, Shicheng Xu, Haibin Zheng · 2022 · Sensors
  18. Block Verification Mechanism Based on Zero-Knowledge Proof in Blockchain
    Jin Wang, Wei Ou, Osama Alfarraj, Amr Kamal Rabea Tolba, Gwang-Jun Kim, Yongjun Ren · 2022 · Computer Systems Science and Engineering
  19. Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk)
    Jean‐Guillaume Dumas · 2018 · Lecture notes in computer science
  20. Scalable Computing in a Blockchain
    Mahalingam Ramkumar · 2018 · IEEE Sarnoff Symposium
  21. Fair and Private Bitcoin Rewards: Incentivizing Participation in Crowd-Sensing Applications
    Tassos D. Dimitriou · 2020 · IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS)
  22. Ensuring the Big Data Integrity Through Verifiable Zero-Knowledge Operations
    Elena B. Aleksandrova, M. A. Poltavtseva, Vadim S. Shmatov · 2022 · Communications in computer and information science
  23. Proofs of Encrypted Data Retrievability with Probabilistic and Homomorphic Message Authenticators
    Dongxi Liu, John Žic · 2015
  24. Light at the middle of the tunnel
    Nik Sultana, Markulf Kohlweiss, Andrew William Moore · 2016
  25. A study of electronic cash paradigm
    Dany Eka Saputra, Suhono Harso Supangkat · 2014 · International Conference on Information Technology Systems and Innovation
  26. Smart Contract Protocol for Authenticity and Compliance with Anonymity on Hyperledger Fabric
    Rishi Saket, Nitin Kumar Singh, Pankaj S Dayama, Vinayaka Pandit · 2020 · IEEE International Conference on Blockchain and Cryptocurrency (ICBC)
  27. Verified Implementations for Secure and Verifiable Computation
    Benjamin Grégoire, Gilles Barthe, Guillaume Davy, José Bacelar Almeida, François Dupressoir, Pierre-Yves Strub, Manuel Barbosa · 2014 · IACR Cryptology ePrint Archive
  28. Efficient RAM and control flow in verifiable outsourced computation.
    Riad S. Wahby, Srinath Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish · 2014 · IACR Cryptology ePrint Archive
  29. Non-interactive zero-knowledge arguments for QMA, with preprocessing
    Andrea Coladangelo, Thomas Vidick, Tina Zhang · 2019 · arXiv (Cornell University)
  30. Free2Shard: Adaptive-adversary-resistant sharding via Dynamic Self Allocation
    Ranvir Rana, Sreeram Kannan, David N. C. Tse, Pramod Viswanath · 2020 · arXiv (Cornell University)
  31. Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities
    Santiago Cuéllar Gempeler, Bill Harris, James Parker, Stuart Pernsteiner, Ian Sweet, Eran Tromer · 2025 · ACM Transactions on Privacy and Security
  32. privXCA: An efficient and privacy-preserving auditing architecture for cross-chain transfers
    Jitao Wang, Changhao Wu, Yakun Chen, Weili Han · 2025 · Journal of Systems Architecture
  33. Toward Verifiable Federated Unlearning: Framework, Challenges, and the Road Ahead
    Thanh Tu Nguyen, Marcela Tuler de Oliveira, An Braeken, Aaron Yi Ding, Quoc‐Viet Pham · 2026 · IEEE Internet Computing
  34. AntiCheetah: An Autonomic Multi-round Approach for Reliable Computing
    Roberto Di Pietro, Flavio Lombardi, Fabio Martinelli, Daniele Sgandurra · 2013 · Autonomic and Trusted Computing
  35. Verifiable Document Redacting
    Hervé Chabanne, Rodolphe Hugel, Julien Keuffer · 2017 · Lecture notes in computer science
  36. Using asynchronous collaborative attestation to build a trusted computing environment for mobile applications
    Lei Zhou, Fengwei Zhang, Guojun Wang · 2017 · IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI)
  37. RAitc: Securely Auditing the Remotely Executed Applications
    Lei Zhou, Entao Luo, Guojun Wang · 2020 · IEEE Access
  38. ZGridBC: Zero-Knowledge Proof Based Scalable and Privacy-Enhanced Blockchain Platform for Electricity Tracking
    Takeshi Miyamae, Fumihiko Kozakura, Makoto Nakamura, Masanobu Morinaga · 2023 · IEICE Transactions on Information and Systems
  39. Refereed Delegation of Computation Using Smart Contracts
    Sepideh Avizheh, Mahmudun Nabi, Reihaneh Safavi–Naini · 2024 · IEEE Transactions on Dependable and Secure Computing
  40. GENES: An Efficient Recursive zk-SNARK and Its Novel Application in Blockchain
    Jiaxi Liu, Li Guo, Tianyu Kang · 2025 · Electronics
  41. Decentralized and Fair Trading Via Blockchain: The Journey So Far and the Road Ahead
    Hao Zeng, Helei Cui, Man Li, Bo Zhang, Chengjun Cai, Zhiwen Yu, Bin Guo · 2025 · IEEE Transactions on Dependable and Secure Computing
  42. ConsCS: Effective and Efficient Verification of Circom Circuits
    Jinan Jiang, Xinghao Peng, Jinzhao Chu, Xiapu Luo · 2025 · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
  43. CheR: Cheating Resilience in the Cloud via Smart Resource Allocation
    Roberto Di Pietro, Flavio Lombardi, Fabio Martinelli, Daniele Sgandurra · 2014 · Lecture notes in computer science
  44. PREPRINT: Nonoutsourceable Scratch-Off Puzzles to Discourage Bitcoin Mining Coalitions
    Andrew E. Miller, Elaine Shi, Ahmed E. Kosba, Jonathan I. Katz · 2014
  45. Anonymous Single-Round Server-Aided Verification
    Elena Pagnin, Aikaterini Mitrokotsa, Keisuke Tanaka · 2019 · Lecture notes in computer science
  46. Sharing Economy: Implementing Decentralized Privacy-Preserving Parking System
    Nejc Rožman, Marko Corn, Janez Diaci · 2020 · IEEE International Conference on Smart Internet of Things (SmartIoT)
  47. Authenticated Computation of Control Signal from Dynamic Controllers
    Jung Hee Cheon, Dongwoo Kim, Junsoo Kim, Seungbeom Lee, Hyungbo Shim · 2020 · IEEE Conference on Decision and Control (CDC)
  48. Efficient Generic Arithmetic for KKW
    David Heath, Vladimir Kolesnikov, Jiahui Lu · 2021 · Lecture notes in computer science
  49. Secure Cloud Control Using Verifiable Computation
    Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng · 2021 · IEEE International Conference on Omni-layer Intelligent Systems (COINS)
  50. Interactive Proofs for Rounding Arithmetic
    Shuo Chen, Jung Hee Cheon, Dongwoo Kim, Daejun Park · 2022 · IEEE Access
  51. Transparency, Compliance, And Contestability When Code Is(n’t) Law
    Alexander Hicks · 2022 · New Security Paradigms Workshop
  52. Amortized efficient zk-SNARK from linear-only RLWE encodings
    Heewon Chung, Dongwoo Kim, Jeong Han Kim, Jiseung Kim · 2023 · Journal of Communications and Networks
  53. A New Zero Knowledge Argument for General Circuits and Its Application
    Haohua Duan, Liyao Xiang, Xinbing Wang, Pengzhi Chu, Chenghu Zhou · 2023 · IEEE Transactions on Information Forensics and Security
  54. Less is more: refinement proofs for probabilistic proofs
    Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies · 2023 · IEEE Symposium on Security and Privacy (S&P)
  55. zkHealthChain - Blockchain Enabled Supply Chain in Healthcare Using Zero Knowledge
    G. Naga Nithin, Ashok Kumar Pradhan, Gandharba Swain · 2023 · IFIP advances in information and communication technology
  56. On Black-Box Knowledge-Sound Commit-And-Prove SNARKs
    Helger Lipmaa · 2023 · Lecture notes in computer science
  57. Verifiable Delegated Authorization for User-Centric Architectures and an OAuth2 Implementation
    Luca Ferretti, Mirco Marchetti, Michele Colajanni · 2017 · IEEE Annual International Computer Software and Applications Conference (COMPSAC)
  58. Towards the Trust-Enhancements of Single Sign-On Services
    Xuhua Bao, Xiaokun Zhang, Jingqiang Lin, Dawei Chu, Qiongxiao Wang, Fengjun Li · 2019 · IEEE Conference on Dependable and Secure Computing (DSC)
  59. Verifiable state machines
    Srinath Setty, Sebastian Angel, Jonathan L. C. Lee · 2020 · ACM SIGOPS Operating Systems Review
  60. Practical Verifiable Computation by Using a Hardware-Based Correct Execution Environment
    Jung­hee Lee, Chrysostomos A. Nicopoulos, Gweonho Jeong, Jihye Kim, Hyunok Oh · 2020 · IEEE Access
  61. Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell
    Gordon Stewart, Samuel Merten, Logan Leland · 2017 · Lecture notes in computer science
  62. Interactive Verifiable Polynomial Evaluation
    Saeid Sahraei, Mohammad Ali Maddah-Ali, Salman Avestimehr · 2020 · IEEE International Symposium on Information Theory (ISIT)
  63. zkrpChain: Privacy-Preserving Data Auditing for Consortium Blockchains Based on Zero-Knowledge Range Proofs
    Shiwei Xu, Xiaowen Cai, Yizhi Zhao, Zhengwei Ren, Lingjuan Wu, Huanguo Zhang, Le Du, Yan Tong · 2020 · IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
  64. On a Partially Verifiable Multi-party Multi-argument Zero-knowledge Proof
    Hoil Ryu, Dongwoo Kang, Dongho Won · 2021 · International Conference on Ubiquitous Information Management and Communication (IMCOM)
  65. Forward-Secure Multi-User Aggregate Signatures Based on zk-SNARKs
    Jeonghyuk Lee, Jihye Kim, Hyunok Oh · 2021 · IEEE Access
  66. CRSA: A Cryptocurrency Recovery Scheme Based on Hidden Assistance Relationships
    Weiqi Dai, Yan Lv, Kim‐Kwang Raymond Choo, Zhongze Liu, Deqing Zou, Hai Jin · 2021 · IEEE Transactions on Information Forensics and Security
  67. Proofs of Encrypted Data Retrievability with Probabilistic and Homomorphic Message Authenticators
    Dongxi Liu, John Žic · 2015 · IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
  68. VAMS: Verifiable Auditing of Access to Confidential Data
    Hicks, Alexander, Vasilios Mavroudis, Mustafa Al-Bassam, Sarah Meiklejohn, Steven J. Murdoch · 2018 · arXiv (Cornell University)
  69. Private Predictive Analysis on Encrypted Medical Data.
    Joppe W. Bos, Kristin Lauter, Michael Naehrig · 2014 · IACR Cryptology ePrint Archive
  70. Privacy and Integrity Preserving Computations with CRISP
    Chatel, Sylvain, Apostolos Pyrgelis, Juan Ramón Troncoso-Pastoriza, Jean‐Pierre Hubaux · 2020 · arXiv (Cornell University)
  71. Pairing-Based Batch Arguments for NP with a Linear-Size CRS
    Binyi Chen, Noel Elias, David J. Wu · 2025 · Lecture notes in computer science
  72. Cryptographic Legal Opposability (CLO) Framework: Confidentiality-Reliability-Opposability Trade-Offs in Institutional Cryptography
    Thierry Emmanuel Minka Mi Nguidjoï, Flavien Serge Mani Onana, Thomas Djotio Ndié · 2026 · IEEE Access
  73. Vega: Low-Latency Zero-Knowledge Proofs over Existing Credentials
    Darya Kaviani, Srinath Setty · 2026 · IEEE Symposium on Security and Privacy (S&P)
  74. Overview of Zero-Knowledge Proof and Its Applications in Blockchain
    Yu Zhou, Zeming Wei, Shansi Ma, Tang Hua · 2022 · Communications in computer and information science
  75. Lower Bound on SNARGs in the Random Oracle Model
    Iftach Haitner, Daniel Nukrai, Eylon Yogev · 2022 · Lecture notes in computer science
  76. Poster: Verifiable Encodings for Maliciously-Secure Homomorphic Encryption Evaluation
    Sylvain Chatel, Christian Knabenhans, Apostolos Pyrgelis, Carmela Troncoso, Jean‐Pierre Hubaux · 2023 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  77. A Benchmark for Different Implementations of Zero-Knowledge Proof Systems
    Max Kobelt, Michael Sober, Stefan Schulte · 2023 · IEEE International Conference on Blockchain (Blockchain)
  78. Tee-based key-value stores: a survey
    Aghiles Ait Messaoud, Sonia Ben Mokhtar, Anthony Simonet · 2024 · The VLDB Journal
  79. SmartZKCP: Towards practical data exchange marketplace against active attacks
    Xuanming Liu, Jiawen Zhang, Yinghao Wang, Xinpeng Yang, Xiaohu Yang · 2025 · Blockchain Research and Applications
  80. FHE-Rollups: Scaling Confidential Smart Contracts on Ethereum and Beyond
    Guy Zyskind, Yonatan Erez, Tom Langer, Itzik Grossman, Lior Bondarevsky · 2024 · ACM International Symposium on Blockchain and Secure Critical Infrastructure (BSCI)
  81. Transparent SNARKs over Galois Rings
    Yuanju Wei, Xinxuan Zhang, Yi Deng · 2025 · Lecture notes in computer science
  82. EVOC: More efficient verifiable outsourced computation from any one-way trapdoor function
    Jun Zhou, Zhenfu Cao, Xiaolei Dong, Xiaodong Lin · 2015 · International Conference on Communications
  83. Secure Outsourcing Algorithm of Polynomials in Cloud Computing
    Xianlin Zhou, Yong Ding, Zhao Wang, Xiumin Li, Jun Ye, Zheng Xu · 2016 · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering
  84. An unconditionally hiding auditing procedure for computations over distributed data
    Lucas Schabhüser, Denise Demirel, Johannes A Buchmann · 2016 · IEEE Conference on Communications and Network Security
  85. Authenticated Outlier Mining for Outsourced Databases
    Boxiang Dong, Hui Wang, Anna Monreale, Dino Pedreschi, Fosca Giannotti, Wenge Guo · 2017 · IEEE Transactions on Dependable and Secure Computing
  86. Efficient Sum-Check Protocol for Convolution
    Chanyang Ju, Hyeonbum Lee, Heewon Chung, Jae Hong Seo, Sungwook Kim · 2021 · IEEE Access
  87. A Framework Using Useful Work for Transient Committee Selections in Blockchain Consensus
    Shawn C. Adams, Yuliang Zheng A · 2022 · International Conference on IoT and Blockchain Technology (ICIBT)
  88. A Sealed-bid Auction with Fund Binding: Preventing Maximum Bidding Price Leakage
    Kota Chin, Keita Emura, Kazumasa Omote, Shingo Sato · 2022 · IEEE International Conference on Blockchain (Blockchain)
  89. Distributed Key Generation with Smart Contracts using zk-SNARKs
    Michael Sober, Max Kobelt, Giulia Scaffino, Dominik Kaaser, Stefan Schulte · 2023 · ACM Symposium on Applied Computing
  90. LBFP: A Lightweight Bitcoin-Based Fair Payment for Outsourced Computation
    Huajie Cheng, Peng Zeng, Chengju Li · 2022 · IEEE International Conference on Computer and Communications (ICCC)
  91. PPFP: An Efficient Privacy-Preserving Fair Payment Protocol for V2G Based on Blockchain
    Xiangqi Kong, Peng Zeng, Chengju Li · 2022 · IEEE International Conference on Computer and Communications (ICCC)
  92. Threshold secret sharing with geometric algebras
    David W. H. A. da Silva, Luke Harmon, Gaetan Delavignette · 2023 · Mathematical Methods in the Applied Sciences
  93. Benchmarking the Setup of Updatable Zk-SNARKs
    Karim Baghery, Axel Mertens, Mahdi Sedaghat · 2023 · Lecture notes in computer science
  94. Confidential Computing Proofs
    Mark Russinovich, Cédric Fournet A, Greg Zaverucha, Josh Benaloh, Brandon Murdoch, Manuel Costa · 2024 · Queue
  95. Secure Synthesis of Distributed Cryptographic Applications
    Coşku Acay, Joshua Gancher, Rolph Recto, Andrew C. Myers · 2024 · IEEE Computer Security Foundations Workshop (CSFW)
  96. Circuit-Succinct Universally-Composable NIZKs with Updatable CRS
    Behzad Abdolmaleki, Noemi Glaeser, Sebastian Ramacher, Daniel Slamanig · 2024 · IEEE Computer Security Foundations Workshop (CSFW)
  97. $$\textsf{LogRobin}$$++: Optimizing Proofs of Disjunctive Statements in VOLE-Based ZK
    Carmit Hazay, David Heath, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam, Yibin Yang · 2024 · Lecture notes in computer science
  98. Resolving the conflict between generality and plausibility in verified computation.
    Srinath Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Jeffery Parno, Michael Walfish · 2012
  99. Optimizing Fund Allocation for Game-Based Verifiable Computation Outsourcing
    Pinglan Liu, Xiaojuan Ma, Wensheng Zhang · 2022 · Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
  100. EntrapNet: A Blockchain-Based Verification Protocol for Trustless Computing
    Chong Li, Lei Zhang, Senbiao Fang · 2021 · IEEE Internet of Things Journal