Crypto Industry News & Market Trends

Vitalik Buterin Proposes Language to Make AI Proofs Readable

Ethereum co-founder Vitalik Buterin proposed a new programming language. It would compile directly into Lean or HOL, another formal proof assistant.　　The idea targets a specific gap in how people read AI output. Artificial intelligence increasingly produces large blocks of automated proofs, often faster than any human team could write them by hand. Few readers can quickly confirm what those proofs actually establish.　　A Language Built Only for AI Proof Readers　　Lean is a proof assistant, a software that mathematicians and engineers use to write proofs a computer can check line by line. Ethereum researchers already use on it to verify cryptographic code and consensus logic. Proof assistants have existed for nearly 60 years, yet the field has stayed a niche pursuit.　　A new type of “high-level programming language” that seems really worth trying to make, is a language that gets compiled to Lean (or HOL, or…) that is specifically about making it as friendly as possible for a human to read definitions and theorems.　　Not the proofs – as all…　　— vitalik.eth (@VitalikButerin) July 21, 2026　　In his post, Buterin argued that a proofs internal steps carry only one requirement. That requirement is mathematical correctness, nothing more. Readers never inspect that machinery directly. Definitions and theorems

07-22Industry

DAT Went Wrong: Satsuma to Unwind Bitcoin Treasury, Sell Off $43 Million in BTC

In briefShareholders voted by more than 90% to sell the companys 668 BTC, return capital, and cancel its London Stock Exchange listingThis marks the end of a Bitcoin treasury experiment in under twelve months.Satsuma raised £163.6 million in August 2025 but expects to return only £26.8 to £30 million after wind-down costs.　　The shareholders of Satsuma Technology, a U.K.-based Bitcoin treasury company, have voted to liquidate the companys entire Bitcoin position and shut down the business, overruling four of its six board members.　　More than 90% of votes cast backed the dual resolutions to sell 668 BTC—worth roughly $43.5 million—and cancel the companys London Stock Exchange listing, per a Monday filing. The move unwinds the digital asset treasury, or DAT for short—the latest such company to call it a day after the DAT trend picked up steam in 2025.　　Satsuma started life as TAO Alpha, a small AI firm, before rebranding and hiring Mark Moss in August 2025 as its Chief Bitcoin Strategist. Moss is an American Bitcoin commentator with over 700,000 YouTube subscribers known for advising institutions on how to buy and hold Bitcoin as a corporate treasury asset—essentially, a companys rainy-day fund, but in crypto.　　The same month, Satsuma raised £163.6 million

07-22Industry

Pakistans FIA Launches Crypto Investigation Unit to Fight Money Laundering

Pakistans Federal Investigation Agency (FIA) has established a dedicated cryptocurrency investigation unit to target money laundering and terrorism financing involving digital assets.　　The unit sits inside the FIAs newly operational National Command and Control Centre, known as NC3.　　Pakistan Builds an Enforcement Arm for Digital Assets　　FIA Counter-Terrorism Wing Director Dr Muhammad Athar Waheed told local media outlet Dawn the unit investigates the use of crypto in crimes rather than regulating the market. Therefore, Pakistan Virtual Assets Regulatory Authority (PVARA) keeps sole authority over licensing and oversight.　　Furthermore, Waheed urged the National Cyber Crime Investigation Agency (NCCIA) and the Anti-Narcotics Force (ANF) to build similar units.　　Pakistans move mirrors a wider global push against crypto-enabled crime. In recent months, US prosecutors have brought several cases against individuals accused of money laundering, investment scams, and other digital asset crimes.　　Follow us on X to get the latest news as it happens　　Meanwhile, Pakistan has pushed hard on digital asset policy in recent years. Last year, BeInCrypto reported that the country was building a framework to legalize crypto trading.　　In March 2026, Parliament passed the Virtual Assets Act. The law establishes a comprehensive regulatory framework for the digital finance sector.　　It also created the PVARA. The State Bank of Pakistan then

07-22Industry

Lynq and Nonco Collaborate to Expand Stablecoin Liquidity for Institutional Holders of Tokenized Fund Shares

