moose

moose copied to clipboard

Error handling of Session.execute in modelled! macro

3

During #520, we found it would be good to catch compilation errors for kernels in the `modelled!` macro ([discussion](https://github.com/tf-encrypted/runtime/pull/520#discussion_r704805331)). This was out of scope of #453, but should be addressed...

jvmncs

Pass values by reference instead of clone

2

Kernel functions currently take ownership of `Value`s, which means we clone these every time they are sent between operations. This is wasteful in several ways: - if a value is...

mortendahl

Discovery: eDSL Syntax Requirements, Naming, Structure

1

We should set up at least one discovery call and follow up with work on design documents around how our eDSL should function. This also means thinking about how Python...

kjam

Macro magic for logical dialect?

1

The purpose of the logical dialect is to wrap all tensors as a single logical tensor ```rust pub enum Tensor { Fixed64(Fixed64Tensor), Fixed128(Fixed128Tensor), Float32(Float32Tensor), Float64(Float64Tensor), ... } ``` however operations...

mortendahl

We plan on using [information flow analysis](https://en.wikipedia.org/wiki/Information_flow_(information_theory)) to allow users (and workers) to verify logical computations against a desired secrecy policy. However, we can also use it as an internal...

mortendahl

Support saving and loading of replicated and additive tensors

1

There is no inherent reason why you can't do this, in fact it might be useful to persist data in an encrypted (secret shared) state. Some design is needed to...

mortendahl

Using `rendezvous_key`, `sync_key`, etc. can cause some confusion between what is a cryptographic key and what is not. This issue is about finding an alternative and updating the code base...

mortendahl

The `kernel!` macros current clone attributes before passing them to the kernel function. Consider whether this could be done by reference instead.

mortendahl

Compiling an operator currently results in a `Box -> C::Value`, which unlike the older code base doesn't allow operations to do much compile-time checking (eg arity). Moreover, always creating a...

mortendahl

Reduce Rust compilation time

1

CI currently takes ~12-13min, but even local compilation time can feel long during development. This issue is about finding low-hanging fruit to optimize Rust compilation time and ideally also CI.

mortendahl