Rholang Runtime

A rholang runtime written in Rust. Development is still in progress...

/model/ is a library crate containing protobuf models depended by rho_runtime and rholang_parser
/rholang_parser/ crate builds an executable program which accepts rholang code and outputs normalized AST
/rho_runtime/ is the primary executable program. It launches rholang_parser to parse rholang code, then handle reducing and storage

File Naming Convertion

Two kinds of naming convertions applied in this project.

Filename using snake_case (e.g. common.rs / rho_par.rs) means it is an individual module, which is the default approach in Rust's module system.
Filename using PascalCase (e.g. Sortable.rs / DeBruijnIndexMap.rs) means it is a part of its directory module.

The PascalCase style is used to keep the code structure similar as Scala edition without big single file or a lot of re-exports.

src/
├─ context/
│  ├─ mod.rs
│  ├─ DeBruijnLevelMap.rs
│  ├─ DeBruijnIndexMap.rs
├─ normalize/
│  ├─ mod.rs
│  ├─ rho_par.rs

In the above example, DeBruijnLevelMap.rs and DeBruijnIndexMap.rs are included by /src/context/mod.rd as part of context module; While rho_par.rs defines normalize::rho_par module.

Test Case

cargo test --all

You might also like...

Applied offensive security with Rust

Black Hat Rust - Early Access Deep dive into offensive security with the Rust programming language Buy the book now! Summary Whether in movies or main

2.2k Jan 2, 2023

Easy-to-use optional function arguments for Rust

OptArgs uses const generics to ensure compile-time correctness. I've taken the liberty of expanding and humanizing the macros in the reference examples.

37 Nov 18, 2022

A language server for lua written in rust

lua-analyzer lua-analyzer is a lsp server for lua. This is mostly for me to learn the lsp protocol and language analysis so suggestions are helpful. T

61 Dec 11, 2022

Rust library that can be reset if you think it's slow

GoodbyeKT Rust library that can be reset if you think it's slow

39 Jun 16, 2022

Cargo - The Rust package manager

Cargo downloads your Rust project’s dependencies and compiles your project.

9.5k Jan 4, 2023

A copypastable guide to implementing simple derive macros in Rust.

A copypastable guide to implementing simple derive macros in Rust. The goal Let's say we have a trait with a getter trait MyTrait {

131 Dec 27, 2022

Rust ABI safe code generator

CGlue offers an easy way to ABI (application binary interface) safety. Just a few annotations and your trait is ready to go!

142 Jan 2, 2023

An example project demonstrating integration with Rust for the ESP32-S2 and ESP32-C3 microcontrollers.

Rust ESP32 Example An example project demonstrating integration with Rust for the ESP32-S2 and ESP32-C3 microcontrollers.

303 Jan 4, 2023

Notion Offical API client library for rust

Notion API client library for rust.

65 Dec 26, 2022

Comments

Rholang name's storage optimization
For each name in rholang, it could be stored with a number of continuations and data items.

The scala version's RNode

stores all continuations of the same name in a single LMDB key, which is determined by blake2("${name}-continuation");

stores all data items of the same name in a single LMDB key, which is determined by blake2("${name}-data")

https://github.com/rchain/rchain/blob/6dfa65e24599cff8561fa604e1a6c4f6d75bc9fc/rspace/src/main/scala/coop/rchain/rspace/history/HistoryRepositoryImpl.scala#L39-L41

This is low efficient. E.g. suppose there are 1000 data items in certain name, the rholang runtime has to load all the data items to get one of them.

Is there a reason behind this design? Can we do better?
discussion design
opened by wangjia184 2