Extend evaluator (#21)

* Fix devbranch name

* Add bindings negate_inplace!, sub!, sub_inplace!

Author: sloede

docs/make.jl

@@ -43,4 +43,5 @@ makedocs(
 
 deploydocs(
     repo = "github.com/JuliaCrypto/SEAL.jl.git",
+    devbranch = "main"
 )

src/SEAL.jl

@@ -107,7 +107,7 @@ export Evaluator, square!, square_inplace!, relinearize!, relinearize_inplace!,
        mod_switch_to_next_inplace!, add!, add_inplace!, add_plain!, add_plain_inplace!,
        rotate_vector!, rotate_vector_inplace!, rotate_rows!, rotate_rows_inplace!,
        rotate_columns!, rotate_columns_inplace!, complex_conjugate!, complex_conjugate_inplace!,
-       negate!
+       negate!, negate_inplace!, sub!, sub_inplace!
 
 include("decryptor.jl")
 export Decryptor, decrypt!, invariant_noise_budget

src/evaluator.jl

@@ -228,3 +228,20 @@ function negate!(destination::Ciphertext, encrypted::Ciphertext, evaluator::Eval
   @check_return_value retval
   return destination
 end
+
+function negate_inplace!(encrypted::Ciphertext, evaluator::Evaluator)
+  return negate!(encrypted, encrypted, evaluator)
+end
+
+function sub!(destination::Ciphertext, encrypted1::Ciphertext, encrypted2::Ciphertext,
+              evaluator::Evaluator)
+  retval = ccall((:Evaluator_Sub, libsealc), Clong,
+                 (Ptr{Cvoid}, Ptr{Cvoid}, Ptr{Cvoid}, Ptr{Cvoid}),
+                 evaluator, encrypted1, encrypted2, destination)
+  @check_return_value retval
+  return destination
+end
+
+function sub_inplace!(encrypted1::Ciphertext, encrypted2::Ciphertext, evaluator::Evaluator)
+  return sub!(encrypted1, encrypted1, encrypted2, evaluator)
+end

test/test_extra.jl

@@ -161,8 +161,31 @@
       @test negate!(c11, c10, evaluator) == c11
     end
 
+    @testset "negate_inplace!" begin
+      c12 = Ciphertext()
+      encrypt!(c12, p, encryptor)
+      @test negate_inplace!(c12, evaluator) == c12
+    end
+
+    @testset "sub!" begin
+      c13 = Ciphertext()
+      c14 = Ciphertext()
+      c15 = Ciphertext()
+      encrypt!(c13, p, encryptor)
+      encrypt!(c14, p, encryptor)
+      @test sub!(c15, c13, c14, evaluator) == c15
+    end
+
+    @testset "sub_inplace!" begin
+      c16 = Ciphertext()
+      c17 = Ciphertext()
+      encrypt!(c16, p, encryptor)
+      encrypt!(c17, p, encryptor)
+      @test sub_inplace!(c16, c17, evaluator) == c16
+    end
+
     @testset "using_keyswitching" begin
-      using_keyswitching(context) == true
+      @test using_keyswitching(context) == true
     end
 
     @testset "Plaintext constructor" begin