stateright
solana
Our great sponsors
stateright | solana | |
---|---|---|
8 | 288 | |
1,516 | 12,101 | |
1.8% | 5.1% | |
7.0 | 9.9 | |
13 days ago | 3 days ago | |
Rust | Rust | |
MIT License | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
stateright
- Distributed Async Executors?
-
Announcing `statig`: Hierarchical state machines for event-driven systems (using GAT’s)
stateright - which is meant for distributed state machines and includes a full on model checker
-
RiB Newsletter #27
Stateright.
-
Paxos vs Raft: Have We Reached Consensus on Distributed Consensus?
Author seems to be using https://github.com/ailidani/paxi for actual implementation and proof.
I'm more of a python/rust guy. There have been some attempts to make model checkers in rust: https://github.com/stateright/stateright
The issue is that rust is a very large language and it's hard to get it right.
I have a python implementation of raft over here:
https://github.com/adsharma/raft/tree/master/raft/states
That's small enough to be self contained and perhaps run through a model checker some day and transpiled to many statically typed languages.
The issue with TLA+ proofs such as:
https://github.com/fpaxos/raft.tla
is that it's hard to tell if a particular C++ or Rust implementation conforms to the spec.
So how do we check and transpile?
* https://www.philipzucker.com/Modelling_TLA_in_z3py/
-
Does "safety by default" scale?
Why make memory safety the exception? For example, https://github.com/stateright/stateright implements model checking for distributed systems at the library-level. If you could achieve the same effect with memory safety through the ecosystem, why wouldn't you?
-
Stateright: A model checker for implementing distributed systems
Regarding the last point — correct, Stateright aims to verify both.
It’s important to clarify that this doesn’t provide a proof of correctness, but it can dramatically improve confidence in both the design and implementation compared with fuzz testing, for example. This is done by exhaustively enumerating possible nondeterministic outcomes (e.g. due to message reordering) within specified constraints (e.g. up to S servers and C clients performing X operations…).
Examples:
SD Paxos: https://github.com/stateright/stateright/blob/master/example...
ABD (linearizable register algorithm): https://github.com/stateright/stateright/blob/master/example...
-
Rust and Julia
I believe they meant this: https://github.com/stateright/stateright
solana
-
Projects to contribute to
Solana (9700 GitHub Stars) https://github.com/solana-labs/solana
-
DuneAnalytics - A Guide to Solana for Ethereum Analysts
EIP Core standards: Changes to Solana’s core code go through “feature gates” in the Solana repo. Yes, it’s much less organized than the EIP pages you are used to, and a headache to understand or keep up with. A cost of the speed of development, I’m told.
- Rust Cryptography Should Be Written in Rust
-
How Solana Ignores Security Best Practices
I visited the project on github (https://github.com/solana-labs/solana), and tried to get an overview of the ~800 open issues and ~100 open PRs.
-
Top 10+ Blockchain Networks to look for in 2023
Solana
-
Blockchains: Ethereum vs Solana vs Avalanche vs MultiversX (Elrond). What are the differences?
With the introduction of new and advanced blockchain platforms in the Web 3.0 scene, the narrative around Ethereum has slowly shifted towards its younger “Ethereum Alternatives”. Solana, Avalanche, and MultiversX (former Elrond) are some of the crypto blockchains that are given this terminology, as they share similar features but are comparatively cheaper and better than Ethereum.
-
Helium Mobile
I understand this initiative is connected with Solana network [1] in some way?
[1] https://solana.com/
-
Hacked for over $2 million on Solana DeFi Exchange Raydium
They do, actually: https://github.com/solana-labs/solana/security/policy
-
Proof of History algorithm
Not sure I understand your question, but if you want the source code you can find it on github (https://github.com/solana-labs/solana)
-
Solana Foundation just held the first-ever core dev community call with engineering teams from across the ecosystem, here's what was discussed!
Some topics that may be discussed in the next call include @ShinobiSystems Timely Vote Credits proposal (https://github.com/solana-labs/solana/blob/master/docs/src/proposals/timely-vote-credits.md), @elusivprivacy new built-in cryptographic operations to accelerate ZK verification (for privacy tech), and feature activation coordination standards.
What are some alternatives?
tlaplus - TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
opensea-js - TypeScript SDK for the OpenSea marketplace
mina-vrf-rs
solana-docker-mac-m1 - Docker config for Mac M1, to support development on Solana
py2many - Transpiler of Python to many other languages
cardano-node - The core component that is used to participate in a Cardano decentralised blockchain.
raft.tla - TLA+ specification for the Raft consensus algorithm
cosmos-sdk - :chains: A Framework for Building High Value Public Blockchains :sparkles:
lam - :rocket: a lightweight, universal actor-model vm for writing scalable and reliable applications that run natively and on WebAssembly
mx-chain-go - ⚡ The official implementation of the MultiversX blockchain protocol, written in golang.
dylint - Run Rust lints from dynamic libraries
trezor-firmware - :lock: Trezor Firmware Monorepo