Last month, the Tezos Foundation announced its commitment to support smart contract languages to increase the accessibility of Tezos and allow a larger audience of developers to more easily build on it.
As a part of that commitment, today the Foundation is pleased to announce that it has issued a grant to The Marigold Project to support the development of LIGO, a statically typed high-level language for writing Tezos smart contracts, and Marigold, a plasma-like layer-2 scaling implementation for Tezos.
Michelson is the domain-specific language used to write smart contracts on Tezos. LIGO compiles down to Michelson and seeks to be easy to use, extensible, and safe. It is designed to support alternative syntaxes, such as Pascaligo (a Pascal-like syntax) and Cameligo (an OCaml-like syntax), and will be accessible via code editors such as VS Code and Emacs for easy integration.
Inspired by Plasma, a layer-2 scaling technique that allows arbitrary computation to be safely executed off-chain, Marigold is a layer-2 project for Tezos to enable applications that scale. The main focus of Marigold is to make the development experience as smooth as possible to allow a wide range of developers to build Marigold-powered applications. In the future, Marigold will integrate privacy-preserving features and make the protocol less interactive (or non-interactive) via techniques such as state channels or recursive zk-snarks.
Documentation and training resources will be produced to help those interested learn more about both LIGO and Marigold. Additionally, The Marigold Project will collaborate with other Tezos development teams on amendment proposals that may be implemented to Tezos via its amendment process.
The Tezos Foundation’s core mission is to support the long-term success of the Tezos protocol and ecosystem. By funding projects imagined by scientists, researchers, developers, entrepreneurs, and enthusiasts, the Foundation encourages decentralized development and robust participation.