Share Facebook Twitter LinkedIn Pinterest Email Cardano founder Charles Hoskinson is creating a new programming language for the blockchain, heavily integrating cryptographic proofs for enhanced security and functionality.