According to Odaily Planet Daily, Vitalik Buterin posted on the X platform that he has updated his 2023 roadmap diagram, overlaying the projects listed at that time onto their corresponding positions in the current Strawmap. Overall, there is significant overlap, but the order of some items has been rearranged, such as an increased priority for quantum security; some items have been de-prioritized, such as VDF and many EVM improvements; some items have been replaced by better constructs, such as the evolution of Verkle to unified BT and then to PBT, and the replacement of expired states with new state types. However, the most obvious change is the appearance of some entirely new items in the Strawmap that were not included in the original diagram, reflecting the prioritization shift. These include: - Giving first priority to strong privacy, including keyed nonces and recent roots, parts of FOCIL, lean privacy pools, and Wormholes; - Advancing scaling around post-quantum scenarios, including leanSPHINCS signatures and aggregation, and zkzk frames; - Promoting the standardization of Lean to assist in formal verification. The feasibility of full formal verification of all content is made possible by modern AI; - Blob and Gas futures, concepts that did not exist in 2023; - Native Rollup, which SNARK was far from mature enough to consider in 2023; - Providing more open design space for the "future of EVM". zkzk frames already imply that the protocol will provide users with some kind of non-EVM ISA, with leanISA and RISC-V being the main candidates. These ISAs are simpler, more modern, and more efficient than EVM. After introducing these ISAs, they can be opened to all developers, and EVM can be transformed into an intermediate representation (IR) built on top of this ISA, rather than a built-in feature that would significantly increase the complexity of the underlying protocol. However, further exploration is still premature, even for Strawmap; - New state types are not only an alternative to state expiration, but also a fundamentally different paradigm for Ethereum scaling. He stated that a common theme in the scaling field is reflected in two new ideas: state types and zkzk frames. Instead of trying to maximize the scaling of all Ethereum activity, it's better to create dedicated mechanisms with restrictive properties, thus better suited for scaling, while handling the largest loads generated by current and future users and applications, such as token transfers, exchanges, and privacy protocols. Another common theme is prioritizing STARKs and AI-accelerated formal verification, building Ethereum's technological future upon them. Recursive STARKs exist at multiple layers of the protocol, with a specific primitive, "aggregate to union verified dependencies," expected to be used in three locations: the execution layer, the consensus layer, and the data layer. Security can only be ensured through formal verification, which itself is only feasible with the aid of modern AI tools. Vitalik stated that overall, the maturity of many steps has improved, and the implementation of these features relies heavily on the work of dozens of Ethereum researchers and developers. Ethereum will achieve quantum security, prioritize user privacy, and remain secure, censorship-resistant, high-performance, and scalable, while also achieving Leanification.

According to Odaily Planet Daily, Ethereum co-founder Vitalik Buterin posted on the X platform that he has updated the 2023 Ethereum roadmap, comparing the technology directions in the previous roadmap with the current "Strawmap" plan. Vitalik stated that there is significant overlap between the two, but some technology priorities and implementation paths have changed. He explained that some directions have been reordered, such as the increased importance of quantum security technology; some projects have been de-prioritized, including VDF (Verifiable Delay Function) and some EVM improvements; and some technology paths have been replaced by more advanced solutions, such as the evolution of Verkle Trees into unified BT (Binary Trees), and state expiry being replaced by new state type designs. Vitalik pointed out that the most significant changes in the current roadmap are the addition of new directions not yet present in the 2023 roadmap, reflecting a shift in Ethereum's future development focus. These include: enhanced privacy protection: Ethereum will place greater emphasis on native privacy capabilities, including keyed nonces, recent roots, FOCIL partial design, lean privacy pools, and wormholes; scaling solutions for the post-quantum era: including LeanSPHINCS signatures, signature aggregation, and zkzk frames; streamlining protocol specifications and promoting formal verification: Vitalik believes that formal verification of the entire Ethereum protocol is becoming possible with the help of modern AI tools; Blob and Gas futures mechanisms: this direction did not exist when the 2023 roadmap was formulated; native Rollup support: with the maturity of zero-knowledge proof technology, Ethereum is beginning to explore deeper Rollup integration; redesigning the future EVM architecture: Ethereum may introduce simpler and more efficient new instruction sets (ISAs) in the future, such as LeanISA. Vitalik Buterin discussed RISC-V and explored using the EVM as an intermediate representation (IR) on top of it. He stated that Ethereum's scaling strategy is shifting: instead of infinitely scaling the entire network for all types of activity, Ethereum will increasingly adopt specialized mechanisms, designing more efficient structures for specific scenarios to meet current and future high-load demands, such as token transfers, transactions, and privacy protocols. Furthermore, Vitalik emphasized that STARK proof technology and AI-assisted formal verification will become the core foundation of Ethereum's technological development. He stated that recursive STARKs will play a role at multiple levels of the protocol, and the large-scale application of these complex cryptographic structures requires formal verification to ensure security. Vitalik concluded that Ethereum will continue to develop towards "quantum security, privacy priority, security and reliability, censorship resistance, high performance, and scalability," ultimately becoming a more lean protocol system.

OKX Star announced on its X platform that its team completed a significant engineering milestone last week: migrating its high-traffic core trading system from one country to another in a 24/7 crypto market environment, achieving seamless downtime for customers. According to reports, trading services remained uninterrupted during the migration; the only noticeable impact on users was a brief increase in latency lasting approximately 30 to 40 minutes. OKX stated that completing a mission-critical cross-jurisdictional migration of a trading system while ensuring service continuity, data integrity, and trading stability is extremely challenging. This may be the first such migration achieved by a trading platform of similar size, although it cannot yet be confirmed whether it is the first of its kind in the industry. This achievement demonstrates the stability, execution capabilities, and system resilience of its trading infrastructure and provides a new case study for large-scale crypto trading platforms undertaking global infrastructure deployment.

According to Odaily Planet Daily, GnosisDAO is initiating governance proposal GIP-152 regarding whether to spin off the Gnosis App into an independent company led by the original team. Voting will close on August 12th at 14:19 (UTC), and 75,000 votes are required for the proposal to take effect. Community members can currently vote on whether to support separating the Gnosis App from the GnosisDAO system.

According to Odaily Planet Daily, Zhipu's MaaS open platform has nearly 7 million registered users (i.e., API users), an increase of approximately 2 million since the beginning of July. This includes 23,000 enterprise clients. ZCode, a developer product comparable to Codex, surpassed one million users within a month of its launch. Zhipu's ARR has increased 15-fold this year. It is understood that the growth rate of Zhipu's ARR was not affected after the release of new models by Kimi and Alibaba. Some investors revealed that the current ARR has reached $2 billion, but Zhipu officials have denied this. Sources close to the company indicate that the actual figure is likely higher. On July 21, market rumors circulated that Zhipu had built a 1GW domestic AI computing power infrastructure. It is understood that more than 50,000 domestic computing chips have been activated to alleviate the increasing inference demand. On July 31, Zhipu's long-term limited-sale Coding Plan was opened for purchase after a significant price increase. (LatePost)