Programming language based on Rust that was created by Facebook for developing customizable transaction logic and smart contracts for the Libra digital currency.