Module compute

Module compute 

Source
Expand description

Compute engine module (Yata - The Eight-Span Mirror)

This module provides FHE circuit execution on encrypted data using TFHE.

§Architecture

The compute engine consists of four main components:

  • Key Management (keys): Client and server key generation, serialization
  • FHE Operations (operations): Encrypted boolean and integer operations
  • Circuit Compilation (circuit): AST representation and type inference
  • FHE Executor (FheExecutor): Circuit execution engine

§Example

use amaters_core::compute::{FheKeyPair, CircuitBuilder, EncryptedType, FheExecutor};

// Generate keys
let keypair = FheKeyPair::generate()?;
keypair.set_as_global_server_key();

// Build a circuit: a + b
let mut builder = CircuitBuilder::new();
builder.declare_variable("a", EncryptedType::U8)
       .declare_variable("b", EncryptedType::U8);

let a = builder.load("a");
let b = builder.load("b");
let sum = builder.add(a, b);
let circuit = builder.build(sum)?;

// Execute circuit
let executor = FheExecutor::new();
let result = executor.execute(&circuit, &inputs)?;

Re-exports§

pub use circuit::BinaryOperator;
pub use circuit::Circuit;
pub use circuit::CircuitBuilder;
pub use circuit::CircuitNode;
pub use circuit::CircuitValue;
pub use circuit::CompareOperator;
pub use circuit::EncryptedType;
pub use circuit::UnaryOperator;
pub use key_manager::ClientId;
pub use key_manager::KeyManager;
pub use keys::FheKeyPair;
pub use keys::InMemoryKeyStorage;
pub use keys::KeyStorage;
pub use operations::EncryptedBool;
pub use operations::EncryptedU8;
pub use operations::EncryptedU16;
pub use operations::EncryptedU32;
pub use operations::EncryptedU64;
pub use optimizer::CircuitOptimizer;
pub use optimizer::DependencyGraph;
pub use optimizer::NodeId;
pub use optimizer::OptimizationStats;
pub use predicate::PredicateCompiler;
pub use predicate::compile_predicate;

Modules§

circuit
Circuit compilation and optimization
key_manager
FHE Server Key Management
keys
Key management for FHE operations
operations
FHE operations module
optimizer
Advanced circuit optimization for FHE computations
predicate
Predicate-to-FHE-Circuit Compiler

Structs§

FheExecutor
FHE executor for circuit execution

Enums§

GateDeprecated
Circuit gate (legacy - use CircuitNode instead)