Kadena
Kadena is a braided, parallelized proof-of-work consensus mechanism that improves throughput and scalability while maintaining the security and integrity found in Bitcoin.

Pact is a human readable and Turing Incomplete smart contract language purpose-built for blockchains with powerful security features including full Formal Verification of user code, error messages, contract upgradability, support for interoperability, and strong permission and access control.

With 20 chains, the Kadena blockchain platform achieves an industry-leading 480,000 transactions per second.
Kadena is a proof of work blockchain built for scalability, aiming to provide the security of Bitcoin and an ecosystem to foster decentralized smart contracts.
KDA