A single-client, Move-based proof-of-stake L1 in Rust

0 stars 0 forks 0 watchers Rust Apache License 2.0
blockchain byzantine-fault-tolerance distributed-systems formal-verification fuzzing layer-1 move p2p pos proof-of-stake rust smart-contracts
6 Open Issues Need Help Last updated: Sep 21, 2026

Open Issues Need Help

View All on GitHub
help wanted

A single-client, Move-based proof-of-stake L1 in Rust

Rust
#blockchain#byzantine-fault-tolerance#distributed-systems#formal-verification#fuzzing#layer-1#move#p2p#pos#proof-of-stake#rust#smart-contracts

A single-client, Move-based proof-of-stake L1 in Rust

Rust
#blockchain#byzantine-fault-tolerance#distributed-systems#formal-verification#fuzzing#layer-1#move#p2p#pos#proof-of-stake#rust#smart-contracts

A single-client, Move-based proof-of-stake L1 in Rust

Rust
#blockchain#byzantine-fault-tolerance#distributed-systems#formal-verification#fuzzing#layer-1#move#p2p#pos#proof-of-stake#rust#smart-contracts

A single-client, Move-based proof-of-stake L1 in Rust

Rust
#blockchain#byzantine-fault-tolerance#distributed-systems#formal-verification#fuzzing#layer-1#move#p2p#pos#proof-of-stake#rust#smart-contracts
help wanted good first issue

A single-client, Move-based proof-of-stake L1 in Rust

Rust
#blockchain#byzantine-fault-tolerance#distributed-systems#formal-verification#fuzzing#layer-1#move#p2p#pos#proof-of-stake#rust#smart-contracts

A single-client, Move-based proof-of-stake L1 in Rust

Rust
#blockchain#byzantine-fault-tolerance#distributed-systems#formal-verification#fuzzing#layer-1#move#p2p#pos#proof-of-stake#rust#smart-contracts