Cryptographic proofs and accompanying data structures for privacy-preserving protocols in emerging applications cryptographic proofs and accompanying data structures for privacy-preserving protocols in emerging applications
Implementing Organization
Indian Institute of Science
Principal Investigator
Dr Chaya Ganesh
Assistant Professor
|
Indian Institute of Science
About
A broad goal of the proposed project is to study proof systems in the context of pertinent applications like Blockchain and Machine Learning.
In this project, new zero-knowledge proof systems will be developed focusing on the following: 1) Efficiency parameters (i) Succinctness of the proof (ii) Efficient verifier complexity(iii) Low overhead of the prover compared to native computation 2) Stronger security properties (i) Subversion-resistance (ii) Composable Security 3) Accompanying data structures that are co-designed with the techniques of the proof system leading to better efficiency of the overall proof system.