PA Daily | Galaxy Digital has been officially listed on Nasdaq; Binance Alpha has launched MIRAI and REX

2025/05/17 17:08

Today's news tips:

1. SEC Chairman Paul Atkins attended the annual financial market regulation conference and delivered an opening speech

2. Galaxy Digital has been officially listed on the Nasdaq with the stock code GLXY

3. French crypto entrepreneurs will receive extra security in recent kidnapping incidents

4. Binance Alpha launches Project MIRAI (MIRAI) and REX (REX)

5. OpenAI launches a research preview of Codex, a cloud-based software engineering agent

6. Musk changed his profile picture and nickname to Kekius Maximus

7. Vitalik will remotely participate in the ETH Beijing hackathon and give a speech

8. Abraxas Capital has increased its holdings of ETH, withdrawing more than $650 million in the past ten days

Regulatory/Macro

Buffett sells out of crypto-friendly bank Nubank, earning $250 million

Warren Buffett's Berkshire Hathaway has completely exited its holdings in Nu Holdings, the parent company of Latin American crypto-friendly bank Nubank, with a cumulative profit of $250 million. Although Nubank set new profit records in 2024 and Q1 2025, Buffett's move reflects his overall strategy of withdrawing from the financial sector. In the same quarter, Berkshire also sold Citigroup's holdings and significantly reduced its holdings in Bank of America, and its cash reserves increased to $347.8 billion. Nubank supports crypto transactions such as BTC, ETH, and XRP, and has allocated 1% of its assets to Bitcoin.

SEC Chairman Paul Atkins attended the annual Financial Markets Regulation Conference and delivered an opening speech

According to the announcement of the U.S. Securities and Exchange Commission (SEC), Chairman Paul Atkins delivered an opening speech at the 12th Annual Financial Market Regulation Conference at 8:45 am (EST) today. The conference agenda covers four major topics, including corporate finance, market microstructure, intermediaries and asset management, and is co-hosted by the SEC and scholars from many universities. The official website of the event provides a full live broadcast, focusing on discussions on financial market transparency, information disclosure reform and regulatory innovation.

Galaxy Digital plans to tokenize its stocks and has started discussions with the SEC

Galaxy Digital Holdings Ltd. is in talks with the U.S. Securities and Exchange Commission (SEC) about tokenizing its shares and other securities, according to Bloomberg. The company plans to use its digital asset platform to convert its shares into tokens that can be used in decentralized finance (DeFi) applications, and hopes to expand this technology to other stocks, fixed income products and exchange-traded funds (ETFs) in the future. Galaxy met with the SEC's cryptocurrency task force in March to discuss the possibility of registering its shares on the blockchain. The company currently manages approximately $7 billion in assets and was officially listed on the Nasdaq today.

Argentine judge orders asset freeze of key figures in LIBRA project, including review of financial transactions of President Milley and his sister

According to Cryptoslate, citing local media reports, an Argentine federal judge has ordered the freezing of assets of key figures in the LIBRA memecoin project. Investigators are investigating potential fraud related to the promotion of the digital token, including reviewing financial operations related to President Javier Milei and his sister Karina Milei. The judge also authorized the lifting of bank confidentiality protections for Milei and his sister, allowing investigators to review their financial transaction histories to look for signs of improper connections between them and supporters of the project.

Galaxy Digital has officially listed on the Nasdaq with the stock code GLXY

Galaxy Digital announced that it has officially listed on the Nasdaq with the stock code GLXY.

Earlier news revealed that crypto asset management company Galaxy Digital has completed the restructuring process of relocating its registration from Cayman to the United States, and plans to be listed on the Nasdaq on May 16 with the code "GLXY".

French Crypto Entrepreneurs to Get Extra Security Amid Recent Kidnappings

According to Politico, in light of the recent increase in cryptocurrency-related kidnappings in France, cryptocurrency entrepreneurs and their families will receive enhanced security measures. The French Ministry of the Interior said that these measures include priority calls to the police emergency hotline, door-to-door visits, and security briefings from law enforcement to provide best practice advice. Law enforcement officers will also receive "anti-crypto money laundering training." "In response to the repeated kidnappings of professionals in the cryptocurrency industry, we will take immediate and short-term concrete measures to combat them in order to protect the industry," said Interior Minister Bruno Retailleau in a statement.

