Goldman Sachs, J.P. Morgan and Wells Fargo Back Ethereum-Compatible Smart Contracting Language
AxLang is the world’s first Ethereum-compatible smart contracting language to enable formal verification. The new programming language is designed for the world’s largest financial institutions...











