Cargo is Rust's build system and package manager. This tool manages Rust projects, such as building code and downloading dependencies.
The Casper network is a Proof-of-Stake blockchain that allows validators to stake the Casper native token CSPR on the network. Validators receive CSPR as an incentive for continuing to maintain and secure the network. CSPR rewards are distributed as blocks are validated into existence and organized into eras.
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.
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 network and used to pay for transaction execution and for staking (securing the network). The total number of CSPR tokens is 10 billion.