I think the Rust language is a big success. When I think back on it I am in awe: so much had to go right to get where we are, and there were so many opportunities to go wrong. It took many tiny miracles for the Rust language to become what it has. Those m... (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…)

We recommend upgrading to the latest Safari, Google Chrome, or Firefox. (more…)

People don't like being told their beloved language is actually a bad pick for *most* software projects, but it is. Go is faster and safer *overall*. People ... (more…)

Rust is claimed to be more efficient than other programming languages, and thus should have less Carbon footprint than other programming languages. But I've... (more…)