Registration
 
All news
Top Stories
Editors' Picks
Stocks
Crypto
Economics
Currencies
Commodities
Business & Wealth
Market Voices
Hanna Syniavska
Hanna Syniavska

Formal verification needed before mainnet launch, Vitalik Buterin warns

Formal verification needed before mainnet launch, Vitalik Buterin warns
Formal verification urged for options projects

Vitalik Buterin, co-founder at Ethereum, observes that multiple individuals are already experimenting with different versions of an options-related idea.

He urges that if any of these projects plan to deploy on mainnet soon, they should undergo formal verification first.

Buterin previously questioned whether synthetic stablecoins should continue to use USD as their anchor, citing ongoing debate about stability benchmarks in a recent article. He has also highlighted the emergence of Interfold as a privacy protocol for secure voting, drawing on MACI concepts in another post. These topics reflect his focus on foundational elements in blockchain development.

This material may contain third-party opinions, none of the data and information on this webpage constitutes investment advice according to our Disclaimer. While we adhere to strict Editorial Integrity, this post may contain references to products from our partners.

Editor's Picks for You

What is a national blockchain network and does the world need one?
  • By Olena Litvinenko
  • 8 hours ago
What is a national blockchain network and does the world need one?
Editors' Picks
CertiK expert: Hackers are winning the arms race for now
  • By Eugene Komchuk
  • 11 hours ago
CertiK expert: Hackers are winning the arms race for now
Editors' Picks
Ledger’s spy chip scandal: Can hardware wallets still guard crypto’s cold storage?
  • By Dmytro Kharkov
  • 13 hours ago
Ledger’s spy chip scandal: Can hardware wallets still guard crypto’s cold storage?
Editors' Picks
All Editors' Top Picks

Latest Vitalik Buterin News

Ethereum holds near $2700 as Vitalik Buterin upgrade news meets low volatility
  • By Mykhailo Ihnatenko
  • 06.10.2026
Ethereum holds near $2700 as Vitalik Buterin upgrade news meets low volatility
Crypto
#Vitalik Buterin #Forecast #Ethereum
Vitalik Buterin: Nethermind drives greater efficiency and speed for Ethereum
  • By Mikhail Vnuchkov
  • 06.10.2026
Vitalik Buterin: Nethermind drives greater efficiency and speed for Ethereum
Market Voices
#Vitalik Buterin
Buterin explains what Ethereum could look like by 2030
  • By Eugene Komchuk
  • 28.09.2026
Buterin explains what Ethereum could look like by 2030
Crypto
#Vitalik Buterin #Ethereum
All Vitalik Buterin News
  • Olena Litvinenko
  • 8 hours ago
What is a national blockchain network and does the world need one?
  • Eugene Komchuk
  • 11 hours ago
CertiK expert: Hackers are winning the arms race for now
  • Dmytro Kharkov
  • 13 hours ago
Ledger’s spy chip scandal: Can hardware wallets still guard crypto’s cold storage?
  • Pavlo Kot
  • Yesterday
Blockchain becomes a burden: Why crypto projects are abandoning L2 networks
  • Pavlo Kot
  • 10.10.2026
Threat No. 1: How Lazarus Group targets crypto companies
  • Eugene Komchuk
  • 12 min ago
Celebrating bitcoin exits reduces voices and builders, Fred Krueger argues
  • Yulia Slavina
  • 17 min ago
U.S. households with $100K and $200K incomes rose over time, Jeremy Horpedahl notes
  • Daria Chernytska
  • 17 min ago
Growth rounds now seen as more rational than seed rounds, Turner Novak notes
  • Ksenia Gerey
  • 21 min ago
Jens Nordvig: Key topics for global client base include French debt, equities and ai capex
  • Pavlo Kot
  • 22 min ago
Austen Allred: Pro rata rights increasingly factor into company valuations
Top News
  • Andrey Mastykin
  • 5 hours ago
Oil prices hit near two-week highs as Houthi strikes threaten Gulf shipping
Oil prices hit near two-week highs as Houthi strikes threaten Gulf shipping
  • Hanna Syniavska
  • 8 hours ago
India inflation hits 22-month high as energy costs drive price pressures
India inflation hits 22-month high as energy costs drive price pressures
  • Eugene Komchuk
  • 11 hours ago
CertiK expert: Hackers are winning the arms race for now
CertiK expert: Hackers are winning the arms race for now
  • Andrey Mastykin
  • 12 hours ago
