A peer-to-peer functional computer capable of hosting decentralized apps that stay up forever. Essentially, it is a complete redesign of Ethereum's idea, built upon type theoretic foundations. Main differences include:
-
There is no native coin. It is not a cryptocurrency, it is a cryptocomputer.
-
The EVM is replaced by the HVM, a blazingly fast functional runtime.
-
It can run formally verified programs from languages like Idris and Kind natively.
-
Zero-cost SSTOREs, allowing dynamic games and virtual worlds to run on layer 1.
-
It is so minimalist and elegant you could call it a massively multiplayer λ-calculus REPL.
For more information, check the whitepaper.
# in this directory:
cargo install --path .- Testing a block offline:
kindelia run example/example.kindelia
- Starting a node:
kindelia start
Note: node communication and consensus still in development.