Cargo is Rust's build system and package manager. This tool manages Rust projects, such as building code and downloading dependencies.
Casper is a Proof-of-Stake blockchain platform with an account-based model that performs execution after consensus. More information on the design of a Casper network can be found here.
Correct-by-construction (CBC) protocols are consensus protocols meeting the following properties:
- All the nodes share the same proof of asynchronous liveness, which means that the protocol will continue to produce blocks at some interval.
- The consensus has mathematically provable safety, which means that once a block is committed, it cannot be reverted.
A collection of configuration settings describing the state of the system at genesis and upgrades to basic system functionality (including system contracts and gas costs) occurring after genesis. Here is an example chainspec, which will change with newer releases.
An algorithm used to mandate agreement on the blockchain between all nodes. The blockchain, although being built in a decentralized way, eventually converges so that all nodes eventually agree on whether a given block is part of the chain or not.
Casper uses the Highway algorithm in the CBC Casper family of consensus algorithms. The algorithm for securing an agreement is what is known as consensus. The consensus layer contains the algorithm, but the algorithm should not be confused with the consensus layer.
Enables developers to use a seamless workflow for authoring and testing their smart contracts. This environment can also be used for continuous integration, enabling Rust smart contracts to be managed using development best practices.
Correct by construction
A compilation unit in Rust. A crate can be compiled into a binary or into a library. By default, rustc, the compiler for the Rust programming language, will produce a binary from a crate.
CSPR is the Casper token pre-defined on the Casper Mainnet and used to pay for transaction execution and for staking (securing the network).