Edit

Tezos

https://www.tezos.com/
Last activity: 10.07.2024
Active
Mentions
67
Investment Type: Venture Capital

Mentions in press and media 67

DateTitleDescription
10.07.2024The Protocol: Side-Dealing Accusations Put Crypto VC Funding in SpotlightThe Ethereum Foundation's Vitalik Buterin drew more than 1,000 people into a room in Brussels at the EthCC conference, and CoinDesk's Margaux Nijkerk was on the scene. We've got that story plus lots of announcements emanating from Europe's ...
03.07.2024Protocol Village: Playbux, Metaverse Builder у мережі BNB , запускає власну ігрову мережу L1 $572 Million Lost to Hacks and Fraud in Q2 -Immunefi3 липня: Playbux , орієнтований на метавсесвіт Web3 розробник , спочатку заснований у мережі BNB , запустив ігровий блокчейн рівня 1 без комісії на базі ШІ. За словами команди: « Playbux розширюється, щоб стати L1 на базі штучного інтелекту...
27.06.2024Crypto Capital: How Cryptocurrency is Transforming Venture Capital FundingWhen the mainstream financial world started embracing cryptocurrency, it created a digital revolutionary force that has been prevalent in the past decade and continues to do so. Since 2009, digital currencies have grown exponentially in bot...
09.05.2024How to sort zombie blockchains from the livingfigcaption>span]:font-sans"> There are thousands of blockchains, and many of them barely register activity or hope of ever mattering for anything but speculation. Why it matters: A recent report has sparked a discussion around $1...
09.04.20242024 and Beyond: How is the Future of Cryptocurrency Looking Like? While the world moves towards becoming a Web3 citizen, India looks for government-friendly moves-
20.03.2024Ripple President Reveals Next Crypto Revolution in 2024-
19.03.2024$500 Million Destroyed Amid Crypto Bloodbath; End of Bull Market?-
15.03.2024Dogecoin (DOGE) Ticks Past Massive $5 Billion in Large Transactions as Price Dips-
05.08.2023Что такое формальная верификацияЭто обзорная статья, в которой очень поверхностно и не подробно рассказывается о том, что такое формальная верификация программного кода, зачем она нужна и чем она отличается от аудита и тестирования. Формальная верификация — это доказатель...
18.07.2023Формальная верификация кода на Coq: тактикиДанная статья является переводом моей статьи: Formalization of code in Coq - tactics, написанной в период работы над проектом coq-tezos-of-ocaml. Суть проекта: часть исходного кода протокола криптовалюты Tezos была переведена на Coq, а зате...
Show more

Reviews 0

Sign up to leave a review

Sign up Log In