Since the beginning of this year, there have been at least three kidnappings of cryptocurrency industry leaders or their families in France. Earlier news , France will hold a crypto industry security meeting to deal with the series of kidnappings. This decision follows an attempted kidnapping in Paris on May 13, when the daughter of a French crypto entrepreneur and her grandson were attacked by four masked gangsters on the street, but fortunately they escaped with minor injuries . It is reported that the woman is the daughter of the co-founder and CEO of the French crypto trading platform Paymium. In recent years, there have been many kidnappings related to crypto wealth in France, including the kidnapping and torture of Ledger co-founder David Balland in January this year.

Viewpoint

US Senator: Senate may pass GENIUS Act next week

Republican Senator Bill Hagerty said the Senate may pass the GENIUS Act next week. The bill will establish the first growth-enhancing regulatory framework for payment stablecoins. The bill will consolidate the dominance of the U.S. dollar, protect consumer rights, increase demand for U.S. Treasuries, and ensure that innovation in the digital asset space is in the hands of the United States.

Analyst: Cyberattack and SEC investigation will not have a substantial impact on Coinbase

Benchmark senior equity research analyst • Palmer said in a research note that Coinbase disclosed a major cybersecurity breach on Thursday and confirmed that the U.S. Securities and Exchange Commission is investigating its past user metrics. This is in stark contrast to the news earlier this week that the company will join the S&P 500 index. Palmer believes that the cyberattack was more of a one-time event and the SEC's investigation is "nothing more than noise and is unlikely to have any material impact on any driver of the company's bullish thesis on the stock."

CryptoQuant: Ethereum may have hit bottom, and the alt season may begin

CryptoQuant tweeted that Ethereum may have bottomed out compared to Bitcoin. The ETH/BTC ratio has surged 38% from a five-year low. Demand is rising, selling pressure is falling, and ETFs are accumulating. This could herald the beginning of the alt season.

Project News

Binance Alpha Launches Project MIRAI (MIRAI)

The APP page shows that Binance Alpha has launched Project MIRAI (MIRAI).

Binance Alpha has launched REX (REX)

The APP page shows that Binance Alpha has launched REX (REX).

Modular blockchain Sophon will launch SOPH main token in May

Sophon, a modular blockchain based on ZKsync, announced that SOPH will be officially launched in May as the main functional token of Sophon Network. Details such as the token economic model and community allocation will be announced later. Officials remind users to pay attention to the verification link and remain vigilant to prevent phishing risks.

OpenAI launches research preview of Codex, a cloud-based software engineering agent

The OpenAI team announced the launch of a research preview of Codex, a cloud-based software engineering agent, powered by codex-1 in a livestream. It is now available for ChatGPT Pro, Team, and Enterprise users, and will be available soon for Plus users. Users can access Codex through the sidebar, assign coding tasks to it, and check execution through references, terminal logs, and test results. Codex will be free to use in the coming weeks, and will introduce rate-limited access and flexible pricing plans in the future.

Musk changes his profile picture and nickname to Kekius Maximus

Musk changed his nickname and profile picture to the theme of "Kekius Maximus". Market information shows that Kekius Maximus (KEKIUS) rose 105.9% in 24 hours. Musk changed his personal profile picture and nickname to Kekius Maximus in December last year, and the related concept coins soared.

Sequoia Capital partner Roelof Botha’s personal information was stolen in the Coinbase data breach

According to Bloomberg, a person familiar with the matter said that in the Coinbase data breach, Sequoia Capital Managing Partner Roelof Botha's personal information was stolen, including phone number, address and other details related to his Coinbase account. Coinbase disclosed on Thursday that the attacker bribed Indian customer service representatives to obtain customer data. The leaked information includes name, date of birth, address, nationality, ID number, partial bank data, and details such as account creation time and balance.

In addition, major cryptocurrency exchanges such as Binance and Kraken were also hit by similar social engineering attacks, but their internal policies and technologies resisted these attacks without losing customer data, according to people familiar with the matter. One of the people familiar with the matter said that Binance found that scammers offered bribes to its customer service staff and provided a Telegram account for contacting criminals. Binance uses artificial intelligence robots to identify potential bribes in different languages and block conversations.

Related reading: Coinbase user data was stolen and blackmailed for $20 million. Sociological attacks have become the norm

Vitalik will remotely participate in the ETH Beijing hackathon and give a speech

Ethereum founder Vitalik will remotely participate in the ETH Beijing hackathon and deliver a speech titled "Ethereum Consensus Layer Upgrade (Beam Chain)" at 2 pm on May 17 (Beijing time).

