Projects
We are a team of specialists looking to make impactful contributions in the interpreter, concurrency, storage and other critical aspects of the Tezos blockchain. We currently focus our attention and energy on five different categories of projects:
Protocol
Offering more flexibility for developers and make it easier to contribute to the protocol and to ensure its security.
Shell
Unlock the full potential of L2s by implementing scalable data availability solutions.
TzStamp
TzStamp is a cryptographic timestamping service that uses the Tezos blockchain to prove a file existed at or before a particular time.
Software reliability with proofs
Easier-proofs is a tool that is written in OCaml. The purpose of this project is to generate proofs automatically, written in OCamlcur and rently using the Coq proof assistant for proving.
TzVote
Tezos Voting Dapp proposing free to use voting templates, allowing voting session creation, voting and results vizualization.
TzPortal
Layer1/Layer2 transfer Dapp allowing to deposit and withdraw assets on Tezos
Mankanvar
Prototyping what a 1.000.000 tps blockchain would look like.
LIGO (Language & Compilation)
LIGO is a programming language for writing Tezos smart contracts. LIGO currently offers four syntaxes (PascalLIGO, CameLIGO, ReasonLIGO and JsLIGO) to cater for different developers’ tastes.
LIGO Package Manager
Often times when working on a project there arises a need to use some common reusable piece of code, most of the time such functions are provided by the standard library thanks to the package manager!
LIGO Lib
LigoLib is the single point of knowledge of state of the art Smart Contracts designed with LIGO. It covers libraries based on TZIP implementation like NFT for instance.
Tezos Academy
Tezos Academy is a fun interactive tutorial on the LIGO language. Developers can learn step by step LIGO thanks to a progressive and gamified approach based and a reasonable learning curve!
Batcher
A hybrid order book based DEX where swaps between pairs of currencies are executed in batches
Auditor
An example to guide the integration of audit interactions with repositories in Ligo Registry
Deku - Cookie clicker
Bake cookies by clicking on a giant cookie button, then buy upgrades like Grandmas to help you to bake more cookies! The original game can be found on https://orteil.dashnet.org/cookieclicker/
Shifumi
In this game for 2 players, the smart contract implements a “commit & reveal” mechanism allowing players to keep choice secret until all players have played.
Poke app trainings
A series of training to learn how to create a decentralized application (dApp): Training dApp JsLIGO 1-4
TzSafe
Tzsafe is a multisig wallet aiming at providing better assurance of security and management of ownership than a traditional single-signed wallet.
Checker
Marigold maintains its own version of Checker in the Ligo language. Checker is a system allowing to deploy and stabilize the value of a token on Tezos in an algorithmic and decentralized way. Using the Checker library, it is for example possible to create and manage the collateral of a stable coin or a lending system.
Scroll to top