Your browser seems to have problems showing our website properly so it's switched to a simplified version.
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:
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 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.
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.
In addition, we did work to improve the surrounding ecosystem of Tezos by creating packaging solutions and introducing new smart contracts.
As the installation of Tezos infrastructure using Docker or building from the source was rather complicated, TQ invited Serokell to improve it.
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.
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.