Cybernetica was granted funding by DARPA (Defense Advanced Research Projects Agency) under PROVENANCE (PROofs and Verifications between governmENts ANd CitizEns) project to bring value to communication between the public and private sector by creating techniques for constructing meaningful zero-knowledge proofs. The goal is to improve government interactions with citizens, companies, and other governments by enabling them to confidentially handle sensitive data.
The first key objective of PROVENANCE is to build proof structures that capture real-world settings, without unreasonable simplifications. This means developing new data encoding techniques and proof structures that make the verification of proof meaningful in the real world. A further goal is to select a proof system where the deployment fits the number of stakeholders and their trust. Once the proof structure and system are known, a tool is needed to translate the statement into the underlying cryptographic constructions.
PROVENANCE is funded by the SIEVE (Securing Information for Encrypted Verification and Evaluation) program. The goal of the program is to enhance the state-of-the-art of zero-knowledge proofs targeting governmental applications.