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.
198 lines
10 KiB
Plaintext
198 lines
10 KiB
Plaintext
security level: 160
|
|
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, 725, 1, 20, 3, 3, 69, 6.2e-5
|
|
- 1 : 2, 10, 725, 1, 20, 3, 3, 69, 6.2e-5
|
|
- 2 : 2, 10, 725, 1, 20, 3, 3, 69, 6.3e-5
|
|
- 3 : 2, 10, 726, 1, 20, 3, 3, 69, 5.4e-5
|
|
- 4 : 2, 10, 726, 1, 20, 3, 3, 69, 5.8e-5
|
|
- 5 : 2, 10, 728, 1, 20, 3, 3, 69, 5.8e-5
|
|
- 6 : 2, 10, 737, 1, 20, 3, 3, 70, 6.2e-5
|
|
- 7 : 2, 10, 787, 1, 20, 4, 3, 77, 6.3e-5
|
|
- 8 : 2, 10, 725, 2, 13, 3, 3, 99, 6.2e-5
|
|
- 9 : 2, 10, 726, 2, 13, 3, 3, 99, 5.4e-5
|
|
- 10: 2, 10, 726, 2, 13, 3, 3, 99, 5.7e-5
|
|
- 11: 2, 10, 727, 2, 13, 3, 3, 99, 6.3e-5
|
|
- 12: 2, 10, 735, 2, 13, 3, 3, 100, 5.6e-5
|
|
- 13: 2, 10, 728, 2, 13, 5, 2, 105, 6.0e-5
|
|
- 14: 2, 10, 689, 3, 10, 5, 2, 128, 6.1e-5
|
|
- 15: 2, 10, 692, 3, 10, 5, 2, 128, 5.4e-5
|
|
- 16: 2, 10, 704, 3, 10, 5, 2, 131, 6.0e-5
|
|
- 17: 2, 10, 693, 4, 8, 5, 2, 157, 5.2e-5
|
|
- 18: 2, 10, 709, 4, 8, 5, 2, 161, 6.0e-5
|
|
- 19: 3, 10, 708, 3, 12, 5, 2, 187, 5.4e-5
|
|
- 20: 3, 10, 725, 3, 12, 5, 2, 191, 6.0e-5
|
|
- 21: 3, 10, 707, 4, 9, 5, 2, 228, 5.3e-5
|
|
- 22: 3, 10, 718, 4, 9, 5, 2, 232, 6.0e-5
|
|
- 23: 3, 10, 711, 5, 8, 5, 2, 271, 5.4e-5
|
|
- 24: 3, 10, 747, 5, 8, 6, 2, 289, 6.1e-5
|
|
- 25: 3, 10, 775, 6, 7, 6, 2, 345, 6.2e-5
|
|
- 26: 3, 10, 728, 8, 5, 5, 2, 405, 5.8e-5
|
|
- 27: 3, 10, 722, 11, 4, 5, 2, 529, 6.0e-5
|
|
- 28: 3, 10, 742, 14, 3, 6, 2, 678, 6.3e-5
|
|
- 29: 3, 10, 766, 22, 2, 6, 2, 1059, 6.2e-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, 769, 1, 20, 4, 3, 76, 5.4e-5
|
|
- 1 : 2, 10, 769, 1, 20, 4, 3, 76, 5.5e-5
|
|
- 2 : 2, 10, 769, 1, 20, 4, 3, 76, 5.6e-5
|
|
- 3 : 2, 10, 769, 1, 20, 4, 3, 76, 6.1e-5
|
|
- 4 : 2, 10, 771, 1, 20, 4, 3, 76, 5.3e-5
|
|
- 5 : 2, 10, 777, 1, 20, 4, 3, 77, 6.0e-5
|
|
- 6 : 2, 10, 834, 1, 20, 7, 2, 91, 6.3e-5
|
|
- 7 : 2, 10, 746, 2, 13, 5, 2, 107, 6.3e-5
|
|
- 8 : 2, 10, 769, 2, 13, 4, 3, 107, 5.6e-5
|
|
- 9 : 2, 10, 769, 2, 13, 4, 3, 107, 6.0e-5
|
|
- 10: 2, 10, 770, 2, 13, 4, 3, 108, 6.1e-5
|
|
- 11: 2, 10, 775, 2, 13, 4, 3, 108, 6.2e-5
|
|
- 12: 2, 10, 814, 2, 13, 4, 3, 113, 6.3e-5
|
|
- 13: 2, 10, 748, 3, 10, 5, 2, 138, 5.5e-5
|
|
- 14: 2, 10, 752, 3, 10, 5, 2, 139, 5.5e-5
|
|
- 15: 2, 10, 786, 3, 10, 4, 3, 142, 5.9e-5
|
|
- 16: 2, 10, 753, 4, 8, 5, 2, 170, 5.8e-5
|
|
- 17: 2, 10, 761, 4, 8, 6, 2, 175, 5.7e-5
|
|
- 18: 3, 10, 787, 3, 12, 4, 3, 202, 5.6e-5
|
|
- 19: 3, 10, 805, 3, 12, 4, 3, 206, 6.0e-5
|
|
- 20: 3, 10, 756, 4, 9, 6, 2, 248, 5.7e-5
|
|
- 21: 3, 10, 767, 4, 9, 6, 2, 251, 6.2e-5
|
|
- 22: 3, 10, 760, 5, 8, 6, 2, 294, 5.8e-5
|
|
- 23: 3, 10, 809, 5, 8, 6, 2, 312, 6.1e-5
|
|
- 24: 3, 10, 763, 7, 6, 6, 2, 384, 6.1e-5
|
|
- 25: 3, 10, 777, 8, 5, 6, 2, 436, 5.8e-5
|
|
- 26: 3, 10, 771, 11, 4, 6, 2, 569, 6.1e-5
|
|
- 27: 3, 10, 801, 14, 3, 6, 2, 731, 6.1e-5
|
|
- 28: 3, 10, 834, 22, 2, 13, 1, 1186, 6.3e-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, 857, 1, 20, 3, 4, 80, 6.0e-5
|
|
- 1 : 2, 10, 857, 1, 20, 3, 4, 80, 6.1e-5
|
|
- 2 : 2, 10, 858, 1, 20, 3, 4, 80, 5.5e-5
|
|
- 3 : 2, 10, 860, 1, 20, 3, 4, 81, 5.5e-5
|
|
- 4 : 2, 10, 869, 1, 20, 3, 4, 81, 6.1e-5
|
|
- 5 : 2, 10, 821, 2, 13, 4, 3, 114, 6.0e-5
|
|
- 6 : 2, 10, 821, 2, 13, 4, 3, 114, 6.0e-5
|
|
- 7 : 2, 10, 821, 2, 13, 4, 3, 114, 6.1e-5
|
|
- 8 : 2, 10, 822, 2, 13, 4, 3, 114, 5.4e-5
|
|
- 9 : 2, 10, 823, 2, 13, 4, 3, 114, 6.0e-5
|
|
- 10: 2, 10, 830, 2, 13, 4, 3, 115, 5.8e-5
|
|
- 11: 2, 10, 863, 2, 13, 7, 2, 130, 6.2e-5
|
|
- 12: 2, 10, 822, 3, 10, 4, 3, 148, 6.1e-5
|
|
- 13: 2, 10, 826, 3, 10, 4, 3, 149, 5.6e-5
|
|
- 14: 2, 10, 846, 3, 10, 4, 3, 152, 6.2e-5
|
|
- 15: 2, 10, 797, 4, 8, 6, 2, 183, 5.6e-5
|
|
- 16: 2, 10, 824, 4, 8, 6, 2, 189, 6.1e-5
|
|
- 17: 3, 10, 843, 3, 12, 4, 3, 216, 5.4e-5
|
|
- 18: 3, 10, 875, 3, 12, 4, 3, 223, 6.1e-5
|
|
- 19: 3, 10, 841, 4, 9, 4, 3, 264, 5.8e-5
|
|
- 20: 3, 10, 860, 4, 9, 4, 3, 270, 6.0e-5
|
|
- 21: 3, 10, 817, 5, 8, 6, 2, 315, 5.7e-5
|
|
- 22: 3, 10, 819, 6, 7, 6, 2, 363, 5.9e-5
|
|
- 23: 3, 10, 822, 7, 6, 6, 2, 413, 5.8e-5
|
|
- 24: 3, 10, 838, 8, 5, 7, 2, 475, 5.9e-5
|
|
- 25: 3, 10, 836, 11, 4, 6, 2, 616, 6.0e-5
|
|
- 26: 3, 10, 846, 15, 3, 7, 2, 826, 6.2e-5
|
|
- 27: 3, 10, 819, 44, 1, 13, 1, 2221, 6.2e-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, 975, 1, 20, 3, 5, 90, 6.0e-5
|
|
- 1 : 2, 10, 976, 1, 20, 3, 5, 90, 6.2e-5
|
|
- 2 : 2, 10, 982, 1, 20, 3, 5, 91, 6.1e-5
|
|
- 3 : 2, 10, 933, 1, 20, 5, 3, 94, 6.3e-5
|
|
- 4 : 2, 10, 896, 2, 13, 5, 3, 127, 6.1e-5
|
|
- 5 : 2, 10, 896, 2, 13, 5, 3, 127, 6.1e-5
|
|
- 6 : 2, 10, 896, 2, 13, 5, 3, 127, 6.2e-5
|
|
- 7 : 2, 10, 897, 2, 13, 5, 3, 128, 6.1e-5
|
|
- 8 : 2, 10, 900, 2, 13, 5, 3, 128, 6.3e-5
|
|
- 9 : 2, 10, 921, 2, 13, 5, 3, 131, 6.1e-5
|
|
- 10: 2, 10, 897, 3, 10, 5, 3, 164, 5.8e-5
|
|
- 11: 2, 10, 898, 3, 10, 5, 3, 165, 6.3e-5
|
|
- 12: 2, 10, 907, 3, 10, 5, 3, 166, 6.2e-5
|
|
- 13: 2, 10, 866, 4, 8, 7, 2, 201, 6.3e-5
|
|
- 14: 2, 10, 877, 4, 8, 7, 2, 204, 6.2e-5
|
|
- 15: 3, 10, 913, 3, 12, 5, 3, 238, 6.3e-5
|
|
- 16: 3, 10, 925, 3, 12, 5, 3, 241, 6.1e-5
|
|
- 17: 3, 10, 913, 4, 9, 5, 3, 292, 5.9e-5
|
|
- 18: 3, 10, 921, 4, 9, 5, 3, 294, 6.0e-5
|
|
- 19: 3, 10, 884, 5, 8, 7, 2, 345, 6.0e-5
|
|
- 20: 3, 10, 908, 5, 8, 7, 2, 354, 6.3e-5
|
|
- 21: 3, 10, 921, 6, 7, 7, 2, 413, 6.2e-5
|
|
- 22: 3, 10, 936, 7, 6, 8, 2, 480, 6.3e-5
|
|
- 23: 3, 10, 891, 11, 4, 7, 2, 661, 6.1e-5
|
|
- 24: 3, 10, 906, 14, 3, 7, 2, 831, 6.1e-5
|
|
- 25: 3, 10, 917, 22, 2, 7, 2, 1271, 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, 948, 1, 20, 5, 3, 122, 6.1e-5
|
|
- 1 : 1, 11, 954, 1, 20, 5, 3, 123, 6.2e-5
|
|
- 2 : 1, 11, 982, 1, 20, 8, 2, 138, 6.3e-5
|
|
- 3 : 1, 11, 946, 2, 13, 5, 3, 174, 6.2e-5
|
|
- 4 : 1, 11, 946, 2, 13, 5, 3, 174, 6.2e-5
|
|
- 5 : 1, 11, 947, 2, 13, 5, 3, 174, 5.8e-5
|
|
- 6 : 1, 11, 948, 2, 13, 5, 3, 174, 5.9e-5
|
|
- 7 : 1, 11, 952, 2, 13, 5, 3, 175, 6.2e-5
|
|
- 8 : 1, 11, 988, 2, 13, 5, 3, 181, 6.2e-5
|
|
- 9 : 1, 11, 947, 3, 10, 5, 3, 226, 6.1e-5
|
|
- 10: 1, 11, 950, 3, 10, 5, 3, 226, 6.0e-5
|
|
- 11: 1, 11, 965, 3, 10, 5, 3, 230, 6.1e-5
|
|
- 12: 1, 11, 924, 4, 8, 7, 2, 278, 6.0e-5
|
|
- 13: 1, 11, 972, 4, 8, 5, 3, 285, 6.2e-5
|
|
- 14: 1, 11, 936, 5, 7, 8, 2, 337, 6.2e-5
|
|
- 15: 1, 11, 943, 6, 6, 8, 2, 391, 6.2e-5
|
|
- 16: 1, 11, 968, 7, 5, 8, 2, 454, 6.3e-5
|
|
- 17: 2, 11, 1005, 4, 9, 5, 3, 479, 6.3e-5
|
|
- 18: 2, 11, 991, 5, 8, 5, 3, 559, 6.1e-5
|
|
- 19: 2, 11, 958, 6, 7, 8, 2, 648, 6.1e-5
|
|
- 20: 2, 11, 962, 7, 6, 8, 2, 735, 6.2e-5
|
|
- 21: 2, 11, 1003, 8, 5, 8, 2, 854, 6.3e-5
|
|
- 22: 2, 11, 996, 11, 4, 8, 2, 1111, 6.3e-5
|
|
- 23: 1, 12, 944, 14, 3, 8, 2, 1719, 6.3e-5
|
|
- 24: 1, 12, 979, 22, 2, 8, 2, 2700, 6.3e-5
|
|
# no solution starting from log norm2 = 25
|
|
|
|
- 6: # bits
|
|
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
|
|
- 0 : 1, 12, 993, 1, 23, 8, 2, 295, 6.1e-5
|
|
- 1 : 1, 12, 994, 1, 23, 8, 2, 295, 6.2e-5
|
|
- 2 : 1, 12, 999, 1, 23, 8, 2, 297, 6.3e-5
|
|
- 3 : 1, 12, 1014, 1, 23, 17, 1, 372, 6.3e-5
|
|
- 4 : 1, 12, 1024, 2, 15, 6, 3, 408, 6.3e-5
|
|
- 5 : 1, 12, 1024, 2, 15, 6, 3, 408, 6.3e-5
|
|
- 6 : 1, 12, 1024, 2, 15, 6, 3, 408, 6.3e-5
|
|
- 7 : 1, 12, 993, 2, 15, 8, 2, 411, 6.1e-5
|
|
- 8 : 1, 12, 994, 2, 15, 8, 2, 412, 6.0e-5
|
|
- 9 : 1, 12, 997, 2, 15, 8, 2, 413, 6.2e-5
|
|
- 10: 1, 12, 1018, 2, 15, 8, 2, 421, 6.2e-5
|
|
- 11: 1, 12, 993, 3, 12, 8, 2, 528, 6.3e-5
|
|
- 12: 1, 12, 996, 3, 12, 8, 2, 529, 6.0e-5
|
|
- 13: 1, 12, 1007, 3, 12, 8, 2, 535, 6.1e-5
|
|
- 14: 1, 12, 994, 4, 9, 8, 2, 645, 6.2e-5
|
|
- 15: 1, 12, 999, 4, 9, 8, 2, 648, 6.3e-5
|
|
- 16: 1, 12, 1014, 4, 9, 17, 1, 729, 6.3e-5
|
|
- 17: 1, 12, 1023, 5, 8, 8, 2, 783, 6.2e-5
|
|
- 18: 1, 12, 1008, 6, 7, 17, 1, 961, 6.3e-5
|
|
- 19: 1, 12, 1022, 7, 6, 17, 1, 1094, 6.3e-5
|
|
- 20: 1, 12, 1017, 10, 4, 9, 2, 1382, 6.1e-5
|
|
- 21: 1, 12, 1014, 14, 3, 8, 2, 1846, 6.3e-5
|
|
- 22: 1, 12, 1022, 22, 2, 9, 2, 2826, 6.2e-5
|
|
# no solution starting from log norm2 = 23
|
|
|
|
- 7: # bits
|
|
# no solution at all
|
|
|
|
- 8: # bits
|
|
# no solution at all
|
|
|
|
- 9: # bits
|
|
# no solution at all
|