BOOK-CHAPTER
Efficient Proof Composition for Verifiable Computation
Julien KeufferRefik MolvaHervé Chabanne
Year: 2018 Lecture notes in computer science Pages: 152-171 Publisher: Springer Science+Business Media
Keywords:
Computer science Correctness Verifiable secret sharing Soundness Mathematical proof Protocol (science) Scheme (mathematics) Outsourcing Gas meter prover Cryptography Theoretical computer science Sequence (biology) Distributed computing Computation Secure multi-party computation Automated theorem proving Algorithm Programming language
Metrics
14
Cited By
0.87
FWCI (Field Weighted Citation Impact)
20
Refs
0.75
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Cryptography and Data Security
Physical Sciences → Computer Science → Artificial Intelligence
Blockchain Technology Applications and Security
Physical Sciences → Computer Science → Information Systems
Complexity and Algorithms in Graphs
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
PROOF: Decentralized Platform for Verifiable Outsourced Computation
Spiros GrigoratosKaterina DokaNectarios Koziris
Year: 2024 Pages: 11-12
JOURNAL ARTICLE
Efficient and Verifiable Proof of Replicated Storage
Tao JiangFang HeYinbin MiaoXinghua LiJianfeng MaRobert H. Deng
Journal: IEEE Transactions on Information Forensics and Security Year: 2025 Vol: 20 Pages: 12723-12738
JOURNAL ARTICLE
Efficient verifiable computation over quotient polynomial rings
Jai Hyun ParkJung Hee CheonDongwoo Kim
Journal: International Journal of Information Security Year: 2022 Vol: 21 (5)Pages: 953-971
JOURNAL ARTICLE
xJsnark: A Framework for Efficient Verifiable Computation
Ahmed E. KosbaCharalampos PapamanthouElaine Shi
Year: 2018 Pages: 944-961
JOURNAL ARTICLE
Efficient Techniques for Publicly Verifiable Delegation of Computation
Kaoutar ElkhiyaouiMelek ÖnenMonir AzraouiRefik Molva
Year: 2016 Pages: 119-128