cap-std is a project to create capability-based versions of Rust standard
library and related APIs. (more…)
Read more »
Thanks again to Open Source Security, inc and Embecosm for their ongoing support for this project. (more…)
Read 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…)
Read more »
I have developed some interest in the Rust programming language. Rust is a systems programming language which means it gets out of the way of developers interested in reaching low-level internals of a system. What sets it aside from other systems language... (more…)
Read more »