Final Report Summary - ECAP (Efficient Cryptographic Arguments and Proofs)
In ECAP we have developed several new paradigms for constructing zero-knowledge proofs. As a result, we have obtained zero-knowledge proofs that are much more efficient to compute for the prover, much more efficient to check for the verifier, and require very little communication. Our theoretical work shows in several cases that our constructions are provably optimal.
Our practical work has yielded several highly efficient and applicable zero-knowledge proofs. There is already at this early stage widespread adoption of our techniques, in particular by companies in the blockchain space.