Tezos
Edit

Tezos

https://tezos.com/
Last activity: 09.04.2024
Categories: BlockchainCryptoEngineeringPlatformPublicScienceSecuritySmartTechnologyVerification
Tezos is an open-source blockchain protocol for assets and applications backed by a global community of validators, researchers, and builders. The Tezos protocol is secure, upgradable, and built to last. Tezos was built to facilitate formal verification, a technique that boosts the security of the most sensitive or financially weighted smart contracts by mathematically proving the correctness of the code governing transactions. Also, an innovative consensus protocol, based on Liquid Proof of Stake, empowers all the users to contribute, to secure and to be reworded.
Likes
4.21K
Followers
20.82K
Website visits
91.2K /mo.
Mentions
63
Location: Singapore
Employees: 11-50
Founded date: 2018

Investors 15

Show more

Mentions in press and media 63

DateTitleDescriptionSource
09.04.20242024 and Beyond: How is the Future of Cryptocurrency Looking...-entreprene...
20.03.2024Ripple President Reveals Next Crypto Revolution in 2024-u.today/ri...
19.03.2024$500 Million Destroyed Amid Crypto Bloodbath; End of Bull Ma...-u.today/50...
15.03.2024Dogecoin (DOGE) Ticks Past Massive $5 Billion in Large Trans...-u.today/do...
05.08.2023Что такое формальная верификация...Это обзорная статья, в которой очень поверхностно и не подробно рассказывается о том, что такое форм...habr.com/r...
18.07.2023Формальная верификация кода на Coq: тактики...Данная статья является переводом моей статьи: Formalization of code in Coq - tactics, написанной в п...habr.com/r...
12.06.2023Tezos Foundation and Artist Misan Harriman Unveil First Work...Tezos Foundation, which promotes development on the Tezos blockchain, and Misan Harriman, the world-...aithority....
09.05.202310 New Disruptive Startups Have Joined Tezos Art EcosystemFuelarts x Tezos Accelerator 2023 10 Art+Tech startups FxT Accel Partners Fuelarts x Tezos Accelerat...einpresswi...
22.02.2023Google Cloud partners with Tezos blockchain to bring web3 te...Google Cloud has partnered with the Tezos Foundation to grow its web3 application development and pr...techcrunch...
13.12.2022Furry creatures you can own with NFT rights; virtual pets We...DOGAMI, the Paris-based developers of a Web3 pet simulator with NFT tokens that allow players to ado...tech.eu/20...
Show more

Reviews 0

Sign up to leave a review

Sign up Log In