Tezos

Serokell contributed to the development of Tezos, an open-source blockchain platform for smart contracts.

TQ Tezos (Tocqueville Group) works to advance the Tezos blockchain ecosystem by creating open-source software and other public tools.

As an expert in functional programming and blockchain development, Serokell was invited to help.

Bringing into life pioneering ideas is challenging. The case becomes even more complicated when your project is in the field of blockchain and needs experienced developers. More and more tasks appear, more resources are required.
Finally, you have to attract external teams that can work with the same passion and tempo as you, producing works of the same quality. This is exactly how our cooperation with Tocqueville Group began.

What is Tezos?

Tezos is a distributed consensus platform backed by a global community of validators, researchers, and builders.

With its governance mechanism, Tezos holders can participate in the future of the blockchain through voting. It is also designed to have high safety and code correctness through the possibility to formally verify its smart contracts.

In strong collaboration with the Tezos group we regularly conduct in-depth audits and investigate the best practices of competitors to implement new features and bring Tezos to the top of the market.

Development of Tezos ecosystem:

MORLEY
Initially, the Michelson language was used in Tezos smart contract programming. But due to the low-level nature of Michelson, any complex contract is challenging to implement and hard to maintain and audit.
The first project that we realized for TQ Tezos was Morley, a set of tools and libraries that make writing smart contracts more transparent and effective.
Working in close cooperation with Tocqueville Group, we suggested our ideas on how to improve the Tezos platform.
To eliminate the inconveniences of work with a low-level language, we suggested developing a new high-level domain-specific programming language on top of Michelson.
LORENTZ & INDIGO

Lorentz is a Haskell eDSL (embedded domain-specific language) that provides a more convenient way to write Michelson contracts.

Using Lorentz, one can implement migrations, work with upgradeable types, and more. The process of contract submission was streamlined, but still demanded a lot of manual work.

Indigo is a higher-level language that we built on top of Lorentz. It eliminates the burden of manual stack management. Lorentz and Indigo now make Tezos a more convenient platform both for developers and users.
TZIP
Consequently, TQ wanted us to set the standards for all the updates and proposals related to Tezos projects. The client also asked Serokell to work out a solution similar to ERC-20 for the Tezos platform.
“The ERC-20 defines a common list of rules that all Ethereum tokens must adhere to. This particular token empowers developers to accurately predict how new tokens will function within the larger Ethereum system.”
Nathan Reiff, investopedia.com

We investigated and audited the existing solutions, and created a repository called TZIP (Tezos Interoperability Proposal). TZIP formalizes the process of suggesting improvements to Tezos.

By analogy to ERC-20, we created a standard for the Tezos cryptocurrency and called it FA1.2.

Learn more

Creation of Tezos Packaging & Private Tokens

In addition, we did work to improve the surrounding ecosystem of Tezos by creating packaging solutions and introducing new smart contracts.
Tezos Packaging
As the installation of Tezos infrastructure using Docker or building from the source was rather complicated, TQ invited Serokell to improve it.
Private Tokens
Since this project is a long-term partnership, Serokell is currently working on the development of new Tezos private tokens. We are the first team to build smart contracts of that scale on Tezos for production use.

Results

The Tezos ecosystem has grown, adding more and more features, standards, and smart contracts in deployment. Serokell has been supporting TQ Tezos by actively participating in project development, investigating modern algorithms, and providing a helping hand whenever it is needed.

Let’s Have a Chat

We would be happy to discuss your project and propose solutions.

Tezos Packaging Solution

Brief

Tezos software consists of several programs. One can install Tezos software either by using Docker images or building from source. Most people don’t find it convenient to build Tezos programs from source. However, Docker is also not a perfect option because it still adds some overhead compared to using executables directly. So, TQ hired Serokell to find a solution and make it easier to obtain Tezos’ executable files.

Solution

We used Nix to build Tezos software. In the end, we got static binaries that can be run on any Linux machine. We also created `.deb` and `.rpm` packages with these binaries and published them to Launchpad PPA and Fedora Copr. Our CI builds everything and makes a pre-release on each merge to master. When it’s time for a new release, we turn the latest pre-release into a real release.

Results

Compared to the Docker-based approach, our solution is easier to use because you can use the program directly as opposed to using it via Docker. We have managed to simplify the installation process and provide users with a convenient solution that encourages them to use Tezos.

Private Tokens

Brief

Elevated Returns, BTG, and TZBTC are private tokens developed by Serokell on Tezos

Elevated Returns, BTG, and TZBTC are three separate projects for Securitize, BTG Pactual, and Bitcoin Suisse respectively. These companies hired Serokell to develop smart contracts for them. We were the first ones to build smart contracts of that scale on Tezos for production use.