Binance: The threshold for participating in the REX airdrop is 196 Alpha points, and it takes 15 points to receive it

According to the official announcement, eligible Binance users with at least 196 Binance Alpha Points can apply for an airdrop of 3,935 REX tokens on the Alpha event page starting at 15:00 (UTC+8) on May 17. Applying for the REX airdrop will consume 15 Binance Alpha Points. Users need to complete the application within 24 hours after the application is opened (that is, before 15:00 on May 18, Eastern Time 8), otherwise it will be deemed to have given up the airdrop.

Important data

Ethereum spot ETF had a net inflow of $22.117 million yesterday, and none of the nine ETFs had a net outflow

Bitcoin spot ETF had a net inflow of $260 million yesterday, continuing its net inflow for three consecutive days

Abraxas Capital has increased its holdings of ETH, withdrawing more than $650 million in the past ten days

According to Lookonchain, since May 7, Abraxas Capital has withdrawn a total of 278,639 ETH from the exchange, worth approximately $655 million, with an average purchase price of $2,350, and current unrealized gains of $77 million.

Grayscale address transferred nearly 400 BTC and 6,562 ETH to Coinbase

On-chain data shows that the Grayscale Bitcoin Trust address transferred a total of 378.63 BTC to Coinbase Prime at 21:07 (Beijing time) today, which is equivalent to about 39.24 million US dollars at the current price, involving two transaction addresses. The Grayscale address also transferred a total of 6,562 ETH to Coinbase at 21:27, which is about 17.1 million US dollars at the current market value. Among them, there are 1,495 ETH (about 3.9 million US dollars) and 5,067 ETH (about 13.2 million US dollars). In addition, at 21:24, the Grayscale address also transferred a total of 13,070 ETH (worth about 34.05 million US dollars) to two unknown addresses.

An institution or team has transferred 6.7 million LDO to CEX in the past 20 hours, and 17.81 million LDO to CEX in the past 4 days

According to on-chain analyst Yu Jin, another 6.7 million LDO (6.61 million USD) entered Binance, OKX, Bybit, and Gate in the past 20 hours. The organization or team has transferred 17.81 million LDO (18.14 million USD) to CEX in the past four days. The price of LDO also fell from $1.16 to the current $0.93 during this period, a drop of 20%.

Yesterday, it was reported that in the past three days, two addresses, including one that may belong to the Lido team, transferred 11.11 million LDO (11.53 million US dollars) to Binance, OKX, Bybit, and Gate.

The whale who borrowed 10,543 ETH to go long has liquidated his position, with a total loss of $1.42 million in this round

According to the monitoring of on-chain analyst @ai_9684xtpa, the "giant whale who borrowed 8,613 ETH to go long" liquidated 10,543 ETH (US$26.08 million) at US$2,473.61 in the past hour. Because the average long price was US$2,608.36, the total loss in this round was US$1.42 million.

This morning's news said that the "whale who borrowed money to go long on 8,613 ETH" borrowed another 5 million USDT to buy 1,930 ETH during the market decline 10 hours ago.

Tether has issued 75.7 billion USDT on Tron, surpassing Ethereum

According to Lookonchain monitoring, Tether minted 16 billion USDT on Tron in 2025. Tether has issued a total of 75.7 billion USDT on Tron, surpassing Ethereum.

Disclaimer: The articles reposted on this site are sourced from public platforms and are provided for informational purposes only. They do not necessarily reflect the views of MEXC. All rights remain with the original authors. If you believe any content infringes on third-party rights, please contact service@support.mexc.com for removal. MEXC makes no guarantees regarding the accuracy, completeness, or timeliness of the content and is not responsible for any actions taken based on the information provided. The content does not constitute financial, legal, or other professional advice, nor should it be considered a recommendation or endorsement by MEXC.
Share Insights

You May Also Like

The HackerNoon Newsletter: Dont Give In to A Promise of Instant Content (9/12/2025)

The HackerNoon Newsletter: Dont Give In to A Promise of Instant Content (9/12/2025)

