Axoni is pleased to announce AxLang, a new programming language that supports functional programming and enables formal verification of smart contracts for Ethereum ...

Developers can use traditional programming languages (C++, Python, JavaScript) for blockchain development as well as specifically built solutions like Solidity, Vyper and Scrypto.

Overview Web3 relies on specialized programming languages designed for smart contracts, security, and scalability.Solidity, Rust, and Go are among the most in-d ...

Overview Solidity leads dApp development with a strong ecosystem and massive developer supportRust, Move, and Cairo offer speed, safety, and scalability for nex ...

WeBank, one of China’s first all-digital challenger banks, has revealed that it will begin exploring the potential integration of DAML, which is an open-source smart contract programming language ...

Algorand and Blockstack are collaborating on a new smart contract programming language that moves the two startups toward direct, inter-blockchain communications.