Sight AI
  • 👋Overview
    • đŸĨFHE
    • 🍍The Problem
  • 🍇Sight Oracle
    • 💡Concepts
      • 🍉Architecture
      • 📔Contract
      • 🟠Decentralized Oracle Node Network
      • 📠FHE Compute Execution Virtual Machine
      • 📃RequestBuilder
    • ⏊Supported Networks
  • Sight Contracts
    • Getting Started
    • Understanding Request Model
  • SIGHT.JS
    • Getting Started
    • Make an encrypt value - CLI
    • Make an encrypt value - Frontend
  • â„šī¸Tutorial
    • Environment Setup
      • Prerequisite
      • Setup Local Development Environment
      • Fund Local Wallet
    • 👷Create Your First dAPP using Hardhat
    • đŸ› ī¸Create Your First dAPP using Foundry
    • 🎲Create a Crypto Pusher Game
      • Contract
      • Interface
    • 📄Remix FHE Demo Local Deployment Tutorial- Preparation
    • 📄Remix FHE Demo Local Deployment Tutorial- Deploying Contracts Using Remix
    • 📄Remix FHE Demo Local Deployment Tutorial- Contracts Explanation&Interaction
  • 🔎Research
    • ✅Verifiable FHE
    • 🌟SPARC
    • 📅Research Updates
  • 🍓Innovative Use Cases and dApps
    • đŸĨĨFHE On-Chain Game
    • A Fairer Prediction Markets with Sight Oracle
  • đŸģRoadmap
  • 🎨Community
    • Website
    • Twitter
    • Telegram
    • Github
  • Sight Incentive Plan - Season 1
  • Sight Incentive Plan - Season 2
Powered by GitBook
On this page
  • Why "verifiable" so important for FHE
  • What are the challenges
  • Solution
  1. Research

Verifiable FHE

Why "verifiable" so important for FHE

In the context of remote / delegated computation, FHE ensures privacy but NOT integrity. For instance, imagine a scenario where a computing node asserts it has generated an output using the LLAMA-70B model, yet in reality, it ran the computation with the LLAMA-7B model.

What are the challenges

ZK-SNARK provides natural solution for verifiability. However, challenge arises when integrating FHE and ZK-SNARK. The efficiency is far from satisfactory due to their different mathematical structures. FHE is built on ring structures while ZK-SNARKs runs on fields; this disparity results in poor performance.

Solution

We've been working on developing SPARC (Structure Preserved ARguments of Computation). It is a high performance proof system optimized for scenarios where the computational structure has unique characteristics. It is designed to preserve the inherent structure of these computations, resulting in more efficient proof generation.

Refer to SPARC for more details.

PreviousResearchNextSPARC

Last updated 10 months ago

🔎
âœ