Putting the Rust in Trust

After working at Data61 with the verification team, and many conversations with
Gerwin Klein, I have a good plan on how I think I want to achieve the goal of
Trustworthy Rust.

Similar

Rust-Style Futures in C

All networking applications essentially boil down to stringing together multiple asynchronous calls in the right way. Traditionally for programs written in C this would be done through registering callbacks where the callee either handles the event itself... (more…)

Read more »

Notes on Type Layouts and ABIs in Rust

Over the years I've found myself with a weird amount of knowledge about how types and ABIs in Rust work, and I wanted to write it all down in one place so that... it's written down in one place. Much of this information can or should be found in the Rust ... (more…)

Read more »

2 Years of Rust

The page is loading. If for some reason nothing shows up you can see the newest post by going to GitHub where the code is hosted. Just click here. (more…)

Read more »

Build CKB Contract with Rust, Part1

Edited at 2020-01-06 Remove the linker script section since I found its unnecessary to customize linker Refactor the main function interface AFAIK, the most popular contracts that deployed on CKB is writing in C. There are 3 default contracts in the g... (more…)

Read more »