How are you, hacker? 🪐 What’s happening in tech today, September 12, 2025? The HackerNoon Newsletter brings the HackerNoon homepage straight to your inbox. On this day, First Successful Integrated Circuit Test in 1958, Sony Launches Data Discman in 1991, Soviet Union Launches Luna 16 in 1970, Khrushchev Elected First Secretary of the (CPSU) in 1953, and we present you with these top quality stories. From Planning With Lighthouses - and Why You Need Delulu Goals to Dirty Pirate Metrics: How to Measure the Success of Your Open-Source Dev Tool, let’s dive right in. Dont Give In to A Promise of Instant Content By @editingprotocol [ 4 Min read ] AI generates text, not genuine emotion or lived experience. The future is symbiosis, not battle. We must leverage our humanity or cede creativity to imitation. Read More. Dirty Pirate Metrics: How to Measure the Success of Your Open-Source Dev Tool By @mmaksimovic [ 3 Min read ] Dirty Pirate Metrics helps tech founders measure true success beyond simple vanity metrics, but to track growth, retention, and sustainability for dev tools. Read More. Planning With Lighthouses - and Why You Need Delulu Goals By @janefisher [ 5 Min read ] Discover the Lighthouses framework: set clear milestones, add bold delulu goals, and plan your path from today to the impossible. Read More. 🧑‍💻 What happened in your world this week? It's been said that writing can help consolidate technical knowledge, establish credibility, and contribute to emerging community standards. Feeling stuck? We got you covered ⬇️⬇️⬇️ ANSWER THESE GREATEST INTERVIEW QUESTIONS OF ALL TIME We hope you enjoy this worth of free reading material. Feel free to forward this email to a nerdy friend who'll love you for it.See you on Planet Internet! With love, The HackerNoon Team ✌️
Share
Hackernoon2025/09/13 00:01
Share
SmartLLM: The Future of Automated Smart Contract Audits

SmartLLM: The Future of Automated Smart Contract Audits

