EMPHASIZE: End-to-end Machinery for Proving Highly sensitive Application-oriented Statements In ZEro-knowledge
Co-Principal Investigator of the End-to-end Machinery for Proving Highly sensitive Application-oriented Statements In ZEro-knowledge (EMPHASIZE) project, part of the Securing Information for Encrypted Verification and Evaluation (SIEVE) DARPA program.
EMPHASIZE focus on the development and deployment of machine-checked, formally verified implementations of zero-knowledge proof protocols, with particular emphasize on the efficiency of the final implementations.