overflow can now only be true for ciphertexts that are the output of an arithmetic operation

2026-04-19 03:00:06 -04:00 · 2023-07-26 11:29:37 -07:00
parent add39427ec
commit 5bc777f27b
2 changed files with 10 additions and 1 deletions
--- a/examples/debugger/src/main.rs
+++ b/examples/debugger/src/main.rs
@@ -19,6 +19,7 @@ fn main() {
    let app = Compiler::new()
        .fhe_program(mad)
        .fhe_program(add_squares)
+        .plain_modulus_constraint(PlainModulusConstraint::Raw(1024))
        .compile()
        .unwrap();