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 201–300 of 863

  1. zkrpChain: Towards multi-party privacy-preserving data auditing for consortium blockchains based on zero-knowledge range proofs
    Shiwei Xu, Xiaowen Cai, Yizhi Zhao, Zhengwei Ren, Le Du, Qin Wang, Jianying Zhou · 2021 · Future Generation Computer Systems
  2. The next stage of green electricity labeling
    Johannes Sedlmeir, Fabiane Völter, Jens Strüker · 2021 · ACM SIGEnergy Energy Informatics Review
  3. CoopEdge+: Enabling Decentralized, Secure and Cooperative Multi-Access Edge Computing Based on Blockchain
    Yuan, Liang, He, Qiang, Tan, Siyu, Li, Bo, Yu, Jiangshan, Chen, Feifei, Yang, Yun · 2023 · IEEE Transactions on Parallel and Distributed Systems
  4. zkDL: Efficient Zero-Knowledge Proofs of Deep Learning Training
    Sun, Haochen, Bai, Tonghe, Li, Jason, Zhang, Hongyang · 2025 · IEEE Transactions on Information Forensics and Security
  5. Augmenting Encrypted Search: A Decentralized Service Realization with Enforced Execution
    Shengshan Hu, Chengjun Cai, Qian Wang, Cong Wang, Zhibo Wang, Dengpan Ye · 2019 · IEEE Transactions on Dependable and Secure Computing
  6. Updateable Inner Product Argument with Logarithmic Verifier and Applications
    Vanesa Daza, Carla Ràfols, Alexandros Zacharakis · 2020 · Lecture notes in computer science
  7. Spitz
    Meihui Zhang, Zhongle Xie, Cong Yue, Ziyue Zhong · 2020 · Proceedings of the VLDB Endowment
  8. Smart Contract Data Feed Framework for Privacy-Preserving Oracle System on Blockchain
    Junhoo Park, Hyekjin Kim, Geunyoung Kim, Jae‐Cheol Ryou · 2020 · Computers
  9. ZKCPlus: Optimized Fair-exchange Protocol Supporting Practical and Flexible Data Exchange
    Yun Li, Cun Ye, Yuguang Hu, Ivring Morpheus, Yu Guo, Chao Zhang, Yupeng Zhang, Zhipeng Sun, Yiwen Lu, Haodi Wang · 2021 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  10. Hosting Services on an Untrusted Cloud
    Dan Boneh, Divya Gupta, Ilya Mironov, Amit Sahai · 2015 · Lecture notes in computer science
  11. Incentivized Outsourced Computation Resistant to Malicious Contractors
    Alptekın Küpçü · 2015 · IEEE Transactions on Dependable and Secure Computing
  12. A comprehensive meta-analysis of cryptographic security mechanisms for cloud computing
    Mehmet Sabır Kiraz · 2016 · Journal of Ambient Intelligence and Humanized Computing
  13. An Expressive (Zero-Knowledge) Set Accumulator
    Yupeng Zhang, Jonathan I. Katz, Charalampos Papamanthou · 2017 · IEEE European Symposium on Security and Privacy
  14. Trinocchio: Privacy-Preserving Outsourcing by Distributed Verifiable Computation
    Berry Schoenmakers, Meilof Veeningen, Niels de Vreede · 2016 · Lecture notes in computer science
  15. VC 3 : Trustworthy Data Analytics in the Cloud
    Félix Schuster, Manuel Costa, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich · 2014
  16. Privacy-preserving Real-time Anomaly Detection Using Edge Computing
    Shagufta Mehnaz, Elisa Bertino · 2020 · IEEE International Conference on Data Engineering (ICDE)
  17. Non-interactive Zero-Knowledge Arguments for QMA, with Preprocessing
    Andrea Coladangelo, Thomas Vidick, Tina Zhang · 2020 · Lecture notes in computer science
  18. Review of Techniques for Privacy-Preserving Blockchain Systems
    Abylay Satybaldy, Mariusz Nowostawski · 2020 · ACM International Symposium on Blockchain and Secure Critical Infrastructure (BSCI)
  19. SoK: Privacy-Preserving Computing in the Blockchain Era
    Ghada Almashaqbeh, Ravital Solomon · 2022 · IEEE European Symposium on Security and Privacy
  20. Verifiable privacy-preserving monitoring for cloud-assisted mHealth systems
    Linke Guo, Yuguang Michael Fang, Ming Li, Pan Li · 2015 · IEEE Conference on Computer Communications (INFOCOM)
  21. Authenticated Hash Tables Based on Cryptographic Accumulators
    Charalampos Papamanthou, Roberto Tamassia, Nikos Triandopoulos · 2015 · Algorithmica
  22. Adaptively Secure Fully Homomorphic Signatures Based on Lattices.
    Xavier Boyen, Xiong Fan, Elaine Shi · 2014
  23. Efficient and Privacy-Preserving Energy Trading on Blockchain Using Dual Binary Encoding for Inner Product Encryption
    Turabek Gaybullaev, Hee-Yong Kwon, Taesic Kim, Mun‐Kyu Lee · 2021 · Sensors
  24. Accountable Metadata-Hiding Escrow: A Group Signature Case Study
    Markulf Kohlweiss, Ian Miers · 2015 · Proceedings on Privacy Enhancing Technologies
  25. Verifying computations without reexecuting them: from theoretical possibility to near-practicality.
    Michael Walfish, Andrew J. Blumberg · 2013 · Electronic colloquium on computational complexity
  26. A symmetric cryptographic scheme for data integrity verification in cloud databases
    Luca Ferretti, Mirco Marchetti, Mauro Andreolini, Michele Colajanni · 2017 · Information Sciences
  27. Fair Outsourcing Polynomial Computation Based on the Blockchain
    Yunguo Guan, Hui Zheng, Jun Shao, Rongxing Lu, Guiyi Wei · 2021 · IEEE Transactions on Services Computing
  28. Newton-interpolation-based zk-SNARK for Artificial Internet of Things
    Xinglin Shang, Liang Tan, Keping Yu, Jing Zhang, Kuljeet Kaur, Mohammad Mehedi Hassan · 2021 · Ad Hoc Networks
  29. A Novel Insurance Claim Blockchain Scheme Based on Zero-Knowledge Proof Technology
    Houyu Zheng, Lin You, Gengran Hu · 2022 · Computer Communications
  30. What Makes Fiat–Shamir zkSNARKs (Updatable SRS) Simulation Extractable?
    Chaya Ganesh, Hamidreza Khoshakhlagh, Markulf Kohlweiss, Anca Nitulescu, Michał Zając · 2022 · Lecture notes in computer science
  31. A Fast and Verified Software Stack for Secure Function Evaluation
    José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vítor Pereira · 2017 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  32. Making Sigma-Protocols Non-interactive Without Random Oracles
    Pyrros Chaidos, Jens Groth · 2015 · Lecture notes in computer science
  33. Exponentiating in Pairing Groups
    Joppe W. Bos, Craig Costello, Michael Naehrig · 2014 · Lecture notes in computer science
  34. WI Is Not Enough
    Georg Fuchsbauer · 2019 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  35. Zero-knowledge proofs for set membership: efficient, succinct, modular
    Daniel Benarroch, Matteo Campanelli, Dario Fiore, Kobi Gurkan, Dimitris Kolonelos · 2023 · Designs Codes and Cryptography
  36. Blockchain-based semi-autonomous ransomware
    Oscar Delgado-Mohatar, José María Sierra-Cámara, E. Anguiano · 2020 · Future Generation Computer Systems
  37. Public-Coin Zero-Knowledge Arguments with (almost) Minimal Time and Space Overheads
    Alexander R. Block, Justin Holmgren, Alon Rosen, Ron D. Rothblum, Pratik Soni · 2020 · Lecture notes in computer science
  38. Store Edge Networked Data (SEND): A Data and Performance Driven Edge Storage Framework
    Adrian-Cristian Nicolaescu, Spyridon Mastorakis, Ioannis Psaras · 2021 · IEEE Conference on Computer Communications (INFOCOM)
  39. Publicly Auditable MPC-as-a-Service with succinct verification and universal setup
    Sanket Kanjalkar, Ye Zhang, Shreyas Gandlur, Andrew K. Miller · 2021 · IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)
  40. Lattice-Based Functional Commitments: Fast Verification and Cryptanalysis
    Hoeteck Wee, David J. Wu · 2023 · Lecture notes in computer science
  41. Verifiable differential privacy
    Arjun Narayan, Ariel J. Feldman, Antonis Papadimitriou, Andreas Haeberlen · 2015 · European Conference on Computer Systems
  42. On the (In)Security of SNARKs in the Presence of Oracles
    Dario Fiore, Anca Nitulescu · 2016 · Lecture notes in computer science
  43. True2F: Backdoor-Resistant Authentication Tokens
    Emma Dauterman, Henry Corrigan-Gibbs, David Mazières, Dan Boneh, Dominic Rizzo · 2019 · IEEE Symposium on Security and Privacy (S&P)
  44. ALITHEIA
    Yupeng Zhang, Charalampos Papamanthou, Jonathan I. Katz · 2014 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  45. Efficient Proof Composition for Verifiable Computation
    Julien Keuffer, Refik Ahmet Molva, Hervé Chabanne · 2018 · Lecture notes in computer science
  46. Tag-Based Verifiable Delegated Set Intersection Over Outsourced Private Datasets
    Qiang Wang, Fucai Zhou, Jian Feng Xu, Su Peng · 2020 · IEEE Transactions on Cloud Computing
  47. Simulation Extractable Versions of Groth’s zk-SNARK Revisited
    Karim Baghery, Zaira Pindado, Carla Ràfols · 2020 · Lecture notes in computer science
  48. Demystifying the Role of zk-SNARKs in Zcash
    Aritra Banerjee, Hitesh Tewari · 2020 · Arrow@dit (Dublin Institute of Technology)
  49. Vehicloak: A Blockchain-Enabled Privacy-Preserving Payment Scheme for Location-Based Vehicular Services
    Yihao Guo, Zhiguo Wan, Hui Cui, Xiuzhen Cheng, Falko Dressler · 2022 · IEEE Transactions on Mobile Computing
  50. Spartan and Bulletproofs are Simulation-Extractable (for Free!)
    Quang Dao, Paul Grubbs · 2023 · Lecture notes in computer science
  51. SoK: Mitigation of Front-Running in Decentralized Finance
    Carsten Baum, James Hsin-yu Chiang, Bernardo David, Tore Kasper Frederiksen, Lorenzo Gentile · 2023 · Lecture notes in computer science
  52. The unresolved need for dependable guarantees on security, sovereignty, and trust in data ecosystems
    Johannes Lohmöller, Jan Pennekamp, Roman Matzutt, Carolin Victoria Schneider, Eduard Vlad, Christian Trautwein, Klaus Wehrle · 2024 · Data & Knowledge Engineering
  53. Practical authenticated pattern matching with optimal proof size
    Dimitrios Papadopoulos, Charalampos Papamanthou, Roberto Tamassia, Nikos Triandopoulos · 2015 · Proceedings of the VLDB Endowment
  54. Fair payments for verifiable cloud services using smart contracts
    Mallikarjun Reddy Dorsala, V. N. Sastry, Chapram Sudhakar · 2020 · Computers & Security
  55. Succinct Non-Interactive Arguments for a von Neumann Architecture.
    Eli Ben‐Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza · 2013 · IACR Cryptology ePrint Archive
  56. A scalable decentralized privacy-preserving e-voting system based on zero-knowledge off-chain computations
    Ashkan Emami, Habib Allah Yajam, Mohammad Ali Akhaee, Rahim Asghari · 2023 · Journal of Information Security and Applications
  57. Viaduct: an extensible, optimizing compiler for secure distributed programs
    Coşku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi · 2021 · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
  58. BV-ICVs: A privacy-preserving and verifiable federated learning framework for V2X environments using blockchain and zkSNARKs
    Abla Smahi, Hui Li, Yong Yang, Xin Yang, Ping Lu, Yong Zhong, Caifu Liu · 2023 · Journal of King Saud University - Computer and Information Sciences
  59. Zerocash: Decentralized Anonymous Payments from Bitcoin (extended version)
    Eli Ben‐Sasson, Alessandro Chiesa, Christina Garman, Matthew Green, Ian Miers, Eran Tromer, Madars Virza · 2014
  60. Golden Grain: Building a Secure and Decentralized Model Marketplace for MLaaS
    Jiasi Weng, Jian Weng, Chengjun Cai, Hongwei Huang, Cong Wang · 2021 · IEEE Transactions on Dependable and Secure Computing
  61. “Adversarial Examples” for Proof-of-Learning
    Rui Zhang, Jian Liu, Yuan Ding, Zhibo Wang, Qingbiao Wu, Kui Ren · 2022 · IEEE Symposium on Security and Privacy (S&P)
  62. ECLIPSE: Enhanced Compiling Method for Pedersen-Committed zkSNARK Engines
    Diego F. Aranha, Emil Madsen Bennedsen, Matteo Campanelli, Chaya Ganesh, Claudio Orlandi, Akira Takahashi · 2022 · Lecture notes in computer science
  63. Snarky Ceremonies
    Markulf Kohlweiss, Mary Maller, Janno Siim, Mikhail Volkhov · 2021 · Lecture notes in computer science
  64. Witness-Succinct Universally-Composable SNARKs
    Chaya Ganesh, Yashvanth Kondi, Claudio Orlandi, Mahak Pancholi, Akira Takahashi, Daniel Tschudi · 2023 · Lecture notes in computer science
  65. Fully Secure and Fast Signing from Obfuscation
    Kim Ramchen, Brent R. Waters · 2014 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  66. Efficiently and securely harnessing cloud to solve linear regression and other matrix operations
    Lu Qun Zhou, Youwen Zhu, Kim‐Kwang Raymond Choo · 2017 · Future Generation Computer Systems
  67. Enabling Efficient and Secure Outsourcing of Large Matrix Multiplications
    Kun Jia, Hongwei Li, Dongxiao Liu, Shui Yu · 2015 · Globecom
  68. Labeled Homomorphic Encryption
    Manuel Barbosa, Dario Catalano, Dario Fiore · 2017 · Lecture notes in computer science
  69. zk-AuthFeed: How to Feed Authenticated Data into Smart Contract with Zero Knowledge
    Zhiguo Wan, Zhangshuang Guan, Yan Zhou, Kui Ren · 2019 · IEEE International Conference on Blockchain (Blockchain)
  70. Verifiable Spatial Range Query Over Encrypted Cloud Data in VANET
    Qian Meng, Jian Weng, Yinbin Miao, Kefei Chen, Zhonghua Shen, Fuqun Wang, Zhijun Li · 2021 · IEEE Transactions on Vehicular Technology
  71. Secure and Privacy-Preserving Energy Trading With Demand Response Assistance Based on Blockchain
    Shunrong Jiang, Jinpeng Li, Xiaoyan Zhang, Hao Yue, Haiqin Wu, Yong Zheng Zhou · 2023 · IEEE Transactions on Network Science and Engineering
  72. Toward Detecting Compromised MapReduce Workers through Log Analysis
    Eunjung Yoon, Anna Squicciarini · 2014 · IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid)
  73. PIC: Enable Large-Scale Privacy Preserving Content-Based Image Search on Cloud
    Lan Zhang, Taeho Jung, Puchun Feng, Kebin Liu, Xiangyang Li, Yunhao Liu · 2015 · Proceedings of the International Conference on Parallel Processing
  74. Research on Anonymization and De-anonymization in the Bitcoin System
    QingChun ShenTu, Jianping Yu · 2015 · arXiv (Cornell University)
  75. Scalable Decentralized Privacy-Preserving Usage-Based Insurance for Vehicles
    Huayi Qi, Zhiguo Wan, Zhangshuang Guan, Xiuzhen Cheng · 2020 · IEEE Internet of Things Journal
  76. Compact Certificates of Collective Knowledge
    Silvio M. Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, Nickolai Zeldovich · 2021 · IEEE Symposium on Security and Privacy (S&P)
  77. Federated and Transfer Learning: A Survey on Adversaries and Defense Mechanisms
    Ehsan Hallaji, Roozbeh Razavi‐Far, Mehrdad Saif · 2022 · Adaptation, learning, and optimization
  78. How to Prove Statements Obliviously?
    Sanjam Garg, Aarushi Goel, Mingyuan Wang · 2024 · Lecture notes in computer science
  79. How to Use SNARKs in Universally Composable Protocols.
    Ahmed E. Kosba, Zhichao Zhao, Andrew E. Miller, Yi Qian, T-H. Hubert Chan, Charalampos Papamanthou, Rafael Pass, Abhi A. Shelat, Elaine Shi · 2015
  80. Privacy-preserving smart metering revisited
    Alfredo Rial, George Danezis, Markulf Kohlweiss · 2016 · International Journal of Information Security
  81. Security Analysis of SKINNY under Related-Tweakey Settings (Long Paper)
    Liu, Guozhen, Mohona Ghosh, Ling Song · 2017 · DOAJ (DOAJ: Directory of Open Access Journals)
  82. The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web
    Cheng Ling Tan, Lingfan Yu, Joshua B. Leners, Michael Walfish · 2017 · ACM SIGOPS Symposium on Operating Systems Principles (SOSP)
  83. Replicated state machines without replicated execution
    Jonathan L. C. Lee, Kirill Nikitin, Srinath Setty · 2020 · IEEE Symposium on Security and Privacy (S&P)
  84. Blockchain-Based Smart Advertising Network With Privacy-Preserving Accountability
    Dongxiao Liu, Cheng Huang, Jianbing Ni, Xiaodong Lin, Xuemin Shen · 2020 · IEEE Transactions on Network Science and Engineering
  85. Prover-Efficient Commit-and-Prove Zero-Knowledge SNARKs
    Helger Lipmaa · 2016 · Lecture notes in computer science
  86. vChain: Enabling Verifiable Boolean Range Queries over Blockchain Databases
    Cheng Long Xu, Ce Zhang, Jianliang Xu · 2018 · arXiv (Cornell University)
  87. A Privacy-Protecting Authorization System Based on Blockchain and zk-SNARK
    Qinan Li, Zhihao Xue · 2020 · International Conference on Cyberspace Innovation of Advanced Technologies (CIAT)
  88. T2L: A traceable and trustable consortium blockchain for logistics
    Ming Xuan He, Haodi Wang, Yunchuan Sun, Rongfang Bie, Tian Lan, Qi Song, Xi Zeng, Matevž Pustišek, Zhenyu Qiu · 2022 · Digital Communications and Networks
  89. Multi-Server Verifiable Computation of Low-Degree Polynomials
    Liang Feng Zhang, Huaxiong Wang · 2022 · IEEE Symposium on Security and Privacy (S&P)
  90. ezDPS: An Efficient and Zero-Knowledge Machine Learning Inference Pipeline
    Haodi Wang, Thang Hoang · 2023 · Proceedings on Privacy Enhancing Technologies
  91. Impossibilities in Succinct Arguments: Black-Box Extraction and More
    Matteo Campanelli, Chaya Ganesh, Hamidreza Khoshakhlagh, Janno Siim · 2023 · Lecture notes in computer science
  92. Protecting data privacy in publicly verifiable delegation of matrix and polynomial functions
    Liang Feng Zhang, Reihaneh Safavi–Naini · 2019 · Designs Codes and Cryptography
  93. Simulation-Extractable zk-SNARK With a Single Verification
    Jihye Kim, Jiwon Lee, Hyunok Oh · 2020 · IEEE Access
  94. Integrity Authentication for SQL Query Evaluation on Outsourced Databases: A Survey
    Bo Zhang, Boxiang Dong, Hui Wang · 2019 · IEEE Transactions on Knowledge and Data Engineering
  95. Dragoon: Private Decentralized HITs Made Practical
    Yuan Lu, Qiang Tang, Guiling Wang · 2020 · IEEE International Conference on Distributed Computing Systems (ICDCS)
  96. Zero Knowledge Static Program Analysis
    Zhiyong Fang, David Darais, Joseph P. Near, Yupeng Zhang · 2021 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
  97. Time to forge ahead: The Internet of Things for healthcare
    Denzil L. Furtado, André F. Gygax, Chien Aun Chan, Ashley Ian Bush · 2022 · Digital Communications and Networks
  98. Towards a secure and dependable IoT data monetization using blockchain and fog computing
    Seyednima Khezr, Abdulsalam Yassine, Rachid Benlamri · 2022 · Cluster Computing
  99. Counting Vampires: From Univariate Sumcheck to Updatable ZK-SNARK
    Helger Lipmaa, Janno Siim, Michał Zając · 2022 · Lecture notes in computer science
  100. Secure cloud storage hits distributed string equality checking: More efficient, conceptually simpler, and provably secure
    Fei Chen, Tao Xiang, Yuanyuan Yang, Cong Wang, Shengyu Zhang · 2015 · IEEE Conference on Computer Communications (INFOCOM)