"Kadena is a scalable Layer 1 blockchain designed for enterprise and high-throughput applications. It features a unique braided chain architecture, proof-of-work security, and smart contracts written in Pact — a human-readable and formally-verifiable language."