Pinocchio: Nearly Practical Verifiable Computation

Cited by (863)

Items 301–400 of 863

1. Publicly Verifiable Inner Product Evaluation over Outsourced Data Streams under Multiple Keys
   Xuefeng Liu, Wenhai Sun, Hanyu Quan, Wenjing Lou, Yuqing Zhang, Hui Li · 2016 · IEEE Transactions on Services Computing
2. Retrofitting a two-way peg between blockchains
   Jason Teutsch, Michael Straka, Dan Boneh · 2019 · RePEc: Research Papers in Economics
3. Enhancing Account Privacy in Blockchain-Based IoT Access Control via Zero Knowledge Proof
   Qiwei Hu, Yueyue Dai, Shuo Li, Tao Jiang · 2022 · IEEE Network
4. Network-Agnostic Security Comes (Almost) for Free in DKG and MPC
   Renas Bacho, Daniel E. Collins, Chen-Da Liu-Zhang, Julian Loss · 2023 · Lecture notes in computer science
5. Adaptively Sound Zero-Knowledge SNARKs for UP
   Surya Mathialagan, Spencer Peters, Vinod Vaikuntanathan · 2024 · Lecture notes in computer science
6. Efficient Culpably Sound NIZK Shuffle Argument Without Random Oracles
   Prastudy Fauzi, Helger Lipmaa · 2016 · Lecture notes in computer science
7. Sparse Matrix Masking-Based Non-Interactive Verifiable (Outsourced) Computation, Revisited
   Liang Zhao, Liqun Chen · 2018 · IEEE Transactions on Dependable and Secure Computing
8. Transparent and Accountable Vehicular Local Advertising With Practical Blockchain Designs
   Dongxiao Liu, Jianbing Ni, Xiaodong Lin, Xuemin Shen · 2020 · IEEE Transactions on Vehicular Technology
9. A Certified Compiler for Verifiable Computing
   Cédric Fournet A, Chantal Keller, Vincent Laporte · 2016 · IEEE Computer Security Foundations Workshop (CSFW)
10. Sublinear Zero-Knowledge Arguments for RAM Programs
    Payman Mohassel, Mike Rosulek, Alessandra Scafuro · 2017 · Lecture notes in computer science
11. A Hybrid Approach to Secure Function Evaluation using SGX
    Joseph I. Choi, Dave (Jing) Tian, Grant Hernandez, Christopher Patton, Benjamin Mood, Thomas Shrimpton, Kevin R. B. Butler, Patrick Traynor · 2019 · ACM Asia Conference on Computer and Communications Security (ASIA CCS)
12. Secure and Verifiable Data Collaboration with Low-Cost Zero-Knowledge Proofs
    Yizheng Zhu, Yuncheng Wu, Zhaojing Luo, Beng Chin Ooi, Xiaokui Xiao · 2024 · Proceedings of the VLDB Endowment
13. ZØ: an optimizing distributing zero-knowledge compiler
    Matt Fredrikson, Benjamin Livshits · 2014
14. Privacy-Preserving Publicly Verifiable Databases
    Qiang Wang, Fucai Zhou, Boyang Zhou, Jian Feng Xu, Chun‐Yu Chen, Qi Wang · 2020 · IEEE Transactions on Dependable and Secure Computing
15. Fog Computing Complete Review: Concepts, Trends, Architectures, Technologies, Simulators, Security Issues, Applications, and Open Research Fields
    Ishtiaq Ahammad · 2023 · SN Computer Science
16. Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix
    Jean‐Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé, Gilles Villard · 2016 · International Symposium on Symbolic and Algebraic Computation
17. On QA-NIZK in the BPK Model
    Behzad Abdolmaleki, Helger Lipmaa, Janno Siim, Michał Zając · 2020 · Lecture notes in computer science
18. On Succinct Arguments and Witness Encryption from Groups
    Ohad Barta, Yuval Ishai, Rafail Ostrovsky, David J. Wu · 2020 · Lecture notes in computer science
19. Enabling Generic Verifiable Aggregate Query on Blockchain Systems
    Yanchao Zhu, Zhao Zhang, Cheqing Jin, Aoying Zhou · 2020 · IEEE International Conference on Parallel and Distributed Systems (ICPADS)
20. Higher SLA satisfaction in datacenters with continuous VM placement constraints
    Huynh Tu Dang, Fabien Hermenier · 2013
