mirror of
https://github.com/luxfhe/torus.git
synced 2026-10-30 17:07:26 +00:00
zeekay
b832ba2c39
Forked from upstream concrete (BSD-3-Clause-Clear, © 2024 ZAMA) at HEAD
ecb729bb. Modifications copyright © 2026 Lux Industries Inc.
Rebranding scope:
- Python module concrete → torus (across frontends/torus-python)
- Rust module concrete-* → torus-* (across frontends/torus-rust)
- MLIR dialect concretelang → toruslang (across compilers/torus-compiler)
- Compiler optimizer concrete-optimizer → torus-optimizer
- Backend concrete-cpu / concrete-cuda → torus-cpu / torus-cuda
- Wire protocol concrete-protocol → torus-protocol
- Parameter-curves concrete-security-curves-* → torus-security-curves-*
- Public symbols concretelib → toruslib, ConcreteLang → TorusLang
- URLs github.com/zama-ai/concrete → github.com/luxfhe/torus
- URLs docs.zama.ai/concrete → docs.luxfhe.com/torus
Legal compliance:
- LICENSE.txt retains original Copyright © 2024 ZAMA verbatim (§1-§2)
- LICENSE.txt adds modifications copyright © 2026 Lux Industries Inc.
- §3 endorsement clause: Torus is marketed exclusively as a Lux product;
no Zama name used in README, docs, or marketing
- NOTICE file provides factual attribution per legal best practice
(not endorsement; required by upstream BSD-3-Clause-Clear)
README + NOTICE rewritten from scratch with Lux brand:
- Quick-start in Python (torus.fhe)
- Architecture diagram showing the gen-1 vtbl integration path
(luxcpp/gpu → lux-private/gpu-kernels for CUDA/Metal/WebGPU)
- Scheme coverage table: TFHE (luxfi/fhe), CKKS/BGV/BFV (luxfi/lattice)
- Lux FHE family table: Torus / TorusVM / TorusEVM / TorusML / TorusNet
Known limitations (phase-2A scope):
- PyPI package torus-fhe not yet published; the torus Python module
is renamed structurally but pip-installable distribution is a
follow-up (Phase 2A.1)
- MLIR dialect rename is text-level; the compiler-internal LLVM
rebuild (concrete-compiler-internal-llvm-project submodule) is
structural and works; tablegen files renamed concrete→torus but the
generated .inc files in the source tree will regenerate at build
time
- backends/torus-cuda/implementation/ is an upstream submodule
pointer to the tfhe-rs source (not fetched in the staging clone);
the CUDA backend body is delivered out-of-tree
- ~100 test-fixture variable names like concrete_encoded_sample
retain "concrete" as a math term (vs symbolic); these are inside
tests/, not the public API; cleanup is a follow-up commit
- 295 Python `from concrete import ...` residuals in luxfhe/ml-sdk
consumer remain; that repo's import update is Phase 2B
This commit is the seed for the luxfhe/torus repo. Push as the first
commit to a fresh GitHub repo; do not re-import upstream Zama git
history.
89 lines
2.3 KiB
Rust
89 lines
2.3 KiB
Rust
use criterion::{black_box, criterion_group, criterion_main, Criterion};
|
|
use v0_parameters::{all_results, Args, MAX_LWE_DIM, MIN_LWE_DIM, _4_SIGMA};
|
|
|
|
fn v0_pbs_optimization(c: &mut Criterion) {
|
|
let args: Args = Args {
|
|
min_precision: 1,
|
|
max_precision: 8,
|
|
p_error: _4_SIGMA,
|
|
security_level: 128,
|
|
min_log_poly_size: 8,
|
|
max_log_poly_size: 16,
|
|
min_glwe_dim: 1,
|
|
max_glwe_dim: 1,
|
|
min_intern_lwe_dim: MIN_LWE_DIM,
|
|
max_intern_lwe_dim: MAX_LWE_DIM,
|
|
sum_size: 4096,
|
|
no_parallelize: true,
|
|
wop_pbs: false,
|
|
simulate_dag: false,
|
|
cache_on_disk: true,
|
|
ciphertext_modulus_log: 64,
|
|
fft_precision: 53,
|
|
};
|
|
|
|
c.bench_function("v0 PBS table generation", |b| {
|
|
b.iter(|| black_box(all_results(&args)))
|
|
});
|
|
}
|
|
|
|
fn v0_pbs_optimization_simulate_graph(c: &mut Criterion) {
|
|
let args: Args = Args {
|
|
min_precision: 1,
|
|
max_precision: 8,
|
|
p_error: _4_SIGMA,
|
|
security_level: 128,
|
|
min_log_poly_size: 8,
|
|
max_log_poly_size: 16,
|
|
min_glwe_dim: 1,
|
|
max_glwe_dim: 1,
|
|
min_intern_lwe_dim: MIN_LWE_DIM,
|
|
max_intern_lwe_dim: MAX_LWE_DIM,
|
|
sum_size: 4096,
|
|
no_parallelize: true,
|
|
wop_pbs: false,
|
|
simulate_dag: true,
|
|
cache_on_disk: true,
|
|
ciphertext_modulus_log: 64,
|
|
fft_precision: 53,
|
|
};
|
|
|
|
c.bench_function("v0 PBS simulate dag table generation", |b| {
|
|
b.iter(|| black_box(all_results(&args)))
|
|
});
|
|
}
|
|
|
|
fn v0_wop_pbs_optimization(c: &mut Criterion) {
|
|
let args = Args {
|
|
min_precision: 1,
|
|
max_precision: 16,
|
|
p_error: _4_SIGMA,
|
|
security_level: 128,
|
|
min_log_poly_size: 10,
|
|
max_log_poly_size: 11,
|
|
min_glwe_dim: 1,
|
|
max_glwe_dim: 2,
|
|
min_intern_lwe_dim: 450,
|
|
max_intern_lwe_dim: 600,
|
|
sum_size: 4096,
|
|
no_parallelize: true,
|
|
wop_pbs: true,
|
|
simulate_dag: false,
|
|
cache_on_disk: true,
|
|
ciphertext_modulus_log: 64,
|
|
fft_precision: 53,
|
|
};
|
|
|
|
c.bench_function("v0 WoP-PBS table generation", |b| {
|
|
b.iter(|| black_box(all_results(&args)))
|
|
});
|
|
}
|
|
|
|
criterion_group!(
|
|
benches,
|
|
v0_pbs_optimization,
|
|
v0_pbs_optimization_simulate_graph,
|
|
v0_wop_pbs_optimization
|
|
);
|
|
criterion_main!(benches);
|