Proof Composition is a cryptographic framework within zero-knowledge proof systems that enables the combination of multiple proofs into a single, succinct proof while preserving the zero-knowledge property and ensuring computational soundness.
28
Publications
1K
Citations
66
Authors
37
Institutions
Publications per year
2017–2026
9
Parents
Publications
28
Matteo Campanelli, Dario Fiore, Anaïs Querol · 2019 · 146 citations
Distributed Proving in Access-Control Systems
Lujo Bauer, Scott Garriss, Michael K. Reiter · 2005 · 111 citations
The power of parameterization in coinductive proof
Chung-Kil Hur, Georg Neis, Derek Dreyer et al. · 2013 · 98 citations
1–5 of 28
Authors
66
- DD
3
h-index
- SR
2
h-index
- AL
2
h-index
- GN
2
h-index
- VV
2
h-index
1–5 of 66
Institutions
37
Max Planck Institute for Software Systems
Saarbrücken, Germany
3 h-index
8 publications
376 citations
ETH Zurich
Zurich, Switzerland
2 h-index
6 publications
171 citations
Saarland University
Saarbrücken, Germany
2 h-index
2 publications
116 citations
Carnegie Mellon University
Pittsburgh, United States
2 h-index
4 publications
392 citations
Technion – Israel Institute of Technology
Haifa, Israel
2 h-index
2 publications
39 citations
Microsoft Research (United Kingdom)
Cambridge, United Kingdom
2 h-index
2 publications
116 citations
Roma Tre University
Rome, Italy
1 h-index
1 publications
10 citations
New York University
New York, United States
1 h-index
2 publications
118 citations
1–8 of 37
Venues
- Journal of Automated Reasoning
2 publications · 35 citations
2
h-index
- IACR Cryptology ePrint Archive
Repository · 2 publications · 54 citations
2
h-index
- Proceedings of the ACM on Programming Languages
PACMPL · 2 publications · 29 citations
2
h-index
- ACM SIGPLAN Notices
1 publications · 18 citations
1
h-index
- arXiv (Cornell University)
Repository · 1 publications · 12 citations
1
h-index
1–5