21. Privacy and Linkability of Mining in Zcash
    Alex Biryukov, Daniel Feher · 2019 · IEEE Conference on Communications and Network Security
22. Sok: vector OLE-based zero-knowledge protocols
    Carsten Baum, Samuel Dittmer, Peter Schöll, Xiao Shaun Wang · 2023 · Designs Codes and Cryptography
23. EV-FL: Efficient Verifiable Federated Learning With Weighted Aggregation for Industrial IoT Networks
    Haiyang Yu, Runtong Xu, Zhang Hui, Zhen Yang, Huan Liu · 2023 · IEEE/ACM Transactions on Networking
24. zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs
    Jens Ernstberger, Stefanos Chaliasos, George Kadianakis, Sebastian Steinhorst, Philipp Jovanovic, Arthur Gervais, Benjamin Livshits, Michele Orrù · 2024 · Lecture notes in computer science
25. Enhancing Unmanned Aerial Vehicle Security: A Zero-Knowledge Proof Approach with Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge for Authentication and Location Proof
    Athanasios Koulianos, Panagiotis Paraskevopoulos, Αντώνιος Λίτκε, Nikolaos K. Papadakis · 2024 · Sensors
26. Bringing execution assurances of pattern matching in outsourced middleboxes
    Xingliang Yuan, Huayi Duan, Cong Wang · 2016 · IEEE International Conference on Network Protocols (ICNP)
27. Auditable Zerocoin
    Ken Naganuma, Masayuki Yoshino, Hisayoshi SATO, Takayuki Suzuki · 2017 · IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)
28. Efficient Adaptively Secure Zero-Knowledge from Garbled Circuits
    Chaya Ganesh, Yashvanth Kondi, Arpita Patra, Pratik Sarkar · 2018 · Lecture notes in computer science
29. Zero-Knowledge Proof-of-Identity: Sybil-Resistant, Anonymous Authentication on Permissionless Blockchains and Incentive Compatible, Strictly Dominant Cryptocurrencies
    David Cerezo Sánchez · 2019 · SSRN Electronic Journal
30. Fog Computing and Its security issues
    Jyotir Moy Chatterjee, Ishaani Priyadarshini, Shankeys, Dac‐Nhuong Le · 2019
31. Split: A Hash-based Memory Optimization Method for Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARK)
    Huayi Qi, Ye Cheng, Minghui Xu, Dongxiao Yu, Haipeng Wang, Weifeng Lyu · 2023 · IEEE Transactions on Computers
32. Riggs: Decentralized Sealed-Bid Auctions
    Nirvan Tyagi, Arasu Arun, Cody Freitag, Riad S. Wahby, Joseph Bonneau, David Mazières · 2023 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
33. Verifiable and Provably Secure Machine Unlearning
    Thorsten Eisenhofer, Doreen Riepel, Varun Chandrasekaran, Esha Ghosh, Olga Ohrimenko, Nicolas Papernot · 2025 · IEEE Conference on Secure and Trustworthy Machine Learning (SaTML)
34. Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation
    Meilof Veeningen · 2017 · Lecture notes in computer science
35. Efficient and Verifiable Outsourcing Scheme of Sequence Comparisons
    Yansheng Feng, Hua Ma, Xiaofeng Chen · 2014 · Intelligent Automation & Soft Computing
36. Constant-Size zk-SNARKs in ROM from Falsifiable Assumptions
    Helger Lipmaa, Roberto Parisella, Janno Siim · 2024 · Lecture notes in computer science
37. Polymath: Groth16 Is Not the Limit
    Helger Lipmaa · 2024 · Lecture notes in computer science
38. VERITAS: Plaintext Encoders for Practical Verifiable Homomorphic Encryption
    Sylvain Chatel, Christian Knabenhans, Apostolos Pyrgelis, Carmela Troncoso, Jean‐Pierre Hubaux · 2024 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
39. Enabling efficient publicly verifiable outsourcing computation for matrix multiplication
    Hongwei Li, Shenmin Zhang, Tom H. Luan, Hao Ren, Yuanshun Dai, Liang Zhou · 2015 · International Telecommunication Networks and Applications Conference (ITNAC)
