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