cati

Zero-Knowledge Proof Infrastructure Succinct has fixed a security vulnerability in its SP1 that could allow invalid proofs to be deemed valid.According to The Defiant, the flaw existed in the native Rust verification path from version 6.0 to 6.8.0, while on-chain Groth16 and Plonk verification executed by the Solidity verifier were not affected.

On October 23, the General Office of the State Council issued the "Opinions on Adapting to the Development of Artificial Intelligence Technology to Support the Construction of Employment-Friendly Development Models" (Guo Ban Fa [2026] No. 29). The document proposes to adapt to the development of artificial intelligence technology, enhance the positive effects of job creation, empower traditional positions, and mitigate the impact of job replacement.The opinions point out that the role of artificial intelligence should be leveraged to improve the employment environment, enhance occupational safety levels, and improve work quality and efficiency, with priority given to promoting applications in positions with labor shortages and high-risk environments; it is essential to cautiously manage the scope, intensity, and pace of artificial intelligence applications in labor-intensive industries to minimize the impact on workers. The document also encourages enterprises to explore the establishment of an unemployment buffer period system, to inform affected workers in advance during the large-scale promotion of artificial intelligence applications, and to provide support for job transition and transformation.The opinions also outline deployments in areas such as strengthening job creation effects, constructing employment-friendly upgrade paths, enhancing workers' digital literacy and employment capabilities, promoting artificial intelligence-enabled employment policy services, improving workers' rights protection and social security, and perfecting employment monitoring, early warning, and risk response mechanisms. The document is dated October 16, 2026, and is marked for public release.

On October 22, the Frontier Red Team of the artificial intelligence company Anthropic released research stating that large language models can automatically write formal proofs on a larger scale. The team collaborated with Theorem to use Claude to prove safety properties on over 100 real open-source libraries at the RISC-V assembly level, claiming this is the first known instance of using AI for large-scale formal verification of production software at the assembly level. During the proof-writing process, vulnerabilities that had gone undetected for years were also discovered.The experiment converted existing compilable fuzz tests from Google OSS-Fuzz into specifications: under assumptions of single-threaded static binaries, fixed memory budgets, RISC-V CPUs, and Linux, for any input less than 64 MB, the program should exit normally without triggering memory safety errors or assertion failures. Within weeks, Claude proved the aforementioned properties for 239 entry points in 123 OSS-Fuzz libraries after patching the identified issues. The proofs targeted compiled RISC-V instructions, approximately 180 million lines of Rocq, and were checked by the Rocq kernel. The page states that this does not mean these libraries are free of vulnerabilities, as remaining issues may lie outside trusted components or the scope of the proofs.The page also mentions that the team had Claude formalize RFC 1950 and proved that the zlib implementation in the Linux kernel conforms to that specification at the x86 binary level; an interpreter written in Rust covering a large subset of Python showed a 99.95% consistency with CPython behavior across over 1.7 million randomly generated programs. In 36 small verification tasks, Opus 5.5 proved that about half required approximately 40% fewer tokens than Opus 5. The team also pointed out that the proofs targeted single-threaded, statically linked RISC-V binaries, and the proof checker cannot determine whether the specifications align with reality.

The hedge fund Bridgewater's China business department informed investors that the institution's bullish stance on gold has decreased and that it holds a cautiously optimistic view on the domestic Chinese stock market. The Shanghai-based hedge fund stated in a letter to investors in September that it has gradually reduced its previously overweight position in gold.Bridgewater China noted that rising interest rates have increased the opportunity cost of holding gold, while rising oil prices have suppressed demand from energy-importing countries like India. The institution also expressed optimism about Chinese assets, believing that the current stock market valuation is not high, the policy direction is favorable for long-term capital formation, and that there may be more funds flowing into the stock market in the future against a backdrop of lower bond yields.

According to Coinglass data, the cryptocurrency Fear and Greed Index is currently at 51, down 16 points from yesterday. The average over the past 7 days is 58, and the average over the past 30 days is 65.

