The Web3 Foundation plans to adopt blockchain startup Kadena’s smart contract programming language for the Polkadot ecosystem.