Tezos is a cryptocurrency and decentralized computing platform. Its features include proof of stake consensus, formal verification (which lets developers verify the correctness of their code), and the ability to let stakeholders vote on changes to the protocol. Tezos's block creation process is called "baking" — Tezos holders who stake their tokens can receive Tezos tokens as a reward for creating and verifying blocks.

Aragon builds flexible and secure tools that enable anyone to launch and manage Decentralized Autonomous Organizations (DAOs). In 2016, Aragon built the first DAO framework, which has since powered the creation of over 5000 DAOs and secured over 12B in value for leading projects like Lido, Decentraland, API3, Aavegotchi and NFTX. Aragon recently deployed the new modular Aragon OSx protocol and no-code Aragon App on Ethereum and Polygon. Driven by the mission to enable everyone to experiment with governance at the speed of software, Aragon aims to build a hyperstructure for governance.