Key TakeawaysLynq partnered with Nonco on July 21 to give institutional clients round-the-clock stablecoin liquidity.Clients can convert TFND shares into USDT, USAT, RLUSD or USDC 24 hours a day, bypassing U.S. wire limits.Nonco will initially operate off-platform, offering OTC settlement with no required Lynq software updates.　　Eliminating Operational Constraints in Digital Markets　　The interest-bearing settlement network, Lynq, announced July 21 that it has entered a strategic partnership with digital asset firm Nonco to give institutional clients 24-hour access to stablecoin liquidity and expand funding options beyond U.S. wire transfers and traditional banking hours.　　The agreement makes Nonco a dedicated liquidity facility for Lynq, allowing clients to convert tokenized fund shares (TFND) into stablecoins such as USDT, USAT, RLUSD and USDC — and back — at any time. Previously, Lynq accounts could be funded only through U.S. wire transfers, which are limited to domestic banking windows.　　Jerald David, CEO of Lynq, said the move aligns institutional infrastructure with the nonstop nature of digital markets.　　“The digital asset economy never sleeps, and institutional infrastructure shouldnt either,” David said. “This partnership with Nonco removes one of the last operational constraints facing institutional participants by giving them reliable, around-the-clock access to stablecoin liquidity.”　　Jeffrey Howard, partner and head of North

07-22Industry

Pi Network Warning: Strange Scam Activity Leaves Pioneer Wallet at Zero

Meanwhile, a senior tech engineer at the project said now its the most important time for Pi.　　Given the popularity of some cryptocurrency projects, they tend to be targeted by bad actors trying to exploit either the network behind them or vulnerable and unsuspecting users for their coins.　　A recent post on X outlined a potential threat for some Pi Network users (referred to as Pioneers) and urged immediate action from the Core Team.　　Pioneers, Beware　　In a post titled ‘strange scam activity reported involving a Pi Wallet,’ the user Rizo outlined someone else‘s issues in which the third party’s three-year lockup period for Pi coins finally came to an end. When they went to migrate the 143 tokens, it displayed that the wallet balance remained at 0. Moreover, they found a large number of failed transactions.　　Rizo was quick to flag the suspicious activity and believes the solution for this would be the implementation of 2FA or “another strong authentication method to become mandatory for Pi Wallets.” Moreover, they asked the Core Team behind the project to investigate the matter and strengthen the overall wallet security to protect users.　　It‘s worth noting that this is far from the first instance of suspicious activity not only

07-22Industry

Senator Lummis says with CLARITY “your crypto stays yours” – but bankruptcy shields have limits

When Celsius collapsed, its Earn customers learned that the crypto in their accounts belonged to the bankruptcy estate, not to them. Sen. Cynthia Lummis cast the CLARITY Act as a fix on July 20, boiling its promise down to four words.　　“Your crypto stays yours.”　　Cynthia Lummis Member, U.S. Senator for Wyoming • U.S. Senate　　Share on View Profile　　Her X post, which had drawn a lot of attention, said the CLARITY Act would change the outcome she associated with the failures of Celsius and Voyager.　　Celsius is probably the best legal example because a federal court ruled directly on ownership of its Earn balances.　　The May 12 Senate Banking manager‘s substitute supports the direction of Lummis’s claim while attaching several conditions. Section 701 would put qualifying ancillary assets and digital commodities into federal customer-property rules when they are “held for customers” in specified Chapter 7 liquidations.　　The protection may not apply if the asset, account terms, or bankruptcy process falls outside the bills boundaries. A qualifying token held in custody for a customer fits the language more naturally than a balance created after the customer lends an asset or transfers title to the platform. The text leaves that lending boundary open for final legislation and future

07-22Industry

Trump-backed crypto ethics rule puts DOJ in charge of enforcement, prohibits federal officials from issuing cryptocurrencies: sources

