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.
174 lines
9.1 KiB
Plaintext
174 lines
9.1 KiB
Plaintext
security level: 176
|
|
target p_error: 6.3e-5
|
|
per precision and log norm2:
|
|
|
|
- 1: # bits
|
|
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
|
|
- 0 : 2, 10, 786, 1, 18, 3, 3, 74, 6.1e-5
|
|
- 1 : 2, 10, 786, 1, 18, 3, 3, 74, 6.2e-5
|
|
- 2 : 2, 10, 787, 1, 18, 3, 3, 74, 5.8e-5
|
|
- 3 : 2, 10, 789, 1, 18, 3, 3, 75, 5.7e-5
|
|
- 4 : 2, 10, 798, 1, 18, 3, 3, 75, 6.0e-5
|
|
- 5 : 2, 10, 836, 1, 18, 4, 3, 82, 6.2e-5
|
|
- 6 : 2, 10, 786, 2, 12, 3, 3, 107, 6.1e-5
|
|
- 7 : 2, 10, 786, 2, 12, 3, 3, 107, 6.3e-5
|
|
- 8 : 2, 10, 787, 2, 12, 3, 3, 107, 5.9e-5
|
|
- 9 : 2, 10, 790, 2, 12, 3, 3, 107, 5.6e-5
|
|
- 10: 2, 10, 802, 2, 12, 3, 3, 109, 6.2e-5
|
|
- 11: 2, 10, 747, 3, 9, 5, 2, 138, 5.3e-5
|
|
- 12: 2, 10, 749, 3, 9, 5, 2, 138, 5.5e-5
|
|
- 13: 2, 10, 759, 3, 9, 5, 2, 140, 5.8e-5
|
|
- 14: 3, 10, 813, 2, 15, 3, 3, 156, 5.9e-5
|
|
- 15: 3, 10, 765, 2, 15, 5, 2, 156, 6.0e-5
|
|
- 16: 3, 10, 775, 2, 15, 5, 2, 158, 6.2e-5
|
|
- 17: 3, 10, 763, 3, 12, 5, 2, 201, 5.4e-5
|
|
- 18: 3, 10, 764, 3, 12, 5, 2, 201, 5.3e-5
|
|
- 19: 3, 10, 767, 3, 12, 5, 2, 202, 6.1e-5
|
|
- 20: 3, 10, 789, 3, 12, 5, 2, 207, 6.0e-5
|
|
- 21: 3, 10, 766, 4, 9, 5, 2, 246, 5.8e-5
|
|
- 22: 3, 10, 780, 4, 9, 5, 2, 251, 6.0e-5
|
|
- 23: 3, 10, 771, 5, 8, 5, 2, 293, 5.8e-5
|
|
- 24: 3, 10, 820, 5, 8, 6, 2, 316, 6.2e-5
|
|
- 25: 3, 10, 775, 7, 6, 5, 2, 385, 5.9e-5
|
|
- 26: 3, 10, 792, 8, 5, 5, 2, 440, 6.2e-5
|
|
- 27: 3, 10, 785, 11, 4, 5, 2, 574, 6.0e-5
|
|
- 28: 3, 10, 813, 14, 3, 6, 2, 742, 6.1e-5
|
|
- 29: 3, 10, 843, 22, 2, 12, 1, 1194, 6.3e-5
|
|
# no solution starting from log norm2 = 30
|
|
|
|
- 2: # bits
|
|
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
|
|
- 0 : 2, 10, 834, 1, 18, 4, 3, 82, 5.6e-5
|
|
- 1 : 2, 10, 834, 1, 18, 4, 3, 82, 6.0e-5
|
|
- 2 : 2, 10, 836, 1, 18, 4, 3, 82, 5.4e-5
|
|
- 3 : 2, 10, 842, 1, 18, 4, 3, 82, 5.9e-5
|
|
- 4 : 2, 10, 912, 1, 18, 4, 3, 89, 6.3e-5
|
|
- 5 : 2, 10, 809, 2, 12, 5, 2, 116, 6.2e-5
|
|
- 6 : 2, 10, 834, 2, 12, 4, 3, 116, 5.6e-5
|
|
- 7 : 2, 10, 834, 2, 12, 4, 3, 116, 6.2e-5
|
|
- 8 : 2, 10, 836, 2, 12, 4, 3, 116, 6.0e-5
|
|
- 9 : 2, 10, 845, 2, 12, 4, 3, 117, 5.8e-5
|
|
- 10: 2, 10, 810, 3, 9, 5, 2, 149, 6.2e-5
|
|
- 11: 2, 10, 814, 3, 9, 5, 2, 150, 5.8e-5
|
|
- 12: 2, 10, 848, 3, 9, 4, 3, 152, 5.9e-5
|
|
- 13: 3, 10, 850, 2, 15, 4, 3, 168, 5.3e-5
|
|
- 14: 3, 10, 852, 2, 15, 4, 3, 168, 5.5e-5
|
|
- 15: 3, 10, 862, 2, 15, 4, 3, 170, 6.3e-5
|
|
- 16: 3, 10, 849, 3, 12, 4, 3, 217, 6.0e-5
|
|
- 17: 3, 10, 850, 3, 12, 4, 3, 217, 5.9e-5
|
|
- 18: 3, 10, 854, 3, 12, 4, 3, 218, 5.8e-5
|
|
- 19: 3, 10, 877, 3, 12, 4, 3, 224, 5.9e-5
|
|
- 20: 3, 10, 820, 4, 9, 6, 2, 268, 5.8e-5
|
|
- 21: 3, 10, 834, 4, 9, 6, 2, 272, 5.9e-5
|
|
- 22: 3, 10, 825, 5, 8, 6, 2, 318, 5.7e-5
|
|
- 23: 3, 10, 905, 5, 8, 6, 2, 347, 6.3e-5
|
|
- 24: 3, 10, 829, 7, 6, 6, 2, 416, 5.8e-5
|
|
- 25: 3, 10, 846, 8, 5, 6, 2, 474, 6.0e-5
|
|
- 26: 3, 10, 839, 11, 4, 6, 2, 618, 5.9e-5
|
|
- 27: 3, 10, 884, 14, 3, 6, 2, 806, 6.3e-5
|
|
- 28: 3, 10, 842, 43, 1, 12, 1, 2228, 6.0e-5
|
|
# no solution starting from log norm2 = 29
|
|
|
|
- 3: # bits
|
|
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
|
|
- 0 : 2, 10, 931, 1, 18, 3, 4, 87, 6.2e-5
|
|
- 1 : 2, 10, 933, 1, 18, 3, 4, 87, 6.2e-5
|
|
- 2 : 2, 10, 943, 1, 18, 3, 4, 88, 5.8e-5
|
|
- 3 : 2, 10, 891, 2, 12, 4, 3, 123, 6.3e-5
|
|
- 4 : 2, 10, 891, 2, 12, 4, 3, 123, 6.3e-5
|
|
- 5 : 2, 10, 892, 2, 12, 4, 3, 123, 5.4e-5
|
|
- 6 : 2, 10, 892, 2, 12, 4, 3, 123, 6.0e-5
|
|
- 7 : 2, 10, 895, 2, 12, 4, 3, 124, 5.5e-5
|
|
- 8 : 2, 10, 907, 2, 12, 4, 3, 125, 6.0e-5
|
|
- 9 : 2, 10, 892, 3, 9, 4, 3, 160, 6.2e-5
|
|
- 10: 2, 10, 895, 3, 9, 4, 3, 160, 6.3e-5
|
|
- 11: 2, 10, 912, 3, 9, 4, 3, 163, 5.9e-5
|
|
- 12: 3, 10, 909, 2, 15, 4, 3, 178, 6.1e-5
|
|
- 13: 3, 10, 912, 2, 15, 4, 3, 179, 6.2e-5
|
|
- 14: 3, 10, 929, 2, 15, 4, 3, 182, 6.0e-5
|
|
- 15: 3, 10, 909, 3, 12, 4, 3, 232, 5.5e-5
|
|
- 16: 3, 10, 910, 3, 12, 4, 3, 232, 5.8e-5
|
|
- 17: 3, 10, 916, 3, 12, 4, 3, 233, 5.5e-5
|
|
- 18: 3, 10, 961, 3, 12, 4, 3, 244, 6.2e-5
|
|
- 19: 3, 10, 914, 4, 9, 4, 3, 286, 5.5e-5
|
|
- 20: 3, 10, 938, 4, 9, 4, 3, 294, 6.1e-5
|
|
- 21: 3, 10, 888, 5, 8, 6, 2, 341, 5.9e-5
|
|
- 22: 3, 10, 891, 6, 7, 6, 2, 394, 5.9e-5
|
|
- 23: 3, 10, 894, 7, 6, 6, 2, 448, 6.3e-5
|
|
- 24: 3, 10, 916, 8, 5, 7, 2, 518, 6.1e-5
|
|
- 25: 3, 10, 905, 11, 4, 7, 2, 671, 6.0e-5
|
|
- 26: 3, 10, 930, 15, 3, 7, 2, 907, 6.1e-5
|
|
- 27: 3, 10, 895, 44, 1, 13, 1, 2426, 6.0e-5
|
|
# no solution starting from log norm2 = 28
|
|
|
|
- 4: # bits
|
|
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
|
|
- 0 : 2, 10, 984, 1, 18, 5, 3, 99, 6.3e-5
|
|
- 1 : 2, 10, 985, 1, 18, 7, 2, 107, 6.2e-5
|
|
- 2 : 2, 10, 978, 2, 12, 5, 3, 138, 5.9e-5
|
|
- 3 : 2, 10, 978, 2, 12, 5, 3, 138, 6.0e-5
|
|
- 4 : 2, 10, 978, 2, 12, 5, 3, 138, 6.2e-5
|
|
- 5 : 2, 10, 980, 2, 12, 5, 3, 139, 6.0e-5
|
|
- 6 : 2, 10, 987, 2, 12, 5, 3, 140, 6.0e-5
|
|
- 7 : 1, 11, 965, 2, 12, 5, 3, 177, 5.7e-5
|
|
- 8 : 2, 10, 980, 3, 9, 5, 3, 179, 6.2e-5
|
|
- 9 : 2, 10, 989, 3, 9, 5, 3, 180, 6.2e-5
|
|
- 10: 3, 10, 994, 2, 15, 5, 3, 200, 6.2e-5
|
|
- 11: 3, 10, 996, 2, 15, 5, 3, 200, 6.2e-5
|
|
- 12: 3, 10, 1005, 2, 15, 5, 3, 202, 6.2e-5
|
|
- 13: 3, 10, 994, 3, 12, 5, 3, 258, 6.1e-5
|
|
- 14: 3, 10, 995, 3, 12, 5, 3, 258, 6.0e-5
|
|
- 15: 3, 10, 998, 3, 12, 5, 3, 259, 6.1e-5
|
|
- 16: 3, 10, 1016, 3, 12, 5, 3, 264, 6.3e-5
|
|
- 17: 3, 10, 997, 4, 9, 5, 3, 317, 6.1e-5
|
|
- 18: 3, 10, 1009, 4, 9, 5, 3, 321, 6.2e-5
|
|
- 19: 3, 10, 966, 5, 8, 7, 2, 376, 6.2e-5
|
|
- 20: 3, 10, 1020, 5, 8, 7, 2, 396, 6.3e-5
|
|
- 21: 3, 10, 969, 7, 6, 7, 2, 490, 6.3e-5
|
|
- 22: 3, 10, 983, 8, 5, 7, 2, 555, 6.2e-5
|
|
- 23: 3, 10, 977, 11, 4, 7, 2, 723, 6.3e-5
|
|
- 24: 3, 10, 1001, 14, 3, 8, 2, 923, 6.3e-5
|
|
- 25: 3, 10, 1008, 22, 2, 15, 1, 1443, 6.3e-5
|
|
# no solution starting from log norm2 = 26
|
|
|
|
- 5: # bits
|
|
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
|
|
- 0 : 1, 11, 1004, 2, 12, 7, 2, 192, 6.3e-5
|
|
- 1 : 1, 11, 1004, 2, 12, 7, 2, 192, 6.3e-5
|
|
- 2 : 1, 11, 1004, 2, 12, 7, 2, 192, 6.3e-5
|
|
- 3 : 1, 11, 1005, 2, 12, 7, 2, 192, 6.2e-5
|
|
- 4 : 1, 11, 1008, 2, 12, 7, 2, 193, 6.1e-5
|
|
- 5 : 1, 11, 1021, 2, 12, 7, 2, 195, 6.2e-5
|
|
- 6 : 1, 11, 1005, 3, 9, 7, 2, 247, 6.3e-5
|
|
- 7 : 1, 11, 1009, 3, 9, 7, 2, 248, 6.1e-5
|
|
- 8 : 1, 11, 1015, 3, 9, 8, 2, 253, 6.1e-5
|
|
- 9 : 1, 11, 1016, 4, 7, 7, 2, 305, 6.1e-5
|
|
- 10: 1, 11, 1011, 5, 6, 7, 2, 359, 6.1e-5
|
|
- 11: 1, 11, 1024, 5, 6, 8, 2, 368, 6.2e-5
|
|
- 12: 2, 11, 1013, 3, 12, 15, 1, 473, 6.2e-5
|
|
- 13: 2, 11, 1015, 3, 12, 15, 1, 474, 6.2e-5
|
|
- 14: 2, 11, 1022, 3, 12, 16, 1, 485, 6.1e-5
|
|
- 15: 1, 12, 1017, 3, 12, 8, 2, 540, 5.8e-5
|
|
- 16: 2, 11, 1019, 4, 9, 15, 1, 565, 6.2e-5
|
|
- 17: 1, 12, 1009, 4, 9, 7, 2, 646, 6.2e-5
|
|
- 18: 2, 11, 1018, 6, 7, 15, 1, 743, 6.1e-5
|
|
- 19: 2, 11, 1019, 7, 6, 15, 1, 834, 6.1e-5
|
|
- 20: 2, 11, 1023, 8, 5, 15, 1, 927, 6.3e-5
|
|
- 21: 1, 12, 1012, 8, 5, 8, 2, 1130, 6.1e-5
|
|
- 22: 1, 12, 1013, 11, 4, 8, 2, 1488, 6.3e-5
|
|
- 23: 1, 12, 1019, 14, 3, 15, 1, 1910, 6.1e-5
|
|
- 24: 1, 12, 1005, 43, 1, 15, 1, 5300, 6.2e-5
|
|
# no solution starting from log norm2 = 25
|
|
|
|
- 6: # bits
|
|
# no solution at all
|
|
|
|
- 7: # bits
|
|
# no solution at all
|
|
|
|
- 8: # bits
|
|
# no solution at all
|
|
|
|
- 9: # bits
|
|
# no solution at all
|