Kadena (KAD)
Kadena is a scalable Layer-1 blockchain using the Kadena algorithm within its Chainweb proof-of-work consensus, braiding multiple chains for high transaction throughput. Its Pact smart contract language offers formal verification for enhanced security, making it ideal for enterprise-grade applications and DeFi.