Adding support for the Rust language to the Linux kernel. - GitHub - Rust-for-Linux/linux: Adding support for the Rust language to the Linux kernel. (more…)

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…)

Mike Cardwell's Tech Blog. Security, privacy, and technology... (more…)

Proof-of-concept to test integrating Rust submodules. This adds a (very naive) rewrite of string_extract_line from string-util.h in Rust, and compiles it in so that the rest of our C code, includin... (more…)

It's been just over two years since I started learning Rust. Since then, I've used it heavily at my day job, including work in the Firecracker code base, and a number of other projects. Rust is a great fit for the systems-level work I've been doing over t... (more…)