«

»

Muthu Venkitasubramaniam

Ligero: Lightweight sublinear zero-knowledge arguments without a trusted setup
Muthu Venkitasubramaniam

Succinct non-interactive ZK argument of knowledge or zk-SNARKs, a variant of ZK proof systems, have recently gained a lot of attention as a tool that enables anonymity and integrity in blockchain technologies and forms the backbone of the Zcash cryptocurrency. However, the current (efficient) solutions either rely on trusted setup (i.e. not transparent) or make heavy use of public-key primitives and/or complex combinatorial objects (eg, probabilistically checkable proofs). I will survey recent results and describe some recent work on highly efficient transparent zk-SNARKs that avoid heavy public-key machinery and trusted setup. I will describe several applications for blockchain technologies and general secure computation where our zero-knowledge argument will improve the state-of-the-art and present some on-going work.