SmartLLM: The Future of Automated Smart Contract Audits Smart contracts now underpin the core functionality of dApps, DeFi, and blockchain-based projects in the swiftly transforming crypto space. These self-executing contracts, which automatically enforce rules and agreements, are transforming industries by eliminating intermediaries and ensuring transparency. However, the increasing complexity and adoption of smart contracts also bring inherent risks — vulnerabilities and bugs can result in financial losses, hacks, and compromised trust. This is where SmartLLM enters the scene, revolutionizing the way smart contracts are audited by leveraging artificial intelligence (AI) and large language models (LLMs). Smart Contracts and Their Vulnerabilities Smart contracts are programmable protocols that reside on blockchain networks, designed to execute predefined actions when specific conditions are met. While their benefits include transparency, automation, and trustless execution, their security remains a critical concern. Some common vulnerabilities include: Reentrancy Attacks: Where a malicious contract repeatedly calls another contract before previous executions are completed. Integer Overflow/Underflow: Errors arising from arithmetic operations exceeding their storage limits. Logic Flaws: Incorrect implementation of contract rules or conditions. Access Control Vulnerabilities: Improper permissions that allow unauthorized users to execute sensitive functions. Traditional methods of auditing smart contracts involve manual code reviews by expert security auditors. While effective, this process is time-consuming, costly, and often prone to human error. With the rise of sophisticated attacks, automated and intelligent auditing solutions are becoming essential. Introduction to SmartLLM SmartLLM is an AI-powered auditing framework that utilizes large language models to automatically analyze smart contract code for vulnerabilities, optimization opportunities, and potential risks. By combining natural language understanding with blockchain expertise, SmartLLM brings unprecedented efficiency, accuracy, and scalability to smart contract auditing. Unlike conventional auditing tools, SmartLLM is designed to understand the logic, intent, and context of smart contracts, making it capable of detecting subtle vulnerabilities that traditional static analysis tools might miss. Additionally, SmartLLM can generate actionable recommendations for developers to improve code quality and security. Key Features of SmartLLM in Smart Contract Auditing Automated Vulnerability DetectionSmartLLM can automatically scan smart contract code and identify common and advanced vulnerabilities. By analyzing the contract’s logic, function calls, and storage structures, it highlights potential security risks without requiring manual intervention. AI-Powered Code UnderstandingLeveraging large language models, SmartLLM comprehends the natural language comments, variable names, and function descriptions in smart contracts. This semantic understanding allows the AI to detect logical inconsistencies and security flaws beyond superficial code analysis. Comprehensive ReportingAfter auditing, SmartLLM generates detailed reports highlighting vulnerabilities, their potential impact, and suggested fixes. This accelerates the remediation process and ensures developers can address issues promptly. ScalabilityUnlike human auditors, SmartLLM can simultaneously audit multiple smart contracts, regardless of their complexity. This is particularly beneficial for blockchain projects with extensive ecosystems requiring continuous security monitoring. Continuous LearningSmartLLM leverages AI training to continuously improve its auditing capabilities. By learning from newly discovered vulnerabilities, exploits, and patches, it stays up-to-date with the latest security trends and attack vectors. Integration with Development PipelinesSmartLLM can be integrated into CI/CD pipelines, enabling real-time auditing during development. This proactive approach reduces deployment risks and ensures security is embedded from the early stages. Advantages of SmartLLM Over Traditional Auditing Faster AuditsManual auditing of smart contracts can take weeks, depending on complexity. SmartLLM significantly reduces this time to hours, accelerating the development cycle and enabling rapid deployment. Cost EfficiencyHiring professional auditors for each smart contract audit can be expensive. SmartLLM automates much of this process, providing a cost-effective alternative without compromising quality. Reduced Human ErrorEven experienced auditors can overlook vulnerabilities due to fatigue or complexity. SmartLLM’s AI-driven approach minimizes the risk of oversight and ensures comprehensive coverage. Proactive SecurityBy integrating SmartLLM into development pipelines, vulnerabilities can be detected before deployment, preventing potential exploits and reducing financial and reputational damage. Enhanced Developer CollaborationThe detailed reports generated by SmartLLM make it easier for developers and auditors to communicate. Clear recommendations help teams implement fixes efficiently and confidently. Real-World Applications of SmartLLM 1. DeFi Platforms Decentralized finance applications rely heavily on smart contracts for lending, borrowing, trading, and staking. SmartLLM can audit these contracts to prevent common DeFi vulnerabilities such as reentrancy attacks and flash loan exploits, safeguarding user funds. 2. NFT Marketplaces NFT platforms depend on smart contracts to mint, transfer, and sell digital assets. SmartLLM ensures these contracts are secure, reducing the risk of token theft, unauthorized transfers, or contract misbehavior. 3. Token Launches Crypto projects launching new tokens must ensure smart contracts governing tokenomics and distribution are flawless. SmartLLM can verify compliance with standards like ERC-20 or ERC-721 and detect anomalies in supply, minting, and distribution logic. 4. DAO GovernanceDecentralized Autonomous Organizations (DAOs) rely on smart contracts to manage voting and governance processes. SmartLLM helps audit these contracts to prevent manipulation, voting flaws, or governance attacks. Challenges and Considerations While SmartLLM represents a significant leap forward, it is not without challenges: Complexity of Smart Contracts Some contracts include highly complex logic or interdependent modules, which may still require human oversight in addition to AI auditing. Evolving Threat Landscape Cyber threats evolve rapidly, and new exploit techniques emerge frequently. Continuous training and updates are essential to keep SmartLLM effective. Integration Limitations Integrating SmartLLM into existing development pipelines may require technical expertise, particularly for legacy systems or unconventional contract structures. Regulatory Compliance While SmartLLM can enhance security, projects must also ensure compliance with local regulations and industry standards, which may not be fully automatable. The Future of Smart Contract Auditing with SmartLLM The adoption of AI-powered auditing tools like SmartLLM signals a paradigm shift in how blockchain projects ensure security. As AI models become more sophisticated, we can expect: Real-time auditing during development, enabling developers to fix vulnerabilities as they code. Cross-chain auditing capabilities, allowing SmartLLM to analyze contracts across multiple blockchain platforms. Predictive vulnerability detection, where AI anticipates potential exploits based on emerging attack patterns. Collaborative AI-human auditing, combining AI efficiency with human expertise for the most robust security. SmartLLM is not just a tool — it represents a new standard for secure blockchain development. By automating complex audits, reducing human error, and providing actionable insights, it empowers developers, auditors, and organizations to build trust in decentralized systems. Conclusion In an era where blockchain adoption is accelerating, the security of smart contracts is paramount. Traditional auditing methods, while valuable, struggle to keep up with the scale, speed, and complexity of modern decentralized applications. SmartLLM emerges as a game-changer, offering AI-powered, automated, and intelligent auditing for smart contracts. From DeFi protocols and NFT marketplaces to DAOs and token launches, SmartLLM ensures that blockchain projects are not only innovative but also secure and reliable. By embracing SmartLLM, crypto developers and organizations can mitigate risks, enhance trust, and confidently navigate the decentralized future. SmartLLM: The Future of Automated Smart Contract Audits was originally published in Coinmonks on Medium, where people are continuing the conversation by highlighting and responding to this story
Share
Medium2025/09/13 06:53
Share