Combining zkps with FHE to replace bootstrapping.

[NOOMA-42]

Open Task RFP for Combining zkps with FHE to replace bootstrapping.

Executive Summary

• Project Overview: Combining zkps with FHE to replace bootstrapping.
• Detail: There’s one issue that’s inherent in FHE, that is the problem of noise accumulation. After every operation the noise in ciphertext grows. If the noise exceeds a certain threshold, it results in decryption failure. To allow unlimited operations, we can use something called bootstrapping. But bootstrapping is expensive. Alternatively, we can ZKPs with FHE to avoid bootstrapping. The idea is simple. After certain number of operations the server sends the ciphertext back to the client. The client decrypts the cipher text and re-encrypts (hence reducing noise) and sends it back to server along with correct zk-proof of decryption and re-encryption. The server then carries on with the computation. This adds interaction, but can be useful in some applications.

Project Details

• Scope of Work: PoC, Blog Post or Spec on HackMd
• Expected Outcomes: Design several test case to pass roundtrip test
• Technical Requirements: FHE

Qualifications

• Skills Required: FHE
• Preferred Qualifications: N/A

Administrative Details

• Grant Liaison(s): Name, GitHub, email of the person(s) responsible for evaluating and keeping track of this project.
• Estimated Project Duration: Applicant may estimate
• Project Complexity: Medium

Additional Information

• Relevant Tags: FHE
• Reference Material:
  1. https://github.com/yuriko627/zk-fhe-playground

Submission Details

• Proposal Deadline: The deadline for submitting proposals is the end of this round of the Acceleration Program. Refer to current round
• Submission Instructions: Please submit your proposal as an issue and link back to this issue in your proposal. Refer to proposal template for more details.