rolph-recto / viaduct-he

A compiler from array programs to vectorized homomorphic encryption

rolph-recto/viaduct-he Issues

always enable masking when deriving expr indexing site
Updated 2 years ago
Add input types
Closed a year ago
partial evaluation for plaintext-plaintext operations
Closed a year ago
combine logic from Materializer::materialize_expr and Schedule::compute_output_schedule
Closed 2 years ago1
DimContents enum should be replaced with struct containing set of indexed dims
Updated 2 years ago
Replace extent intervals with max values in surface language
Closed 2 years ago1