typed-protocols
substrate
typed-protocols | substrate | |
---|---|---|
2 | 83 | |
8 | 8,348 | |
- | - | |
7.7 | 8.1 | |
3 months ago | 9 months ago | |
Haskell | Rust | |
- | 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.
typed-protocols
-
On Implementation of Distributed Protocols
Certain correctness properties of code can be ensured statically, i.e. at compile time. Those checks rely on the programming language's type system. Software engineers can take advantage of type safety features to implement components in a way that makes them safe by construction. For example, Cardano uses the typed-protocols package, a generic framework for implementing application-level protocols, which is based on a simple form of session typing.6 Within this framework, protocols are described as state machines encoded into Haskell types. The allowed transitions between states correspond to messages exchanged between the peers, so the protocol state determines which messages are allowed to be sent or must be accepted when received, at type level. This simplifies protocol implementation, allows early detection of protocol violations, and makes the protocols themselves deadlock-free by construction. More advanced type-level programming techniques may allow achieving impressive levels of type safety; however, such code may be significantly harder to implement, understand, and maintain.
-
RPC lib?
I like to use typed-protocols for this: https://github.com/input-output-hk/typed-protocols/
substrate
-
On Implementation of Distributed Protocols
Substrate — a framework for building application-specific blockchains (written in Rust);
-
build error because found duplicate lang item `panic_impl`
frame-benchmarking = { version = "4.0.0-dev", default-features = false, optional = true, git = "https://github.com/paritytech/substrate.git", branch = "polkadot-v1.0.0" }
-
What to do next... Web 3, Rust, Solidity?
To offer some perspective outside of the typical "all crypto is a scam", Parity is doing some cool stuff with a rust modular blockchain library called Substrate https://github.com/paritytech/substrate.
-
What application will make Rust its prime ?
Rust takes the cake in the blockchain space: Substrate, Cosmos (CosmWasm), and Solana. All of the zero knowledge cryptography libraries used for layer 2 solutions are written in Rust, compiling to Wasm (see arkworks, Risc0). Ethereum's next version of smart contracts will even use a restricted subset of Wasm ("Ewasm") instead of EVM.
-
Why am I not receiving staking rewards?
Verifying NPoS election solution graph and its score is a memory-intensive operation that needs to be performed within a single block time. Under the current runtime constraints, a solution graph with 22,500 nominators can be verified well within the block production time on Polkadot. There are plans to improve on this and implement multi-block election solution verification, after which, the NPoS system can scale to incorporate more nominators.
- Fast-unstake is now available on Kusama. This allows instant unstaking if you have not participated in staking in the last 28 eras.
-
Polkadot Digest 17 Jan 2023
Fast-unstake is now available on Kusama. This allows instant unstaking if you have not participated in staking in the last 28 eras. https://github.com/paritytech/substrate/pull/12129
-
Polkadot Digest 11 Jan 2023
First, any outstanding multisig calls (ones where one signatory has signed, but not the threshold) will not be able to execute. Please either finish your multisig calls before this upgrade, or wait until after it is completed. https://github.com/paritytech/substrate/pull/12072
- pallet dev mode added to make dev easier
-
Substrate Rresources
Github: https://github.com/paritytech/substrate
What are some alternatives?
nng-haskell - Haskell bindings for NNG (https://github.com/nanomsg/nng)
cosmos-sdk - :chains: A Framework for Building High Value Public Blockchains :sparkles:
cardano-node - The core component that is used to participate in a Cardano decentralised blockchain. [Moved to: https://github.com/IntersectMBO/cardano-node]
developer-roadmap - Interactive roadmaps, guides and other educational content to help developers grow in their careers.
polygon-edge - A Framework for Building Ethereum-compatible Blockchain Networks
manim - Animation engine for explanatory math videos
polkadot - Polkadot Node Implementation
rust-analyzer - A Rust compiler front-end for IDEs
www.rust-lang.org - The home of the Rust website
rust-analyzer - A Rust compiler front-end for IDEs [Moved to: https://github.com/rust-lang/rust-analyzer]
statemint - Statemint Node Implementation
reef-chain - EVM compatible chain with NPoS/PoC consensus