40. Batch Verifiable Computation with Public Verifiability for Outsourcing Polynomials and Matrix Computations
    Yujuan Sun, Yu Yu, Xiangxue Li, Kai Zhang, Haifeng Qian, Yuan Hua Zhou · 2016 · Lecture notes in computer science
41. Fair Protocols for Verifiable Computations Using Bitcoin and Ethereum
    Mallikarjun Reddy Dorsala, V. N. Sastry, Chapram Sudhakar · 2018 · IEEE ... International Conference on Cloud Computing
42. UC-Secure CRS Generation for SNARKs
    Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Janno Siim, Michał Zając · 2019 · Lecture notes in computer science
43. Subversion-Resistant Simulation (Knowledge) Sound NIZKs
    Karim Baghery · 2019 · Lecture notes in computer science
44. Privacy-Preserving and Efficient Verification of the Outcome in Genome-Wide Association Studies
    Anisa Halimi, Leonard Dervishi, Erman Ayday, Apostolos Pyrgelis, Juan Ramón Troncoso-Pastoriza, Jean‐Pierre Hubaux, Xiaoqian Jiang, Jaideep S. Vaidya · 2022 · Proceedings on Privacy Enhancing Technologies
45. Verifiable Computation in Multiparty Protocols with Honest Majority
    Peeter Laud, Alisa Pankova · 2014 · Lecture notes in computer science
46. Simulation Extractability in Groth’s zk-SNARK
    Shahla Atapoor, Karim Baghery · 2019 · Lecture notes in computer science
47. Shorter Pairing-Based Arguments Under Standard Assumptions
    Alonso González, Carla Ràfols · 2019 · Lecture notes in computer science
48. Efficient verifiable databases with additional insertion and deletion operations in cloud computing
    Qiang Wang, Fucai Zhou, Jian Feng Xu, Zifeng Xu · 2020 · Future Generation Computer Systems
49. Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached ORAM for ANSI C Programs
    David Heath, Yibin Yang, David Andrew Devecsery, Vladimir Kolesnikov · 2021 · IEEE Symposium on Security and Privacy (S&P)
50. Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments.
    Shravan Srinivasan, Alexander Chepurnoy, Charalampos Papamanthou, Alin Tomescu, Yupeng Zhang · 2021 · IACR Cryptology ePrint Archive
51. Architectural Support for Containment-based Security
    Hansen Zhang, Soumyadeep Ghosh, Jordan Fix, Sotiris Apostolakis, Stephen R. Beard, Nayana Prasad Nagendra, Taewook Oh, David I. August · 2019 · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
52. An Airdrop that Preserves Recipient Privacy
    Riad S. Wahby, Dan Boneh, Christopher Jeffrey, Joseph Poon · 2020 · Lecture notes in computer science
53. On Subversion-Resistant SNARKs
    Behzad Abdolmaleki, Helger Lipmaa, Janno Siim, Michał Zając · 2021 · Journal of Cryptology
54. Digital Identity Verification and Management System of Blockchain-Based Verifiable Certificate with the Privacy Protection of Identity and Behavior
    Zhiming Song, Guiwen Wang, Yimin Yu, Taowei Chen · 2022 · Security and Communication Networks · Retracted
55. Dispute-Free Scalable Open Vote Network Using zk-SNARKs
    Muhammad ElSheikh, Amr Youssef · 2023 · Lecture notes in computer science
56. Assuring String Pattern Matching in Outsourced Middleboxes
    Xingliang Yuan, Huayi Duan, Cong Wang · 2018 · IEEE/ACM Transactions on Networking
57. Secure Outsourcing of Cryptographic Circuits Manufacturing
    Giuseppe Ateniese, Aggelos Kiayias, Bernardo Magri, Yiannis Tselekounis, Daniele Venturi · 2018 · Lecture notes in computer science
58. INTERPOL: Information Theoretically Verifiable Polynomial Evaluation
    Saeid Sahraei, A. Salman Avestimehr · 2019 · IEEE International Symposium on Information Theory (ISIT)
59. Towards dependable and trustworthy outsourced computing: A comprehensive survey and tutorial
    Minghao Zhao, Chengyu Hu, Xiangfu Song, Chuan Zhao · 2019 · Journal of Network and Computer Applications
60. Secure outsourcing of large matrix determinant computation
    Jiayang Liu, Jingguo Bi, Mu Li · 2020 · Frontiers of Computer Science
