Ligo, a SmartContract Language built for Tezos
Our hope is to have a simple, strongly typed language with a low footprint. Most useful smart contracts can express their core functionality in under a thousand lines of code.
Ligo, for newcomers or confirmed developpers
Even if LIGO currently offers two syntaxes, you'll need to choose only one :
- CameLIGO, is designed for functional developers like tezos core devs. An OCaml-inspired syntax allows you to write in a functional style.
Ligo, designed to be cost-effective
Unlike desktop, mobile, or web application development, smart contracts cannot rely on cheap CPU time and memory. All resources contracts use are expensive and tracked as 'gas costs'.
Ligo compiler will generate optimized Michelson code, which will be cost-effective on tezos.
Ligo, designed for your security
Tezos smart contract live on the blockchain forever if a bug exists, they can't be patched or amended. Smart contracts often directly control money or assets, which if stolen, could be a large financial loss to the contracts and their users.
Ligo will bring people to web3 and by design reduce the risk that your smart contract will lose its balance to an avoidable exploit.
But compiler design is insufficient, ligo use static analysis to encourage people to write simple code, avoid anti-patterns, and use the robust test framework which can simulate tezos blockchain and offer mutation tests
For critical code, LIGO also keeps its compiled output unbloated making possible to formally verify the compiled output using a project like Mi-Cho-Coq.
A set of tools already available
- Quickly explore Ligo using webide
- Quickly bootstrap a project with registry
- Improve development experience with our lsp server available in vscode extension
- Understand and troubleshoot your code with the debugger available in vscode extension
- Integrate Ligo to your pipeline with ligo github action
- Test your documentation with ligo-mdx
Where to start
Do you want to try Ligo ?
Do you want to learn Ligo ?
Your choice to learn Ligo is already available :
- Read basics to have a basic comprehension
- Write your first smart contract.
- Others ressources are available on marigold.dev
Do you want to build a production-ready project ?
You will need a deeper comprehension :
- Teach yourself how to structure your code with Combining code section
- Learn how to write tests we strongly encourage to use breathalyzer library from the LIGO registry.
- Understand how to secure a contract
In the end, maybe you will want to :
Consult Advanced topics section.