garble-lang VS gluon

MPC has in the past been mostly confined to academia, but thanks to some recent papers has finally become fast enough for practical applications. Internally, Tandem uses Garbled Circuits, encrypted circuits consisting of boolean gates. While there have been other implementations based on these ideas, Tandem tries to provide a much better user experience than previous attempts. For example, the Tandem repo includes a server, a command line client and client libs for wasm and native architectures. To make it easier to run practical applications, programs can be written in Garble, a custom Rust-like programming language that compiles to Garbled Circuits.

A colleague of mine used https://github.com/gluon-lang/gluon with great success in our rust projects. Although it probably can't run in a no_std environment.

Aside from these, if you want some inspiration for a production-grade language built in Rust, you might want to go through the source code of Starlark and Gluon.

Some languages, like Zig and Gluon have an import expression, where the imported symbols are under a local constant's name. Gluon then also supports destructuring, and Zig has had multiple proposals for years about it, none of which are canon. That is, code like this:

This should be a good use-case for rust-based scripting languages, I think.

I loosely followed a project of that kind a while ago, I don't quite remember if it was Gluon [0] or Dyon [1]. Not sure if these are still active, or if another competitor showed up in meantime.

___

[0] https://github.com/gluon-lang/gluon

[1] https://github.com/PistonDevelopers/dyon

Or if you wanted something more Rust-native, you could try Gluon.

Gluon