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§
- Gate
Deprecated - Circuit gate (legacy - use CircuitNode instead)