Kadena

Description - Kadena is a Layer 1 Proof-of-Work blockchain that aims to optimize for scalability. It features a new smart contract language, dubbed Pact, which comes equipped with formal verification and upgradeable smart contracts. Furthermore, Kadena uses a new Proof-of-Work consensus mechanism called Chainweb, consisting of multiple individually mined chains which work in parallel to execute network transactions.

Twitter / Site

Kadena

Kadena has the only scalable layer 1 PoW blockchain along with Pact, the safest smart contract language. Founded by @sirlensalot and @buckie. - Kadena

github.com