According to sources, the cryptocurrency trading platform Gate (Gate Future entity) has recently obtained the Introducing Broker (IB) qualification in the United States and signed a cooperation agreement for the prediction market with relevant partners.Currently, Gate is advancing the technical integration and development of its products, planning to launch prediction market services in the United States, with the earliest possible launch by the end of 2026.

According to the Korea Herald, global investment bank Barclays plans to cut 5,000 jobs, about 5% of the company's total positions, while expanding the application of artificial intelligence. This includes 1,000 positions already cut in the first half of this year, with 60% of the layoffs coming from support departments such as developers. Barclays CEO Venkat Krishnamurthy stated in a conference call that the company will apply AI on a large scale, and said, "AI is not the cake, but the frosting on the cake."Previously, Barclays announced a cost-cutting plan in February, but some investors reacted negatively to the scale of costs shown in its semi-annual report. Among peers, HSBC is considering cutting up to 20,000 jobs over the next few years, while Standard Chartered plans to reduce support department positions by more than 15% by 2030.

The Securities and Exchange Commission of Thailand (SEC) stated to Cointelegraph that several asset management companies have consulted with them regarding the launch of cryptocurrency ETFs, but no asset management company has submitted an application for the establishment of a crypto ETF. The SEC did not disclose the names of the relevant companies.The Thai SEC also mentioned that it is still too early to determine whether the first batch of products can be approved by the end of 2026; the timeline depends on the preparedness of the applying institutions, the progress of regulatory review, and investor protection requirements. The new regulations for crypto ETFs in Thailand took effect last Friday, allowing asset management companies to establish and list spot Bitcoin and Ethereum ETFs locally.Previously, some companies provided Bitcoin exposure to Thai investors through products linked to overseas ETFs. ONE Asset Management became the first Thai asset management company approved for a Bitcoin ETF-linked fund in 2024, followed by MFC Asset Management, which launched a fund investing through BlackRock iShares Bitcoin Trust (IBIT).

According to official news, the parent company of the Web3 payment integrated application Gold House has signed an agreement to acquire the Canadian MSB company THREESTONES VENTURES LTD. This transaction is currently entering the subsequent phase of the acquisition process.It is reported that this proposed acquisition is a strategic move by Gold House to expand its digital asset business, fiat-to-cryptocurrency capabilities, and cross-border payment infrastructure, aiming to further strengthen its Web3 payment ecosystem and connect digital assets with traditional financial services.Upon completion of the acquisition, Gold House plans to leverage the regulatory registration and operational capabilities of the acquired entity (subject to applicable regulatory requirements) to explore new opportunities in digital asset payments, merchant services, and cross-border settlements. As a Web3 ecosystem that integrates social networking, digital asset management, and payments, Gold House is committed to connecting digital assets with real-world commerce and expanding access to seamless, diverse payment solutions.

Phoenix Technology reported on October 22 that the latest "Refused Operation Application List" from ByteDance's Doubao Mobile Assistant has increased from 151 to 166 applications, with 22 new applications added.The newly added applications cover categories such as travel and business travel, recruitment and workplace, tools and health, and entertainment, including Didi, Didi Enterprise Edition, Air China, Huazhu Club, Lantu Automobile, related apps from Autohome, 58 City, Zhilian Recruitment, Zhiwukong, Keep, Roborock, Tides, Hikvision, Hupu, Mango TV, WiFi Universal Key, Scan All-in-One, Himalaya, and WorkBuddy within the Tencent ecosystem.This adjustment merges financial-related applications under a unified name and will no longer list them separately. Unlike before, where third-party application authorization was required, Doubao Mobile Assistant has changed to directly restrict operations for financial applications, covering areas such as banking, trust services, payments, internet finance, and credit. When this list was first published last week, it included a total of 151 apps.