61. Proof of Necessary Work: Succinct State Verification with Fairness Guarantees
    Assimakis Kattis, Joseph Bonneau · 2023 · Lecture notes in computer science
62. Zero Knowledge Proofs Towards Verifiable Decentralized AI Pipelines
    Nitin Kumar Singh, Pankaj S Dayama, Vinayaka Pandit · 2022 · Lecture notes in computer science
63. Weak Fiat-Shamir Attacks on Modern Proof Systems
    Quang Dao, Jim Miller, Opal Wright, Paul Grubbs · 2023 · IEEE Symposium on Security and Privacy (S&P)
64. Oracle Based Privacy-Preserving Cross-Domain Authentication Scheme
    Yuan Su, Yuheng Wang, Jiliang Li, Zhou Su, Witold Pedrycz, Qinnan Hu · 2024 · IEEE Transactions on Sustainable Computing
65. ZENO: A Type-based Optimization Framework for Zero Knowledge Neural Network Inference
    Boyuan Feng, Zheng Wang, Yuke Wang, Shu Hong Yang, Yufei Ding · 2024 · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
66. Cross-Blockchain Communication Using Oracles With an Off-Chain Aggregation Mechanism Based on zk-SNARKs
    Michael Sober, Giulia Scaffino, Stefan Schulte · 2024 · Distributed Ledger Technologies Research and Practice
67. Lattice-Based Zero-Knowledge SNARGs for Arithmetic Circuits
    Anca Nitulescu · 2019 · Lecture notes in computer science
68. DIV
    Zihuan Xu, Lei Chen · 2021 · ACM SIGMOD International Conference on Management of Data (SIGMOD)
69. Vizard
    Chengjun Cai, Yichen Zang, Cong Wang, Xiaohua Jia, Qian Wang · 2022 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
70. PELTA - Shielding Multiparty-FHE against Malicious Adversaries
    Sylvain Chatel, Christian Mouchet, Ali Utkan Şahin, Apostolos Pyrgelis, Carmela Troncoso, Jean‐Pierre Hubaux · 2023 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
71. Efficient Certification and Zero-Knowledge Proofs of Knowledge on Infrastructure Topology Graphs
    Thomas Groß · 2014
72. On the Efficiency of Privacy-Preserving Smart Contract Systems
    Karim Baghery · 2019 · Lecture notes in computer science
73. Computing Neural Networks with Homomorphic Encryption and Verifiable Computing
    Abbass Madi, Renaud Sirdey, Oana Stan · 2020 · Lecture notes in computer science
74. Scalable and Transparent Proofs over All Large Fields, via Elliptic Curves
    Eli Ben‐Sasson, Dan Carmon, Swastik Kopparty, David Levit · 2022 · Lecture notes in computer science
75. Field-Agnostic SNARKs from Expand-Accumulate Codes
    Alexander R. Block, Zhiyong Fang, Jonathan I. Katz, Justin Thaler, Hendrik Waldner, Yupeng Zhang · 2024 · Lecture notes in computer science
76. Verifiable Delegation of Polynomials
    Jun Ye, Haiyan Zhang, Changyou Fu · 2016 · International journal of network security
77. Verifiable database outsourcing supporting join
    Mohammad Etemad, Alptekın Küpçü · 2018 · Journal of Network and Computer Applications
78. Tiramisu: Black-Box Simulation Extractable NIZKs in the Updatable CRS Model
    Karim Baghery, Mahdi Sedaghat · 2021 · Lecture notes in computer science
79. WI is Almost Enough: Contingent Payment All Over Again
    Ky Nguyen, Miguel Ambrona, Masayuki Abe · 2020 · ACM SIGSAC Conference on Computer and Communications Security (CCS)
80. Transparency Dictionaries with Succinct Proofs of Correct Operation
    Ioanna Tzialla, Abhiram Kothapalli, Bryan Jeffery Parno, Srinath Setty · 2022 · Network and Distributed System Security Symposium
81. Labrador: towards fair and auditable data sharing in cloud computing with long-term privacy
    Xiaojie Guo, Jin Li, Zheli Liu, Yu Xin Wei, Xiao Zhang, Changyu Dong · 2021 · Science China Information Sciences
