deksprime/VC-FHE

Verifiable Computing Using Computation Fingerprint Within FHE

Verifiable Computing Using Computation Fingerprint Within FHE

This is a sample repository, implementing 3 code examples survyed in the VC-FHE article

• Impossibility LUT (HELib)
• Basic Fingerprint (Microsoft SEAL)
• SIMD Fingerprint (Microsoft SEAL)

The code samples are using FHE, and supplement with an output file.

For more information about the techniques used and their benfits, read the article.

Arseni Kalma