Tezos Foundation - March 2021
←
→
Page content transcription
If your browser does not render page correctly, please read the page content below
“ Tezos has seen more evolution in the past two years than the rest of the industry combined. Through its upgradability, other blockchains become Tezos’ testnets.
Preface Dear Tezos Community Since the last issue of our biannual update in deployment is key to winning the marathon September of last year, the Tezos project has race to global adoption. It is even more crucial continued along a strong pathway to long-term to understand that the Tezos Foundation is not growth, despite an unprecedented amount of Tezos but only one entity in a global ecosystem. volatility in the global economy. The world that Our role is to sustainably deploy the resources we have begun to reenter will be fundamentally that are under control to support the long-term different than the world that came before. What success of Tezos. This long-term success will only is clear, at this moment, is that blockchain tech- be possible with a vibrant decentralized eco- nology will play a key role in a post-COVID-19 system. Our goal is to empower independent, world and that we all need to adapt to this new high-performing organizations in this ecosystem reality. With its governance function, Tezos can and ensure that they have the resources needed continue to evolve and therefore be the block- to solve the challenges that lay ahead. chain the world needs. No one understands the Tezos Foundation’s role During the period that this report covers, the better than Arthur Breitman, an early architect Tezos blockchain was successfully upgraded of Tezos. We are delighted to welcome Arthur twice. Delphi, the first upgrade, significantly im- to the Tezos Foundation Council, where his proved the performance of the Michelson inter- technical expertise and unparalleled knowledge preter and lowered gas fees significantly while can inform the Council and help fulfill the Tezos Edo was adopted only a few months later and Foundation’s mission. added continuous performance improvements and, with Sapling, a powerful tool that enables There is much to look forward to and be hopeful new types of applications, such as voting and about when it comes to Tezos. In this report, asset transactions with selective disclosures. you will find information about the 62 grantees With Florence approaching on the horizon, it based in 21 different countries that have re- is clear that the Tezos upgrade process has ceived new funding since September 2020. 42% reached a seamless regular cadence and so we of these projects are new to the Tezos ecosys- say with a smile that for Tezos, other blockchains tem and we welcome their ideas and enthusiasm have become a testnet. for Tezos. We are confident that 2021 will prove to be a very bright year for Tezos. It is crucial to understand that we view Tezos as a long-term project - where a solid technical The Tezos Foundation Council foundation and long term capacity for capital 3
Table of Contents Preface Research, Education, Financials 3 & Core Development 44 Grants Mission of the 14 Tezos Foundation 5 Ecosystem – Tools & Applications Grants The Past Six Months 20 with Tezos 6 Community Grants Governance 34 48 Facts & Figures 8 Industry Adoption Grants 38 9 Council & Committees of the Tezos Foundation Industry Adoption – 49 Priorities & Process Collaborations 10 39 Foundation Council 50 Grantees & Other A Map of the Funded Entities Tezos Ecosystem Foundation Committees 13 42 52 4
Mission of the Tezos Foundation Tezos is a technology that powers a distributed, peer-to-peer, permissionless network. No single entity owns, manages, or controls Tezos. Understanding this paradigm is fundamental to understanding Tezos. The Tezos Foundation is a Swiss foundation, nications, all working toward the success supervised by the Swiss Federal Foundation of a platform that we believe will ultimately Supervisory Authority. Its global purpose drive innovation on a global scale. is to facilitate and enable the promotion and development of new technologies The Tezos Foundation fulfills its mission by and applications, especially in the fields deploying resources that support the long- of new, open, and decentralized software term future of the Tezos project. Grants and architectures, including the promotion and other capital deployment vehicles offer a development of the Tezos protocol and strategic way to help community members, related technologies. such as educational and research institu- tions, developers, or activists from all over As highlighted in the Tezos position paper, the world, to support the advancement of the success of any decentralized network the Tezos project. is determined by the efforts of a robust, diverse, and flourishing community. The Tezos’ potential rests in the hands of its Tezos Foundation exists as a part of this community, which is among the strongest eco-system, alongside developers, scien- and most exceptional in the blockchain tists, network validators (“bakers”), enthusi- ecosystem. All interested parties are asts, and independently managed entities welcome to join the Tezos community and in charge of tech, adoption, business contribute to the project. development, and marketing and commu- The success of any decentralized network is determined by the efforts of a robust, diverse, and flourishing community. The Tezos Foundation exists as a part of this ecosystem. 5
The Past Six Months with Tezos 10 11 12 01 09 Selected Events from the Tezos Ecosystem 08 January 6, 2021 Saudi Arabia’s Taibah Valley becomes the first December 31, 2020 Middle Eastern corporate As part of Tezos Commons’ baker in the Tezos monthly community ecosystem. November 5, 2020 reward program, several The Swiss bank Sygnum is community members January 7, 2021 the first regulated bank to receive tez for their Launch on Tezos’ testnet October 29, 2020 launch staking for Tezos for contributions to the of kUSD, a trustless, Kukai Wallet introduces its clients. ecosystem. algorithmic stablecoin that DirectAuth on Tezos, is collateralized by XTZ September 25 , 2020 allowing users to send November 17, 2020 December 28, 2020 and soft-pegged to the US Sword launches Tezos and receive tez with their Sword France expands its Stably brings the USD- dollar. DigiSign, an open source Google, Reddit, and Twitter involvement in the Tezos backed stablecoin, USDS, August 25 , 2020 solution to digitally sign, accounts. ecosystem by becoming a to Tezos. Luke Youngblood and store and verify documents corporate baker. Keefer Taylor present on the Tezos blockchain October 30, 2020 Harbinger, a project to ecoo, a coin for local deliver signed price feeds September 30, 2020 businesses is launched by based on market data from Launch of Dexter, the Papers, DU DA and Farner multiple exchanges to the first noncustodial and Consulting as a platform Tezos network. decentralized exchange on for customized, earmarked Tezos. payment instruments in a August 27 , 2020 Swiss pilot city. Spruce Systems are working on decentralized identity (DID) capabilities built using the latest W3C standards. Between Aug. 12 & Sept. 4: Between Oct. 20 & Nov. 12: Between Nov. 12 & Dec. 5: Between Jan. 21 & Feb. 13: The Tezos Delphi upgrade The Tezos Delphi upgrade The Tezos Edo upgrade The Tezos Edo upgrade is 2020 is proposed. is activated. is proposed 2021 activated. August September October November December January 6/7
Facts & Figures Some Tezos Foundation Highlights Since August 2020 USD M in assets (as of January 31, 2021) 62 new grants in total issued USD M new grants new committed council members countries where grantees Grant Platform launched are based 8
Grants – Priorities & Process A key activity of the Tezos Foundation is to deploy resources to entities and initiatives that will help to ensure the long-term success of Tezos. The Tezos Foundation is focused on three grant categories: Research, Education & Core Development Grants Foster innovation, development, and education about Tezos. These grants include a range of projects, from online training courses to core protocol development. Ecosystem – Tools & Applications Grants Lower barriers to entry to help make Tezos as accessible as possible for developers and end users of subsequent applications. Community Grants Support other organizations and initiatives that strengthen and grow the Tezos community to which the Tezos Foundation belongs. With the launch of the Tezos Foundation’s Grant Platform, a range of areas of interest have been published. These reflect our current needs and change based on the priorities at a given point in time. Over the past months the areas of interest published focus on baking, developer experience, education and training, end-user applications, privacy and security. Additionally, the Grant Platform allows the submission of proposals that are not listed as a priority but may advance the Tezos eco- system. The launch of the Grant Platform also marks a transition to the ongoing possibility of handing in proposals rather than during specific time slots. This biannual update stays consistent with previous updates and uses the three overarching categories for projects. 10
Our Evaluation Process Step 1 Anyone can apply with a project at any time. The Tezos Foundation’s website contains links that guide to the Grant Platform. Applications are initially vetted to ensure they fulfill the Tezos Foundation’s formal and substantial require- ments. Vetting is performed by several contributors from the Tezos ecosystem. The Technical Advisory Committee (TAC) has full visibility over reviewers and ensures adequate management of potential conflicts of interest. Step 2 Applications that pass through the initial review phase are sent to the Tezos Foundation’s TAC for technical due diligence and evaluation. The list of current TAC members can be found on the Foundation’s website. The TAC does not make grant decisions itself, but rather offers advice on an application’s tech- nological strength and usefulness to the Tezos ecosystem. Step 3 Applications that receive positive recommendations from the TAC complete a due diligence process before final decisions to approve, decline, or revise grant applications are made by the Executive Committee or the Tezos Founda- tion Council. Step 4 Final decisions about grant applications are communicated to applicants after they are made by the Tezos Foundation. Lastly, approved applicants collabo- rate with the Tezos Foundation to complete legal paperwork before a grant is finalized. In some circumstances, when projects are of sig- Grants are usually paid out in multiple install- nificant importance to the Tezos ecosystem, the ments. Such installments are subject to a pay- Tezos Foundation will push applications through ment schedule to ensure that predefined mile- an out-of-cycle process. It is important to note stones are achieved. The Tezos Foundation con- that although these applications are expedited, trols payments and assesses milestone reports they undergo the same due diligence process from grantees prior to follow-on payments. It and require the same approvals. may involve the TAC in this process if technical The process underwent a change in Q3 2020 to- assessments are needed. The Tezos Foundation gether with the launch of the Tezos Foundation’s will not distribute follow-on payments for pro- Grant Platform and the communication of areas jects that do not hit their deliverables. of interest on its website. 11
? Flying evolves. Tezos evolves. Since its inception, Tezos has had five upgrades: Athens, Babylon, Carthage, Delphi, and Edo. 12
Grantees & Other Funded Entities Since the last Biannual Update (September 2020), the Tezos Founda- tion has committed funds to 62 new projects across 18 countries for a total amount of USD 51.3 M. 21 of the 62 new grants (34%) are to organizations or individuals that were not previous grant recipients. The increase of committed funds compared to the period covered in the last Biannual Update predominantly relates to large annual grants that were entered into at the beginning of the year. Some projects that previously received grants and are still active are not listed in this Biannual Update. Please see the Tezos Foundation’s previous Biannual Updates for information on earlier grants. 10.3 M (20%) Community 25.3 M (49%) Grants Ecosystem – Tools & Applications Grants USD 51.3 M 15.7 M (31%) Research, Education & Core Development Grants 13
Research, Education & Core Development Grants The Tezos Foundation supports research on and education about a wide spectrum of domains pertaining to computer science, such as distributed systems, cryptography, programming languages, and formal verification. A significant amount of resources are allocated toward supporting scientists and engineers at top-tier institutions and organizations around the world, as well as educational programs to train future talent. These initiatives, and others that contribute to core protocol development, are a top priority for the Tezos Foundation. Grantees and Other Funded Entities: Core Development • University of Freiburg, Germany • Bolt Labs, USA • Inacta, Switzerland • DaiLambda, Japan • Indian Institute of Technology • Marigold, France (IIT Madras), India • Metastate, Switzerland • Kestrel Institute, USA • Nomadic Labs, France • Nagoya University, Japan • OCaml Labs, UK Research & Education • OCTO Technology, France • B9lab, UK • Simple Staking, Malta • Baking Bad, Russia Spruce, USA • Cryptoverse Wars, India • Stove Labs, Slovakia • France-IOI, France • Tarides, France • VDF Alliance, USA Total: USD 15.7 M Contractual calculated monthly burn-rate per organisation and category: Over USD 500K Up to USD 200K Up to USD 500K Up to USD 50K 14 14
Bolt Labs Team Core Development Marigold is Gabriel Alfour’s French com- pany that has received funding to both Bolt Labs is a US-based firm building grow their core developer team and work zkChannels to provide fast and private on several high priority Tezos core protocol transactions on blockchains. By deploying topics such as performance, concurrency privacy-preserving state channels, trans- and codebase maintenance. actions are gathered off-chain, relying on zero-knowledge proofs and multiparty Metastate, a Switzerland-based, security- computation techniques. With the grant, oriented entity, is dedicated to distributed Bolt Labs will enable privacy-preserving ledger research and protocol develop- state channels on the Tezos blockchain. ment. Metastate researches and develops a number of technologies to help advance DaiLambda, a Tezos core development the Tezos project. Notably, they work on team based in Japan, is dedicated to consensus algorithms, privacy-preserv- research and development of the Tezos ing features, proof-of-stake and staking core protocol and smart contracts. The products, governance, smart contracts, DaiLambda team has extensive experi- sharding, and more. Metastate collabo- ence with OCaml stemming from time in rated with other Tezos developers on the academia at Inria in Paris, and contributes Delphi and Edo upgrades. to the growth of the Tezos ecosystem in Japan and the Greater Asia region through training and consulting engagements. The grant covers the Plebia project that targets storage optimisations for the Tezos core protocol as well as promotional activities in Japan. 15
Nomadic Labs is a French firm that conducts ongoing research into formal verification of smart contracts, consen- sus algorithms, and possible zero-know- ledge cryptography implementations for Tezos. Nomadic Labs continues to work on Michelson, a domain-specific language for writing smart contracts on Tezos, as well as an additional low-level language, Albert, which will serve as a compilation target for high-level languages. The team has con- tributed to past protocol upgrades such as Delphi and Edo. Furthermore, Nomadic Labs collaborates with global research institutions and universities on the develop- ment of the protocol. They work together with the global Tezos developer community to support development initiatives and streamline workflows across various teams and contributors to the Tezos project, as well as develop foundational projects such as a reference wallet. Research and Education B9lab is a UK-based company specialized in technology adoption, enterprise learning, and consulting solutions focused on the blockchain and decentralized applica- tion space. The team received funding to develop an educational experience for developers who want to learn how to develop Tezos applications leveraging the Nomadic Labs Core Development Team ecosystem stack. They are building a freely accessible training course and a developer- centric continuous security offering (CSO) Cryptoverse Wars is developed by the use case as part of their efforts. Indian firm BUIDL Labs wich is built by and for entrepreneurs, supporting them in their Baking Bad is an active, Russian Tezos growth. They continue to develop the proj- development team that builds a variety ect as an interactive and fun code school of Tezos products such as Better Call Dev, that onboards developers to the Tezos a smart contract explorer, and TzKT, an ecosystem by teaching them to write Tezos advanced block explorer, indexer, and API. smart contracts in SmartPy. In addition to continuing with its existing projects, the Baking Bad team received The French association France-IOI has the funding to create an interactive Tezos de- goal to make as many people as possible veloper training program to help onboard discover programming and algorithms. By more developers to the Tezos ecosystem. providing resources, training, and competi- tions the association is, for example, sup- porting high school students in attending the International Olympiad in Informatics. The purpose of the grant is to broaden their offering of Tezos-related languages such as OCaml and Michelson. 16
Peter Thiemann is a full professor of in- Nagoya University is the third-highest- formatics at the University of Freiburg in ranked higher education institution in Japan Germany. Professor Thiemann received this with over 16,000 students. Jacques Garri- grant for Contract Orchestration for OCaml gue, a professor at the Graduate School of (COOC), a project to ensure a smooth inter- Mathematics, is working on the Certifiable action between OCaml and Michelson and OCaml Type Inference (COCTI) project to to provide a framework that guarantees the make OCaml type inference more robust, correct orchestration of contract invocation modular, and verifiable by modularizing the from an application program in the OCaml OCaml type checker using constraint-ba- language. sed type inference and certifying it using the Coq proof assistant. Further, the grant Inacta is a Switzerland-based professional will support the teaching of blockchain- and service firm focusing on information ma- verification-related related topics as well nagement. With a team of over 60 experts, as technical courses on Tezos technology they offer both consulting and implemen- in collaboration with DaiLambda and other tation services, including in the blockchain Tezos teams in the Greater Asia region. field. The grant is provided to support the transition and training of their consultants At Cambridge University, OCaml Labs is on the Tezos blockchain and to support such a top-tier functional programming and implementations in the region of Germany, multidisciplinary computer science team Switzerland and Austria.. based in the UK. With this grant, the OCaml Labs team will migrate the Tezos codebase The Indian Institute of Technology (IIT to the new duniverse build system, which Madras) is a world-class institute with over will help improve the speed of Tezos builds 8,000 students and nearly 550 faculty staff and smooth the development workflow concentrating on higher technological edu- for developers. OCaml Labs is working cation as well as basic and applied research. with researchers at the Indian Institute of IIT Madras received a grant to upstream Technology (IIT Madras), one of the foremost multicore support for OCaml and extend institutes of national importance in India in the Tezos tool stack, specifically Irmin and higher technological education and applied Lwt. The team is in close collaboration with research, on this project. OCaml Labs for this project. OCTO Technology is a French consulting The Kestrel Institute, based in the USA, is and IT realization firm within Accenture a nonprofit research center for computer Digital. With this grant, the OCTO team science. Their team is formally verifying the built and improved Tezos Academy, a freely functional correctness of the R1CS imple- available online platform that teaches LIGO mentation of Jubjub elliptic curve operations smart contract development in a fun and described in the Zcash Protocol Specifica- user-friendly manner. tion. Their work will be used in collabora- tion with Nomadic Labs and in Tezos’ core Simple Staking is a Malta-based firm development. building TezEdge, a Tezos node in the Rust programming language, a popular language with a focus on safety. They collaborate with Nomadic Labs and the larger Tezos devel- oper community on the project. With a Tezos node in Rust, the ecosystem profits from a higher diversity of node implementations, further increasing decentralization and robustness of the network. 17
Tarides is a French software engineering firm focusing on virtualization, distributed sys- tems, and programming languages. Tarides received a grant from the Foundation for the integration between Tezos and MirageOS and its further development as well as for porting and maintaining Tezos on new platforms such as Windows and JavaScript. The team also ensures long-term support of MirageOS libraries used in Tezos. The VDF Alliance is a collection of world- class academic, nonprofit, and corporate collaborators building open-source hard- ware for the blockchain ecosystem. The Tezos Foundation joined the VDF Alliance to support research and development that will hopefully improve the security and scalabili- ty of blockchain protocols like Tezos. Spruce Team Members The US-based team Spruce joined the Tezos ecosystem to build a digital and self-sove- reign identity solution on Tezos. The main products the team is working on are a mobile application as a credential wallet, a Web2 and Web3 application/platform for credential issues, verifier tools, an ecosys- tem steward portal, and several infrastructu- re deliverables such as identity bridges and SDKs. Stove Labs is a firm based in Slovakia that is building Tezos School, a comprehensive and up-to-date curriculum of content for develo- pers to learn how Tezos can be utilized. They promote this project including the develop- ment of use cases to be taught. 18
? Phones evolve. Tezos evolves. Since its inception, Tezos has had five upgrades: Athens, Babylon, Carthage, Delphi, and Edo. 19
Ecosystem – Tools & Applications Grants The Tezos Foundation supports many teams is building tools that will help developers of varying skill levels build novel applications on Tezos and contribute to the growth of its ecosystem. To date, the Tezos Foundation has focused on five main areas within this grant-making category: programming languages and libraries, block explorers and analytics, smart contract development, infrastructure, and applications. Grantees and Other Funded Entities: Programming Languages and Libraries Smart Contract Development • Ackee, Czech Republic • Agile Ventures, Czech Republic • Alexandre Moine, France • Anchor Labs, USA • Attic Lab/Everstake, Ukraine • Baking Bad, Russia • Edukera, France • Biconomy, Singapore • Go Tezos, USA • DaiLambda, Japan • Luiz Milfont, Brazil • Guillem Rieu, France • Madfish Solutions, Ukraine • Johann Tanzer, Austria • MoneyTrack, France • Runtime Verification, USA • NEOFACTO, France • Smart Contract Labs, Estonia • Nomadic Labs, France • Tezsure, India • Simple Staking, Malta • Truffle Blockchain Group, USA • Sotez (Andrew Kishino), USA • Korea University (Hakjoo Oh), Korea Block Explorers and Analytics Infrastructure • Baking Bad, Russia • Anyblock Analytics, Germany • Blockwatch Data, Germany • Attic Lab/Everstake, Ukraine • Papers/AirGap, Switzerland • Baking Bad, Russia • Bender Labs, France • Breadwinner, Switzerland • camlCase, USA • Crypto Storage, Switzerland • Cryptonomic, USA • dOrg, USA 20 20
Infrastructure (cont.) Applications • Dream Way, Turkey • Andrii Sobol, Ukraine • DSENT, Switzerland • Atlas One, Canada • ECAD Labs, Canada • Blockcurators, Germany • Equisafe, France • Botwars Ultimate Trading, UK • Figment Networks, Canada • Chain of Insight, Canada • Fireblocks, Israel • Diginex Solutions, Hong Kong • FutureSense, Korea • Electis, France • Global P.O.S, France • hicetnunc2000, Brazil • Gravity, France • IBF Net, Malaysia • Henrik Moe, USA • LeewayHertz, India • ImToken, China • Madfish Solutions, Ukraine • KoineArth, Singapore • Mudit Marda, India • Kukai (Klas Harryson Consulting), • Nzinghaa Lab/Ejara, Cameroon Sweden • Shubham Kukreja and Khushi Asawa, • Ledger, France India • LIGO, France • Sword France, France • Magic Labs, USA • Trout Labs, USA • Metaco, Switzerland • Wolfram Blockchain Labs (WBL), USA • MIDL.dev, Estonia • OCTO Technology, France • Ozone Networks, USA • Papers/AirGap, Switzerland • Pierre Genevès, France • Shareable Asset, Singapore • SkillZ, France • Smart Chain Arena, USA • SmartChain, UAE • Soulmachine, UK • Stably, USA • Sylo, New Zealand • Taurus, Switzerland • TQ Tezos, USA Total: USD 25.3 M Contractual calculated monthly burn-rate per organisation and category: Over USD 500K Up to USD 200K Up to USD 500K Up to USD 50K 21
Programming Languages Luiz Milfont is based in Brazil and is working and Libraries full-time on advancing the Tezos project there. He received a grant for creating In order to make Tezos as accessible as libraries in programming languages so that possible, the Tezos Foundation supports Tezos may be present in several programm- engineers in creating open-source soft- ing environments and frameworks as well ware that helps lower barriers to entry to as for educational initiatives targeting the Tezos development. Portuguese-speaking audience. Ackee, the Czech development team, The Ukrainian software development worked on updating its existing TezosSwift company Madfish Solutions is working on project, including tutorials and a proof of several projects to help advance the Tezos concept application. ecosystem. As part of this category, they will improve the eth2tez (sol2ligo) transpiler Alexandre Moine, who is based in France, to help developers migrate smart contracts developed a linter for the LIGO language. from Solidity to LIGO. He received funding to build a compiler hook and lint-ligo 1.0, which is able to take linting rules as inputs and produce user- friendly reports. His development is in colla- Tezos’ functional pro- boration with the LIGO development teams. gramming makes us con- The Ukrainian firm Attic Lab/Everstake is receiving funding for several projects. As fident about having top- part of their efforts, they are building and improving TezTracker, a Tezos block ex- grade, provable reliability plorer, and a Tezos multisig wallet. They re- ceived a grant to build and deploy both the across systems built on back and front ends of the block explorer, while relying on an existent, efficient, and Tezos. publicly available indexer. Madfish Solutions Edukera is a France-based company focusing on smart contract security. The MoneyTrack is a France-based team team contributes to Tezos smart security building a payment platform for direc- efforts through Archetype, a domain-spe- ted currency that combines the world of cific smart contract language focused on traditional payment with the guarantees security for the Tezos blockchain. They of control, traceability, and irrevocability received a grant from the Tezos Foundation of blockchain. As part of their efforts on to further this project and contribute to the Tezos, they are developing a Dart library for formal verification process for Archetype Tezos to facilitate developers’ adoption and smart contracts. remove friction in dApp development. Go Tezos, created by Tezos developer The consulting firm NEOFACTO, with offices Brice Aldrich in the USA, is a popular Go in France, Luxembourg, and Belgium, has library that exposes and builds upon the a team of over 80 members supporting Tezos remote procedure call (RPC). Brice companies with their digitization initia- continues to improve Go Tezos by adding tives. As part of their offering, they provide additional features such as smart contract blockchain consulting as well as applica- deployment and more RPCs, increasing test tion development. The team received a coverage and improving security. grant to contribute to the Tezos project by developing and releasing a Java connec- tivity toolbox (EJ4Tezos) to help boost the adoption of Tezos in the enterprise world. 22
Michelson, maintained by Nomadic Labs, is Block Explorers and Analytics the programming language for Tezos smart contracts and was designed with formal The Tezos Foundation has also made it a verification in mind. Even though it is a priority to fund the development of open- rather low-level, stack-based language, its source block explorers and other tools to static type system eliminates a whole class help community members analyze the of programming errors before the execut- Tezos blockchain. ion of smart contracts. Nomadic Labs also works on Albert, an intermediate smart Baking Bad is a Russian Tezos develop- contract programming language intended ment team that builds a variety of widely to serve as a compilation target for high- used products in the ecosystem. This grant level languages. Furthermore, Nomadic supports the team with the further improve- Labs maintains Mi-Cho-Coq, a specifica- ments of TzKT, a lightweight, API-first, ac- tion of Michelson using the Coq interactive count-oriented block explorer for the Tezos theorem prover. This provides a formal spe- blockchain. They received further grants cification of the syntax and semantics of for Better Call Dev, a Tezos smart contract Michelson, as well as a framework to verify explorer. smart contracts. Blockwatch Data, which is based in Germa- Simple Staking is a Malta-based firm that ny and led by Alex Eichhorn, received an continues to build TezEdge, a Tezos node in additional grant to accelerate the develop- the Rust, programming language, a popular ment of TzStats, a Tezos block explorer, and language with a focus on safety. They its underlying blockchain indexer, tzindex. collaborate with Nomadic Labs and the In addition to ensuring compliance with larger Tezos developer community on the future protocol upgrades, TzStats will also project. With a Tezos node in Rust the eco- allow users to track upcoming Tezos-based system profits from a higher diversity of assets (tokens). A recent API upgrade in- node implementations, further increasing cluded the addition of features such as decentralization and robustness of the net- implicit on-chain events, contract interface work. hashes, and entry point filters and statis- tics. Andrew Kishino is a US-based Tezos devel- oper working on Sotez, a bare-bones Papers, the Swiss team behind the AirGap JavaScript library for interacting with Te- wallet, is an active development team in zos. The firm received a grant to continue the Tezos ecosystem. The Papers team con- said development on Sotez and also to tinues to improve tezblock, a Tezos block contribute to Taquito, a TypeScript library explorer, by adding more advanced baking suite for development on Tezos. and governance data through integration with Tezos Agora, Tezos smart contract and asset support, and other key metrics and data visualizations. 23
Baking Bad Team Smart Contract Development Anchor Labs is a US-based team that is working on bringing Golang support to Tezos supports institutional-grade smart Tezos’ smart contracts. They are working on contracts. The Tezos Foundation funds expanding the scope of Anchorage’s open- tools to help lower barriers to entry for source library to support creating and invok- Tezos smart contract development and the ing contract scripts in the Go language. applications that will follow. Adding to its list of products in develop- Agile Ventures, based in the Czech Repub- ment, Baking Bad works on Atomex STO lic, is an in-house software development Gate, a collection of flexible program team and consultancy group that has modules to provide various atomic swap im- worked on a number of Tezos projects since plementations for digital securities (security 2016. They are currently receiving several tokens) and other Tezos asset standards. grants. Continuing from their work on TaaS, the Agile Ventures team continues working The Singaporean company Biconomy is on bringing GraphQL subscriptions on top focusing on Web3 applications. The team of Tezos, collaborating both with ECAD develops a metatransaction protocol for Labs and Nomadic Labs. Further, they are Tezos. As part of these efforts, they develop building a set of smart contracts for a Tezos a TZIP and collaborate with other Tezos de- Domains dApp, where users can participa- velopers on a standard for smart contracts te in domain auctions and manage their to support metatransactions in order to Further, they are building a set of smart leverage gas-optimized metatransactions contracts for Tezos Domains, a dApp where and a client-side SDK that allows developers users can participate in domain auctions to easily plug into relayer infrastructure to and manage their domains as well as load- leverage metatransactions. The team is balanced, and geo-redundant deployment collaborating with ecosystem teams such as of the Tezos Domains Indexer and publicly TQ Tezos. available API. of the Tezos Domains Indexer and publicly available API. 24
DaiLambda development team, based in Smart Contract Labs is an Estonian-ba- Japan, received an additional grant to sed team focusing on blockchain products lower the burden of developing high-qua- on modern proof-of-stake platforms. Their lity smart contracts using formal methods. team is contributing to the Tezos project by This will include establishing a concept of building a platform for creating and trading a Typical Smart Contracts (TSC) Agency synthetic assets on Tezos, starting with and building an open-source prototype for binary options. such a platform. The platform will be a web application where visitors follow an intuitive Tezsure is an India-based team focused and informative wizard to create a smart on building Tezos tools for decentralized contract generated from one of many tem- finance (DeFi) applications. This grant helps plates provided. the Tezsure team continue to build Tezster, a testing tool for Tezos development, by Guillem Rieu, who is based in France, is implementing more advanced features, working on the PeerPatron platform and producing tutorials and explainer videos, related open-source tools with the goal of and adding examples of smart contract developing a Tezos-based alternative to templates. conventional crowdfunding platforms like Patreon. In this project, he will also release Truffle Blockchain Group, the US-based templates for dApps and smart contracts team behind the world-class development as well as tutorials and full documentation. environment Truffle Suite, received a grant to achieve its objectives with regard to con- Johann Tanzer, based in Austria, is the tributing to the Tezos project by supporting lead developer of Tplus, a tool that helps the development of a software program developers manage Tezos environments that implements Tezos support for the (sandboxes and public nodes) to lower the Truffle smart contract development tool. barriers for development on top of Tezos. Truffle support will be added for the Smart- He received a grant to incorporate existing Py programming language. The team will open-source projects and libraries into also create a proof-of-concept, Tezos- Tplus, improve its user interface (UI) and flavored Ganache. user experience (UX), and promote its use and adoption in the community. Korea University has around 30,000 stu- dents as one of the oldest institutions of Runtime Verification is a US-based com- higher education in the country. Hakjoo Oh pany that uses runtime-verification-based is an Associate Professor in the Computer techniques to improve the safety, reliability, Science department and received a grant and correctness of software. Building off of to build a fully automated tool to verify and its previous Tezos work developing formal test the integrity of smart contracts written semantics of Michelson in the K frame- in Michelson. work, the firm created a formal verification framework for Michelson by extending its existing unit-testing framework to handle the case of symbolic unit tests. Furthermo- re, the team has started their work on a Firefly client for Michelson that can present coverage information directly over the Michelson code. 25
Infrastructure Breadwinner is the Swiss company behind the BRD wallet, which is integrating Tezos, Infrastructure is essential to a thriving including the ability to delegate tez to ba- blockchain ecosystem. In the case of kers in the network. Tezos, projects building critical infra- structure like financial primitives and asset The US-based team at camlCase, which is standards make it easier for developers to focused on (DeFi) development and edu- use these public goods to build novel appli- cation, received grants to launch and conti- cations on Tezos. nue both Dexter, a decentralized exchange, and Magma, a mobile wallet. Magma has a The German firm Anyblock Analytics is native integration of Dexter and is availa- a blockchain solution provider offering ble on both iOS and Android. Furthermore, consulting, tools, and data to integrate they received funding to build and launch business processes with blockchain. One a mobile smart wallet for Tezos with native key offering of theirs is the Anyblock Index, integration with Dexter. which enables searching, processing, and analyzing of blockchain data. The grant Crypto Storage is a Swiss company that is covers adding the Tezos blockchain to their part of Crypto Finance AG, which focuses indexer and enabling it to be queried using on storage infrastructure and tokenization. Elasticsearch DSL and SQL free of charge The team therefore integrated Tezos’ FA1.2 for the community. and FA2 token standards into their system for their client’s projects. Attic Lab/Everstake is a Ukrainian team working on several projects for which they receive funding. As part of their efforts for Tezos’ infrastructure, they are operating and maintaining the Tezos Giga Node for a reliable and stable operation for the Tezos ecosystem. Furthermore, they are building a Tezos multisig wallet web application that also supports the creation of continuous vesting contracts making use of Paper’s Beacon for signing and authentication. Baking Bad is further developing IMichelson, a Jupyter (interactive note- book) kernel, for education and prototyping purposes based on a custom Michelson Cryptonomic Team interpreter with runtime type checking and further features such as basic autocomple- tion. The US-based firm Cryptonomic builds infrastructure solutions. They provide tools Bender Labs is a France-based team cur- and smart contracts that enable higher- rently building an MVP of the Wrap proto- level decentralized and consortium appli- col, allowing anyone to easily wrap ERC20 cations. The firm received a grant to devel- tokens into tokens on Tezos. Their project op oracle services on Tezos via Chain- includes technical and nontechnical key link, including ongoing maintenance and features such as making use of FA2’s white- community engagement, with which they listing capabilities and building a wrapping will touch on existing projects such as their consensus and incentive systems as well as Arronax block explorer. a user-friendly web interface. 26
dOrg is a full-stack freelancer agency They will further integrate Tezos into Data based in the USA building and running Hub, a “full-nodes-as-service” offering to on Web3 The team designs and devel- make it easier for developers to access ops Homebase, an app for creating and Tezos blockchain data via an API. interaction with DAOs using the BaseDAO framework on Tezos. Fireblocks is an Israel-based company that develops and operates their digital asset Dream Way is a Turkish company helping custody, transfer, and settlement platform. drive the adoption of Tezos tokens among Their platform uses multiparty computa- retailers and online merchants. They re- tion (MPC), and they have integrated Tezos’ ceived a grant to continue advancing native token, including the support for Payzos, a set of plug-ins for e-commerce staking, and are building tokenization ca- platforms that lets users set up a Tezos as a pabilities using FA1.2 and FA2. payment method for their online stores. FutureSense is a Korean-based compa- Dsent, which is based in Switzerland, is ny incorporating Tezos in its efforts with working on tokengate.io, a token issuance the NIA National Police Agency in Korea, platform on Tezos, including payment via including a DID subsystem, data integ- Tezos tokens. Their product focuses on insti- rity subsystem, and a token-based data tutional clients such as banks that want to marketplace. With its efforts, the team is make use of tokenization. The firm received collaborating both technically and on a a grant to build a token wallet generation communication level with Tezos ecosystem tool as well as the integration of the FA2 members such as Nomadic Labs and TQ token standard in their platform. Tezos. The Canadian firm ECAD Labs delivers and Global P.O.S is a French company working manages projects in the areas of software on the integration of Tezos into their development, systems engineering, open- Easy2PlayWallet cryptocurrency wallet source development, and support. ECAD and making tez usable for payments at its Labs received a grant to develop a Grafana point-of-sale locations internationally. data source plug-in for Tezos and improve Signatory, a Tezos remote signer. ECAD Gravity is a France-based team developing Labs is also involved in the development of a solution that allows individuals and small Taquito, a TypeScript library suite for de- businesses to bring together verifiable data velopment on Tezos as well as in advancing about themselves in a digital wallet and bu- the Tezos indexer library by Nomadic Labs ild trusted digital identities that are private, to make it better suited for mass adoption. portable, and persistent. As a digital iden- tity project, they are in collaboration with Equisafe is a French company that devel- Spruce ID, during which they are building ops a solution for unlisted companies to an open-source ID stack for humanitarian manage their investors and investments. organizations. Part of their Foundation-sup- Their product is used by start-ups, real es- ported work is the integration of Tezos- tate companies, and investors. The team is based DIDs and verifiable credentials into implementing the FA1.2 and FA2 standards the RedRose system used by NGOs world- into their platform. wide. Figment Networks is a Canadian company Henrik Moe is a US-based developer who is working on Web3 solutions. Their team is working on proof-of-stake reward-related aiming to help make Tezos application de- Tezos projects for which he received grants. velopment a more seamless experience for He has been developing a tool for bakers software engineers. With the grants, they to build taxation reporting, which he is now integrated Tezos into their Hubble Web3 ex- improving under the name cryptocount, plorer, a high-level analytics, alerting, and including improved UI and UX design for its governance tool for the Tezos ecosystem. users. 27
imToken is a China-based company that The LIGO team based in France is ad- developed one of the most popular wallets vancing their work on the LIGO project in the Asian region. The team not only with the objective to turn it into a widely worked on the integration of tez into their adopted and well-supported tool. LIGO is a solution, but also on contributing to the net- friendly smart contract language designed work by running a public baker for its users for developing larger contracts than those and supporting communication efforts in written in Michelson. LIGO is an imperati- the Asian market. ve language that compiles down to clean Michelson code. They received a grant to The Singaporean KoineArth built marketsN, continue their advancements, including the a blockchain- and AI-based, ERP-compa- front end (e.g. error messages), middle end tible solution for organizations to work to- (e.g. public API), and back end (e.g. inter- gether in a collaborative business-to-busi- preter improvements). ness (B2B) marketplace that creates end- to-end visibility and integrates into business Magic Labs (formerly Fortmatic) is a com- processes and vendors on one scalable and pany based in the USA that launched Tezos distributed platform. The team builds this support in its white-label SDK. It enables a marketplace on Tezos, including using the passwordless wallet connector for Tezos- FA2 token. based apps, greatly improving the app’s UX. The grant issued to them includes work on the infrastructure, platform, and front end to support their integration on Tezos. We’re excited about the With their SILO platform, the Swiss firm easy onboarding through Metaco provides custody solutions for financial institutions to manage digital DirectAuth and how users assets. As part of this, the firm received a grant to support both the Tezos blockchain seamlessly send tez directly and its native token in the SILO platform, including changes in the front end, back to social media accounts. end, storage solutions, and the support of delegation and baking. They further recei- Kukai ved it to integrate the Tezos token standard (e.g. FA2) SILO client‘s digital securities Kukai by Klas Harrysson Consulting and using Tezos as the underlying technology. their team in Sweden is a popular wallet for Tezos-based assets. One of its features is MIDL.dev is an Estonian firm providing the ability to use DirectAuth, allowing users staking as a service solution for building an to create wallets through their social media open-source suite of Tezos infrastructure accounts. The team has received a grant tools. They offer solutions providing the to proceed with their development of the infrastructure against a fixed fee, allowing wallet, including UX and UI improvements, clients to stake directly. MIDL.dev received integration with dApps such as Dexter, mo- the grant to simplify the process to imple- bile device solutions, and more smart wallet ment a complete baking infrastructure as features. code in a replicable and secure manner, consequently lowering the barriers to entry Ledger, the France-based company behind for aspiring Tezos bakers. the Ledger Nano hardware wallets, works on security and infrastructure solutions for cryptocurrencies and blockchain ap- plications alike. A grant was issued to add Tezos support and delegation capability to Ledger Vault and maintain said support throughout Tezos protocol updates. 28
Papers Team Members OCTO Technology is a French consulting The Switzerland-based Papers team and IT implementation firm within Accen- collaborates with other Tezos develop- ture Digital. They have been awarded an ment teams to create a wallet interaction additional grant to continue to advance standard to help users interact with appli- the Tezos Link project, an HTTP API to the cations built on Tezos from their browsers. Tezos network. It includes architecture Using this standard, a browser extension, improvements, increased security, handling Beacon, has successfully been developed of testnets, and further advancements such to allow any application developer to easily as better scalability of nodes. The firm is incorporate a wallet via a generic imple- also supported through a grant in their de- mentation. Furthermore, the team integra- velopment of Tezos Land, an open-source tes Sapling into their AirGap solution. boilerplate for a digital collectibles market- place on Tezos. The French developer Pierre Genevès is developing TezQuery, a query engine that Ozone Networks is the US company behind evaluates not only SQL queries, but also OpenSea, one of the largest marketplaces powerful (recursive) queries on the graph for nonfungible tokens (NFTs) worldwide. structure of the Tezos blockchain. Their team is supported to allow users to explore, buy, and sell Tezos NFTs on the Shareable Asset is a team from Singapore main OpenSea marketplace site and ensure integrating the Tezos protocol into Share- embeddable NFT improvements on Tezos. able Asset’s development of a real estate asset tokenization platform for the issuance of real estate tokens on the Tezos block- chain. 29
SkillZ is a France-based blockchain com- Sylo is a team based in New Zealand that pany with the aim of helping firms deploy is building the Sylo Smart Wallet, an appli- enterprise-grade, production-ready infra- cation that combines a digital asset wallet structure. Their goal is into integrate Tezos with a decentralized private messenger. to their platform, allowing clients to deploy The team integrated Tezos into their smart and manage Tezos nodes on multicloud wallet in late 2020 and is further working infrastructure as well as to foster adoption on both a fiat on-ramp as well as providing in the industry and collaborate with the baking services. The Sylo Smart Wallet uses community. a decentralized communications protocol and messaging platform that has a built-in Smart Chain Arena, based in the USA, is the smart wallet for sending secure crypto pay- team behind SmartPy. They have received ments and messages between users. previous grants and are now focusing on improving existing features and new Taurus is a Swiss financial services com- development. Among others, these efforts pany building a next-generation plat- include the support of Tezos’ upgrades, the form to trade, invest, and protect digital ability to easily add metadata to contracts assets. Taurus is also a leading B2B service (TZIP-16), lazy and updateable entry points, provider in Switzerland for cryptocur- the integration of Thanos to smartpy.io, and rency custody. The team integrated the SmartML and SmartJS editors. Tezos protocol as well as the FA1.2 and FA2 standards into their infrastructure. The SmartChain is a technology organization integration speeds up the adoption of the domiciled in Abu Dhabi in the UAE, with protocol by providing robust and trusted presence in Saudi Arabia that has built a infrastructure targeting institutional players platform called Aqar Chain. They are the and providing secure access for Tezos to first in the Gulf Cooperation Council (GCC) some leading financial institutions. to tokenize real estate property using blockchain technology and offer fractional TQ Tezos houses a technology team ownership through crowdfunding for retail building Tezos-based solutions and investors. Their tokenization platform uses open-source software for enterprises and Tezos’ FA1.2 token standard. developers. Among a variety of products in development, TQ Tezos, in collaboration Soulmachine is a team from the UK con- with other Tezos developers, spearheads tributing to the Tezos project by integra- ting the Tezos protocol into OroPocket, a venture of SoulMachine for tokenizing gold and silver assets and enabling swift transfer of these tokens between wallets. The Tezos wallet on the OroPocket platform for users enables transfer of tez and Tezos gold and silver tokens, allowing users to instantly buy and sell gold and silver tokens. US-based Stably has the mission to make financial transactions faster, cheaper, and more transparent through a borderless neo- banking platform powered by blockchain, stablecoins, and open-finance APIs. Stably is integrating Tezos to enable next-gene- ration DeFi applications and stablecoins in the Tezos blockchain. TQ Tezos Team Members 30
the development of a standard for a unified Chain of Insight is a Canadian builder of token contract interface, supporting both decentralized tools and blockchain gaming. a wide range of token types (e.g. fungible, The team has built Tezos based puzzle nonfungible, nontransferable) and mul- games and is currently working on working tiasset contracts. Furthermore, the team on Project Uanon a puzzle game on Tezos focuses on the development of DAOs, ba- with several stages. The game will include king software, reference applications, and Tezos-based NFTs and will play over several private versions of Tezos. months. The Hong-Kong-based company Diginex So- Applications lutions drives institutional adoption of digital assets and blockchain technology. They End-user applications help facilitate the received a grant for building and launching adoption of Tezos and growth of its eco- eMin on the Tezos blockchain. This includes system. The Foundation issues grants to the production of an implementation of projects building applications that target eMin in Thailand in collaboration with a variety of real-world use cases based on Verifik8 (project 1) and with the United Nati- Tezos. ons International Organization for Migration (IOM) (project 2). Furthermore, they are pro- Ukrainian software developer Andrii Sobol ducing an enhanced version of the Diginex received a grant to conduct a game-theo- Trust eMin application for digital auditing retic economic analysis of the QuipuSwap purposes in collaboration with the Ethical protocol and its components. QuipuSwap is Toy Program (ETP) and its member compa- a decentralized exchange protocol to facili- nies, including Mattel. tate the exchange of Tezos-based assets. In this analysis, he aimed to find possible ways of attacking the QuipuSwap protocol and, in case of found vulnerabilities, provide the Tezos NFTs are an eco- QuipuSwap team with possible remedies. system with lots of Atlas One is a Canadian company focusing on digital securities for private capital growth potential with markets. The team is using Tezos as the un- derlying technology of its platform for the functional programming purpose of structuring, creating, issuing, distributing, and managing digital securi- working well to connect ties and digital security offering (DSOs). NFTs to oracles. Blockcurators GmbH, which is based in Ger- Chain of Insight many, is a software development firm that, among other things, focuses on blockchain and cryptocurrency. They received a grant Electis is a nonprofit organization based for integrating Tezos into their CoinKit in France aiming to promote new usage TipBot and for providing related support to of technology for democracy and voting, offer tipping of tez (Tezos tokens) through with particular expertise in blockchain and the bot across a variety of platforms such enabling concrete voting projects. The grant as Twitter, Discord, Slack, and Telegram. will help the Electis team to continue with its Tezos-based e-voting application and Botwars Ultimate Trading is a UK-based support its community of over 50 universities team that teaches players through games from around the world to contribute to the how to trade responsibly in a fun and inno- project. Furthermore, the team is collabo- vative way. In Botwars, you are the captain rating with Spruce to add Spruce’s Tezos- of an army of trading robots and it is your based DID solution to the voting application. job to lead them to victory by conquering the cryptocurrency markets. 31
The Brazilian firm hicetnunc2000 was built Ejara is a mobile application that supports by Rafael Lima, a Tezos, developer in Brazil. cryptocurrencies and tokenized assets He has been building several projects on uniquely tailored to the African market. Tezos and for this grant, he is focusing on With this grant, Cameroon-based Nzinghaa the e-sports community, allowing users to Lab, which is the team behind Ejara, will take part in crowdfunding and e-voting develop and integrate smart contracts into systems. The company received a grant to its product to enable secure wallet back- build and launch an application on Tezos up and key recovery, Bitcoin-Tezos atomic that offers this system, including a marke- swaps, and a cross-chain key registration ting campaign and providing references and recovery system on Tezos. and complete documentation. Shubham Kukreja and Khushi Asawa are IBF Net is an Islamic business and finance students at Savitribai Phule Pune University. network that is leveraging research and They have launched CricTez, a fantasy technology for a halal ecosystem based in cricket crypto platform. The platform Malaysia. As part of their efforts, they are serves each cricket player participating in building a charity management platform the league as multiple NFTs in the form of that integrates Tezos and aims to allow cards/collectibles. The individual players collection, distribution, and management are defined by a fixed number cards. of charity donations in the blockchain, Meantime, the assumption is 100 cards including donations in tez and other (NFTs), each having a score of 1.0 at the cryptocurrencies. commencement of the league. Each card/collectible is exclusive to its card LeewayHertz is an Indian company building score and ownership. digital solutions using emerging technol- ogies for start-ups and enterprises. Their Sword France is an international leader in team has been publishing several Tezos- digital transformation that has engaged focused blogs and receives support in significantly with blockchain technologies. developing a Tezos-based loyalty token The French team is executing a Tezos- backed by tez. based digital signature project to fight against document fraud and fake invoices. In addition to eth2tez, the Ukrainian firm Madfish Solutions received grants to build Trout Labs, a US-based team, is producing the following pieces of infrastructure: an open-source web application dash- QuipuSwap – a protocol enabling a se- board for bakers to manage their baking amless exchange of tokens and assets operations. The platform will enable bakers on Tezos in a secure, decentralized, and to be more transparent about their baking censorship-resistant manner; and Thanos – operations and facilitate proper accoun- a fully featured wallet focused on UX with ting for bakers. integrated support for various Tezos asset standards, dApps, explorers, etc. Further- The US-based team Wolfram Blockchain more, the team is collaborating with TQ Labs (WBL) provides solutions and services Tezos on several projects such as BaseDAO powered by the Wolfram Language, and the Tezos gas station network. Mathematica, Wolfram|Alpha, and assor- ted Wolfram technologies. In collaboration Mudit Marda is an Indian developer who with the TQ Tezos team, they aim to create is focusing on building a marketplace for Wolfram|Alpha integration, oracle integ- NFTs using Tezos’ FA2 standard. His solution ration, and education work completed by is powered by a unified flexible framework WBL. for conducting different formats of auc- tions with customizable auctioning attribu- tes running on the Tezos blockchain. 32
You can also read