Tezos
Software DevelopmentZug, Switzerland51-200 Employees
Tezos operates as an open-source blockchain protocol designed to support assets and applications, backed by a global network of validators, researchers, and builders. The organization functions within the software development industry, emphasizing security and upgradability intended to endure over time. The protocol enables formal verification to mathematically prove the correctness of the code governing transactions, enhancing security for high-value smart contracts. Its consensus mechanism is based on Liquid Proof of Stake, enabling broad participation in securing the network and providing incentives for contributors. Tezos is based in Zug, Switzerland, employs between 51 and 200 people, and maintains the website tezos.com; recent developments include network upgrades and experiments with post-quantum privacy technologies such as TzEL on testnet.