Gate Insights and Crypto Market Analysis

Ethereum co-founder Vitalik Buterin published a deep analysis on May 18, examining the current state and prospects of Formal Verification techniques. He believes that AI-assisted Formal Verification will become the “ultimate form of software development,” and指出 that Ethereum will be an important part of the future “secure core” architecture. The Core Principles and Applicable Scenarios of Formal Verification According to Vitalik’s article, Formal Verification is especially suitable for scenarios

Reuters, citing data from on-chain analytics firm Arkham on May 19, reported that since 2023, Iran’s largest cryptocurrency exchange Nobitex has processed about $2 billion via the Tron network and at least $317 million via BNB Chain, for a total of more than $2.3 billion. Both Tron and Binance founders are key supporters of WLFI, a Trump family business. Confirmed On-Chain Transaction Data (Based on Arkham Data) Overall scale (since 2023): Tron network: about $2 billion BNB Chain: at least $317

BlackRock and Google announced on May 18 the formation of a joint venture to create a new U.S.-headquartered company offering cloud computing services for Google Tensor Processing Units (TPUs) in a “compute-as-a-service” model. BlackRock will contribute $5 billion in initial equity capital from the funds it manages, with the first batch of 500 megawatts of computing capacity expected to go live in 2027. Confirmation of the Joint Venture’s Business Structure As confirmed by BlackRock’s official a

According to DefiLlama’s RWA category data, as of May 2026, the total on-chain tokenized RWA market size is approximately $28.56 billion, but only $2.47 billion (about 8.6%) is shown as active TVL in third-party DeFi protocols. Private credit is the only exception, with an active DeFi proportion of 39%. DeFi activity comparison data across different types of RWA assets According to DefiLlama data, the on-chain scale and the DeFi active TVL comparison for each asset category are as follows： Bonds

As of May 19, 2026, according to Gate market data, ETH is currently trading at $2,130, up slightly 0.6% over the past 24 hours. Meanwhile, on the Polymarket prediction platform, the contract “What price will Ethereum reach in May?” has become one of the most watched prediction events in the current market, with total volume exceeding $4 million. Understanding the probability distribution behind this contract and the logic used to price it helps to more comprehensively grasp the structure of mark

Revolut announced on May 19 that it is launching its first physical cryptocurrency card, a Dogecoin-themed debit card equipped with an LED display. When users tap to pay, the screen will light up. The card can be used anywhere that accepts Visa and Mastercard, and will initially be launched in the UK and the European Economic Area (explicitly excluding Hungary, Switzerland, and Portugal). Revolut confirmed that it does not charge any additional exchange fees, but payments with the cryptocurrency

According to a report by Bits.media on May 18, Russia’s State Duma is reviewing a set of amendments to the “Digital Currency and Digital Rights Act,” requiring mandatory monitoring of all digital currency and digital rights transactions involving more than 1 million rubles. The State Duma is also considering bills related to administrative and criminal liability; in Russia, illegal organizations facilitating the circulation of cryptocurrencies will face a maximum prison term of up to seven years

Bitcoin (BTC) rebounded slightly from the overnight low, trading around $76,840 as of May 19. Bloomberg reported that the U.S. Securities and Exchange Commission (SEC) may issue as early as this week an “innovative exemption” rule for tokenized stocks. Echo Protocol suffered an attack on the Monad chain; after hackers minted 1,000 eBTC, they withdrew funds via Curvance. Macro Events & Crypto Hotspots 1、According to Bloomberg, insiders revealed that the U.S. Securities and Exchange Commission (SE

Shanghai Jiliutech Co., Ltd., an AI infrastructure company founded in February 2023 and led by Tsinghua University PhD graduate Hu Xiaohao, formally submitted its Hong Kong Stock Exchange listing application with Guotai Junan International serving as sole sponsor, according to the company's

Dallas Mavericks owner and software billionaire Mark Cuban proposed on May 18 to impose a federal tax on AI tokens, with a rate of less than 50 cents per million tokens. The tax would apply to providers of commercial AI models; open-source models and local inference are excluded. Cuban estimates initial annual revenue of about $10 billion and said the tax could be used to repay federal debt or address challenges brought by AI. Confirmed Details of Cuban’s Proposal According to the key points Cub

On May 18, a nine-member federal jury in the U.S. District Court for the Northern District of California unanimously ruled against Elon Musk in his lawsuit against OpenAI and CEO Sam Altman due to the lawsuit being filed after the three-year statute of limitations expired. Judge Yvonne Gonzalez Rogers dismissed all of Musk’s claims on the spot. On X, Musk called the ruling a “calendar gimmick,” and his lawyer announced an “appeal.” The legal core of the jury’s ruling: the three-year statute of l

BlackRock and Google announced on May 18 the formation of a joint venture to create a new US-headquartered company providing data center capacity, operations, networking, and Google Cloud tensor processing units (TPUs) on a "compute as a service" basis. According to the partnership agreement, BlackR

On May 19, Bitcoin rebounded to above $77,000. On Monday, U.S. President Trump announced on Truth Social that the planned Tuesday attack on Iran has been canceled, saying that Middle East allies asked him to “delay it by two or three days,” and that a deal is very close. Trump warned that if an acceptable agreement is not reached, the U.S. should be prepared for an invasion. White House officials confirmed that Kevin Wosch is expected to be sworn in as the FED chair at the White House on May 22.

Elon Musk's AI startup xAI asked employees in March to share tax returns and supporting documents to train Grok on tax tasks before the April 15 US filing deadline, according to Bloomberg. The company offered participants US$420 and early access to X Money in exchange for their

On May 18, Matrix Supermind, an embodied AI robotics company, unveiled its next-generation humanoid robot MATRIX-3 at the 2026 Tech Day (AI DAY) event. CEO Zhang Haixing told澎湃新闻 and other media outlets that embodied AI is transitioning from L1 to L2 level this year, with the company targeting L3-le

CITIC Securities research noted that Figure 03 humanoid robot completed a livestreamed package sorting operation, marking acceleration of humanoid robots from laboratory stage to commercial application, according to the securities firm's report. The robot operated continuously for over 80 hours

Multiple U.S. media outlets reported on May 18 that Kevin Warsh will be sworn in as chair of the Federal Reserve on May 22, 2024. President Trump will hold the swearing-in ceremony at the White House. Senate Confirmation The U.S. Senate confirmed Warsh on May 13 with a vote of 54 in favor

Zhang Haixiao, an equity fund manager at Yongyingfund, stated in a recent appearance on The Paper's "Chief Connection" program that the current semiconductor 'super cycle' is fundamentally different from previous cycles due to a shift in demand sources from AI production rather than