Feta
Carsten Baum, Robin Jadoul, Emmanuela Orsini, Peter Schöll, Nigel P. Smart
2022Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security15 citationsDOIOpen Access PDF
Abstract
Zero-Knowledge protocols have increasingly become both popular and practical in recent years due to their applicability in many areas such as blockchain systems. Unfortunately, public verifiability and small proof sizes of zero-knowledge protocols currently come at the price of strong assumptions, large prover time, or both, when considering statements with millions of gates. In this regime, the most prover-efficient protocols are in the designated verifier setting, where proofs are only valid to a single party that must keep a secret state.
Topics & Concepts
Computer scienceCryptography and Data SecurityPrivacy-Preserving Technologies in DataComplexity and Algorithms in Graphs