This post is the second post of the series about how we wrote a compiler in Rust at Cosmian for the CipherCompute product. If you missed the first one here is the link, I recommend you to read it to really understand what we’re trying to achieve and know the context.

As a reminder, the previous article explains our objective is to be able to execute a sMPC (secure multi party computation) program in a widespread and known language, Rust in our case. To achieve this, we developed a compiler named WaSca which takes Wasm (WebAssembly) and compiles it to bytecode understandable by the Scale virtual machine to run sMPC computations.

(….)

Medium: Why and how we wrote a compiler in rust (part 2): the stack