Quick TakeThe ethics language signed on by President Trump would put the DOJ as the chief enforcer of the provision, not state attorneys general, which could become a flashpoint since Democrats have argued for states to have some control.Ethics has been the final hurdle, after many, in getting sweeping crypto legislation, called the Clarity Act, passed into law.　　Newly approved ethics language signed by President Donald Trump would prohibit federal officials from issuing cryptocurrencies, and would put the Justice Department in charge of enforcing it, not states, which could become a sore spot in trying to pass broader cryptocurrency legislation.　　Talk of the ethics language came out during an industry call on Tuesday afternoon with White House top crypto adviser Patrick Witt.　　The language would prohibit federal officials such as members of Congress, the president and vice president from issuing digital assets, three sources told The Block on Tuesday. The language also would put the Justice Department as the chief enforcer of the provision, not state attorneys general, which could become a flashpoint since Democrats have argued for states to have some control, two of the sources confirmed.　　Crypto In Americas Eleanor Terrett and The Hills Julia Shapero also reported details on the ethics

07-22Industry

Gold price in Malaysia: Rates on July 22

Gold prices rose in Malaysia on Wednesday, according to data compiled by FXStreet.　　The price for Gold stood at 543.61 Malaysian Ringgits (MYR) per gram, up compared with the MYR 536.92 it cost on Tuesday.　　The price for Gold increased to MYR 6,340.43 per tola from MYR 6,262.55 per tola a day earlier.Unit measureGold Price in MYR1 Gram543.6110 Grams5,435.99Tola6,340.43Troy Ounce16,907.82　　FXStreet calculates Gold prices in Malaysia by adapting international prices (USD/MYR) to the local currency and measurement units. Prices are updated daily based on the market rates taken at the time of publication. Prices are just for reference and local rates could diverge slightly.

07-22Industry

BitMine gets 98% of revenue from staking as a decade-long contract complicates an early exit

BitMine generated $45.743 million from staking and validation in the three months ended May 31, 2026, equal to 98.3% of its $46.535 million in total revenue, according to a Form 10-Q filed July 14.　　MAVAN, the companys Ethereum validator network, therefore produced nearly all revenue reported for the quarter. BitMine held 5,416,945 ETH valued at $10.856 billion at quarter-end. A June 1 update reported 4,718,677 ETH staked out of 5,416,901 ETH held, or about 87%, while the companys goal of acquiring 5% of Ethereums supply remains forward-looking.　　The platforms operating dependencies include Ethereum Tower. BitMine owns 98% of MAVAN Holdings, while Tower holds the remaining 2% as a noncontrolling interest. Under a management services agreement effective March 24, Tower performs delegated strategic planning and day-to-day work across native staking, validator infrastructure and technology systems. BitMine subsidiary BMNR remains the formal manager and retains reserved powers.　　Towers 2% interest is irrevocable and survives termination or expiration unless it is sold or assigned. Tower also receives monthly revenue participation from BitMines native staking operations, although its precise allocation is hidden in a redacted schedule. It has no entitlement to revenue from third-party staking operations.　　The cost of changing operators　　The agreement has a 10-year initial term, and

07-22Industry

Gold rallies to two-week high amid US-Iran diplomacy hopes

Gold (XAU/USD) rallies to an over two-week high, around the $4,140-$4,141 area, during the Asian session on Wednesday amid hopes that US-Iran diplomacy could ease energy prices and temper hawkish US Federal Reserve (Fed) expectations. In fact, top negotiators for Iran and the US signaled that they have not walked away from talks. US Secretary of State Marco Rubio said on Sunday that the US was still open to holding talks with Iran, while Irans Interior Minister Eskandar Momeni visited mediator Pakistan and asked Islamabad to continue its efforts. Moreover, reports suggest that mediators are working to bring the US and Iran back to the negotiating table.　　Meanwhile, the US military said it completed the 11th night of strikes on Iran early Wednesday, targeting aircraft hangars and drone storage sites. Adding to this, President Donald Trump warned that the US strikes would be intensifying and hit any site where Iran attempts to rebuild its nuclear program. Iran, on the other hand, continued attacks across the Gulf, targeting US military assets in Bahrain, Kuwait and Jordan. Adding to this, Iran said that its forces struck two oil tankers as they attempted to transit through the Strait of Hormuz. Furthermore, Yemens Iran-aligned Houthis

07-22Industry

...

456458

...

1000