Kadena is a public blockchain designed to optimize scalability and equipped with a new smart contract language called Pact, which includes formal verification and upgradable smart contracts. Continue Reading: What is Kadena Coin?