Kadena Blockchain is powered by Chainweb and Kadena develops a Smart Contract Language. Chainweb is a massively-parallel protocol to bring efficiency to Proof-of-Work: now mining pays for throughput and provisioning, not just hash difficulty.
Pact is the first human-readable smart contract language. With Pact, humans write logic directly onto a blockchain. Pact smart contracts provide absolute attestation that cannot be revoked, keyed to a creator. This makes for clear worflow and certified transfers of assets on a blockchain.