Fix bug with larger ORAMs in binary circuits.

data61 · Mar 21, 2024 · b57dafb · b57dafb
1 parent a4f08e6
commit b57dafb
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/Compiler/GC/types.py b/Compiler/GC/types.py
@@ -1132,7 +1132,7 @@ def _store(self, value, address):
         else:
             cbits.conv(value).store_in_dynamic_mem(address)
 
-sbits.dynamic_array = DynamicArray
+sbits.dynamic_array = Array
 cbits.dynamic_array = Array
 
 def _complement_two_extend(bits, k):

diff --git a/Programs/Source/gc_oram.mpc b/Programs/Source/gc_oram.mpc
@@ -5,6 +5,8 @@ prog.options.binary = -1
 from Compiler.GC.types import *
 from Compiler.GC.instructions import *
 
+sbits.dynamic_array = DynamicArray
+
 bits.unit = 64
 
 from Compiler.circuit_oram import *