Gold falls below $4,200 ahead of key U.S. inflation report
Gold falls below $4,200 ahead of key U.S. inflation report
  • Dmytro Kharkov
  • 13 hours ago
Ledger’s spy chip scandal: Can hardware wallets still guard crypto’s cold storage?
Ledger’s spy chip scandal: Can hardware wallets still guard crypto’s cold storage?
Live News
  • Ksenia Gerey
  • Now
Bitwise CIO names four crypto assets with long-term growth potential
  • Jose Antonio Gastelum
  • Now
Bank of England favors cautious approach to digital pound launch
  • Eugene Komchuk
  • Now
Strategy buys another 250 Bitcoin for $21.5 million
  • Mykhailo Ihnatenko
  • Now
AMD stock faces deeper correction after losing $620 support
  • Anton Kharitonov
  • Now
EUR/USD remains under pressure as dollar strength and European risks weigh on the euro
Who We Are
Business Solutions
For Users
TU News
Popular Sections
Disclosures
CONTACT US
Legal
We are in Social Media
© IAFT Ltd., 2010-2026 All rights to the website are owned by IAFT Ltd.,
Registration number - HE 336186
  • Risk disclosure:

    Information on the TradersUnion.com website is for informational purposes only and does not constitute any motive or suggestion to visitors to invest money. Moreover, we hereby warn you that trading on the Forex and CFD markets is always a high risk. According to the statistics, 75-89% of customers lose the funds invested and only 11-25% of traders earn a profit. Trading in futures and options carries substantial risk of loss and is not suitable for every investor.

    That is why you should only invest money that you are prepared — or can afford — to lose at such high risks. Tradersunion.com does not provide any financial services, including investment or financial advisory services. Also, the Traders Union is not a broker and does not get money for trading in the Forex or CFD markets. Our website only provides information on brokers and the markets and helps its users to select the best brokerage company based on detailed information and objective analysis of brokers.

  • Disclaimer:

    Traders Union (TradersUnion.com) shall not be liable for the consequences of trading decisions made by the Client and for the possible loss of his capital resulting from the use of this website and information published on it.

    Forex market, CFD and cryptocurrency trading involves high risks and is not suitable for everyone. Before investing money, you need to adequately assess the level of your expertise and be aware of the risks, particularly in the context of trading with leverage. The information on this website is not intended for distribution or use by any person in any country or jurisdiction, where such distribution or use would be in violation of the local law or regulation. Any payments by Traders Union (TradersUnion.com) to the users of our website shall be legally interpreted solely as an incentive on our part for the activity on the website in the form of a deduction of a part of the advertising income; they shall not be a subject of any claims of our users or our obligations, a subject of disputes, as well as cannot be considered in relation to the services provided to users by brokers, both in fact and in their completeness and volume. The administration of the website shall not be liable for the content of user comments and reviews about the companies and shall not verify whether the authors of the reviews are indeed real clients of a specific company. All reviews, both negative and positive are published on the website without verification of their reliability; only offensive reviews that call for violence or any kind of discrimination and also reviews published from one group of IP addresses are moderated and removed. The authors of the materials shall be fully liable for the accuracy, completeness and impartiality of any information in the articles and reviews, including in the context of their use or mention of any brand names or trademarks. All mentions of the names of companies and their brands in any materials on the website shall be made in the context of communication of socially important information to the people about their activities by independent journalists, who are the authors. All evaluations and indicators on the website express the subjective opinion of the authors of the reviews (articles) and shall not be viewed as accurate statements and be a subject of disputes and claims against Traders Union.

  • Disclosure of advertisers and revenues:

    All the services on the Tradersunion.com website are free for you to use. Our team spends thousands of hours per annum researching brokers and gathering information about them to help investors all over the world to choose reliable companies and to avoid fraudsters.

    Indeed, the curating, sourcing, and organization of this process requires substantial financial investment by Tradersunion.com, which the website earns in the form of advertising payments. There are two types of advertising services on the website — direct advertising or partner (broker) participation programs. However, no services purchased by our partners shall affect the recommendations on our website, or our opinions, or ratings. Our ratings are based on our objective rating criteria and methodology; and the results are always equally and fairly applied to each broker. The work of our content authors and research groups does not involve any interaction with our advertisers and they do not have access to data concerning the amount of advertising purchased. For over 10 years we consider our independence, absolute openness, and objectivity as our main priority. Please follow the links to each of our affiliated broker’s websites. This will help Tradersunion.com to continue to provide our services to you for free.

onepercentfortheplanet.org https://gdpr.eu/ GDPR World Association of News Publishers