82. Fully Succinct Batch Arguments for $$\textsf{NP}$$ from Indistinguishability Obfuscation
    Rachit Garg, Kristin Sheridan, Brent R. Waters, David J. Wu · 2022 · Lecture notes in computer science
83. Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols
    Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad S. Wahby, Fraser Brown, Wenting Zheng · 2023 · IEEE Symposium on Security and Privacy (S&P)
84. Assured Cloud-Based Data Analysis with ClusterBFT
    Julian James Stephen, Patrick Th. Eugster · 2013 · Lecture notes in computer science
85. Personal health records sharing scheme based on attribute based signcryption with data integrity verifiable
    Isaac Amankona Obiri, Qi Xia, Hu Xia, Eric Affum, Abla Smahi, Jianbin Gao · 2021 · Journal of Computer Security
86. A Unified Framework for Non-universal SNARKs
    Helger Lipmaa · 2022 · Lecture notes in computer science
87. VeriBlock: A Novel Blockchain Framework based on Verifiable Computing and Trusted Execution Environment
    Lakshmi Padmaja Maddali, Meena Singh Dilip Thakur, R. Vigneswaran, M A Rajan, Srujana Kanchanapalli, Batsayan Das · 2020 · International Conference on Communication Systems & Networks (COMSNETS)
88. Multi-Party Proof Generation in QAP-Based zk-SNARKs
    Ali Rahimi, Mohammad Ali Maddah-Ali · 2021 · IEEE Journal on Selected Areas in Information Theory
89. Authenticated and Prunable Dictionary for Blockchain-Based VNF Management
    Dongxiao Liu, Cheng Huang, Liang Xue, Jiahui Hou, Xuemin Shen, Weihua Zhuang, Rob Sun, Bidi Ying · 2022 · IEEE Transactions on Wireless Communications
90. Azeroth: Auditable Zero-Knowledge Transactions in Smart Contracts
    Gweonho Jeong, Nuri Lee, Jihye Kim, Hyunok Oh · 2023 · IEEE Access
91. Information Security Maintenance Issues for Big Security-Related Data
    Natalia Georgievna Miloslavskaya, Mikhail Yurievich Senatorov, Alexander I. Tolstoy, Sergey Vladimirovich Zapechnikov · 2014 · International Conference on Future Internet of Things and Cloud (FiCloud)
92. Coeus
    Ishtiyaque Ahmad, Laboni Sarker, Divyakant Agrawal, Amr El Abbadi, Trinabh Gupta · 2021 · ACM SIGOPS Symposium on Operating Systems Principles (SOSP)
93. Cryptography for Big Data Security
    Ariel Hamlin, Nabíl Schear, Emily Shen, Mayank Varia, Sophia Yakoubov, Arkady Yerukhimovich · 2016 · Auerbach Publications eBooks
94. How to prove any NP statement jointly? Efficient Distributed-prover Zero-Knowledge Protocols
    Pankaj S Dayama, Arpita Patra, Protik Paul, Nitin Kumar Singh, Dhinakaran Vinayagamurthy · 2022 · Proceedings on Privacy Enhancing Technologies
95. Privacy-Preserving and Trustless Verifiable Fairness Audit of Machine Learning Models
    Gui Tang, Wuzheng Tan, Mei Cai · 2023 · International Journal of Advanced Computer Science and Applications
96. PandA: Pairings and Arithmetic
    Chitchanok Chuengsatiansup, Michael Naehrig, Pance Ribarski, Peter Schwabe · 2014 · Lecture notes in computer science
97. Privately and Publicly Verifiable Computing Techniques
    Denise Demirel, Lucas Schabhüser, Johannes A Buchmann · 2017 · SpringerBriefs in computer science
98. Verifiable Private Polynomial Evaluation
    Xavier Bultel, Manik Lal Das, Hardik Gajera, David Gérault, Matthieu Giraud, Pascal Lafourcade · 2017 · Lecture notes in computer science
99. IoTPatchPool: Incentivized delivery network of IoT software updates based on proofs-of-distribution
    Oded Leiba, Ron Bitton, Yechiav Yitzchak, Asaf Nadler, Davidoz Kashi, Asaf Shabtai · 2019 · Pervasive and Mobile Computing
100. Leveled Adaptively Strong-Unforgeable Identity-Based Fully Homomorphic Signatures
     Caifen Wang, Bin Wu, Hailong Yao · 2020 · IEEE Access