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.