Kadena是一个旨在优化可扩展性的第一层工作量证明区块链。它采用了一种新的智能合约语言，名为Pact，该语言具备形式化验证和可升级智能合约的功能。此外，Kadena使用了一种名为Chainweb的新型工作量证明共识机制，由多条独立挖矿的链组成，这些链并行工作以执行网络交易。