According to Coinglass data, the cryptocurrency Fear and Greed Index is currently at 67, up 3 points from yesterday. The average over the past 7 days is 59, and the average over the past 30 days is 65.

According to Bloomberg, informed sources revealed that humanoid robot manufacturer Noetix Robotics has secretly submitted an initial public offering (IPO) application in Hong Kong, aiming to raise hundreds of millions of dollars.The company's official name is Songyan Power Beijing Technology Co., and it may go public as early as next year.

Meta CEO Mark Zuckerberg stated that since its launch in September, the user base of Meta's AI application Muse has exceeded 10 million. The main use case for Muse is shopping, with over a quarter of users purchasing goods through the app, and the average transaction amount exceeding 200 dollars.After the release, Meta's stock price rose 5% in after-hours trading and topped the Apple App Store charts.

Meta Platforms (META.O) CEO Mark Zuckerberg stated that the revenue generated per user by Muse AI in the future may exceed that of its Family of Apps.

The Kremlin stated that Russian President Putin has in principle agreed to resume trilateral peace talks between Russia, Ukraine, and the United States around November 10, potentially to be held in Abu Dhabi.Putin held a three-hour meeting with U.S. envoy Whitaker in St. Petersburg to discuss plans to end the Russia-Ukraine conflict.

According to Cointelegraph, blockchain security company CertiK stated that although Google, Apple, and Microsoft have blocked 8 affected certificates issued by the Indian digital certificate authority eMudhra, cryptocurrency trading bots and exchange applications may still be exposed to related vulnerability risks, and browser fixes may not cover software that uses independent security systems.Peiyu Wang, Senior Director of Digital Asset Security at CertiK, pointed out that attackers could exploit the compromised certificates to impersonate exchanges, wallet interfaces, and APIs, replace deposit addresses, or induce users to approve malicious transactions. However, such attacks also require intercepting or redirecting network traffic, and the compromised certificate authority keys alone cannot expose wallet private keys. Cryptocurrency service operators should update software and certificate trust stores and ensure that applications reject affected certificates.

Italian telecommunications company TIM will collaborate with NVIDIA to provide advanced capabilities for the development and deployment of artificial intelligence applications.

According to CoinDesk, Dogecoin Labs was established with the support of the Dogecoin Foundation, integrating the MyDoge wallet, DogeOS application platform, and Such App payment products into a single independent organization, with Jordan Jefferson serving as CEO. The company will focus on consumer applications, payments, commerce, DeFi, and gaming, while the foundation will continue to be responsible for ecosystem maintenance and open-source development.According to the plan, developers can build applications on DogeOS, DOGE holders can discover and use these applications through MyDoge, and merchants can accept payments via Such App. The beta version of Such App currently supports invoice and offline QR code payments, but the connection with DogeOS is still in the planning stage.MyDoge stated that its user base has exceeded 500,000. DogeOS opened its public testnet on September 30, allowing developers to use test DOGE to build lending, trading, and gaming applications similar to Ethereum. However, the secure connection between DogeOS and the Dogecoin mainnet has not yet been completed, and the related rule modifications are still in draft stage.

According to CoinDesk, data shows that the share of Bitcoin options in the cryptocurrency derivatives market continues to rise. The Bitcoin Volatility Index BVIV issuer Volmex stated that last week, the open interest of Bitcoin options accounted for slightly less than 60% of all Bitcoin derivatives open interest, up from about 50% at the beginning of the year, reflecting a market shift from purely betting on price direction to a greater focus on risk management.As of last Friday, the total open interest in the Bitcoin derivatives market was approximately $129 billion, of which U.S. Bitcoin ETF-related options accounted for about $36 billion, and BlackRock's IBIT options accounted for about $35 billion. Including options on native crypto platforms, the Bitcoin options market size is approximately $76 billion. ETF options currently account for about 47% of the Bitcoin options market, while the open interest of IBIT options has increased from about $11 billion in January 2025 to nearly $35 billion now.