R-Evolution: A Story of Rust Adoption at Microsoft

The software industry has a billion dollar problem. Our underlying systems are built on a mountain of insecure technologies that make it next to impossible t… Read more


An Intern’s Experience with Rust

Over the course of my internship at the Microsoft Security Response Center (MSRC), I worked on the safe systems programming languages (SSPL) team to promote safer languages for systems programming where runtime overhead is important, as outlined in this b... (more…)

Read more »

Bellman: zk-SNARKs in Rust

Bellman is a Rust-language library for building zk-SNARKs — small, cheap-to-verify zero-knowledge proofs of arbitrary computations. The goal of bellman is to make it easier for the general public to use and experiment with zk-SNARKs, and also as a step fo... (more…)

Read more »