tf-encrypted / moose

Secure distributed dataflow framework for encrypted machine learning and data processing
Apache License 2.0
58 stars 16 forks source link

Use `Ty` in kernel macros instead of Rust types #989

Open mortendahl opened 2 years ago

mortendahl commented 2 years ago

Related: https://github.com/tf-encrypted/runtime/issues/462

mortendahl commented 2 years ago

Note: one potential problem with this is that I don't know how we can statically go from Ty to type, and without that we loose the ability to statically check for kernel support.

One solution might be to have three sets of types (two of which generated by types!):