SignalPlus宏观研报(20231213)：通胀温和下降，加密市场恐将再次探底

Meta's Largest-Scale Layoffs in History: Notifications Sent at 4 AM, 7,000 Employees Reassigned to AI

Meta is executing its largest-ever restructuring, involving the elimination of approximately 8,000 positions (around 10% of its workforce) alongside a strategic shift toward artificial intelligence. Notifications for affected employees are being sent in three waves, timed for 4 AM local time across global offices this Wednesday. The reorganization is not purely a cost-cutting measure. Concurrently, over 7,000 employees are being redeployed to new AI-focused units, including the Applied AI Engineering (AAI) department, as part of a company-wide push to integrate "AI-native design principles." Management layers are being significantly reduced to create a flatter, faster-moving organizational structure. Internal tensions are rising amid the layoffs. Over a thousand employees have signed a petition protesting the company's installation of mouse-tracking software, reflecting strained morale. Meta has indicated that further job cuts beyond this initial 10% are possible. The moves underscore Meta's heavy bet on AI, with capital expenditures projected to reach $125-145 billion by 2026 to fund AI infrastructure.

marsbit5 min fa

Ethereum Foundation Faces Fresh Wave of Researcher Exits

Two prominent Ethereum Foundation researchers, Carl Beek and Julian Ma, have resigned, bringing the total number of high-profile departures at the organization to eight in recent months. Beek, who contributed to developing the Beacon Chain for Ethereum's proof-of-stake transition, and Ma, who worked on censorship resistance and cross-layer bridges, announced their exits via social media. Ma stated the Foundation is "fantastic" but no longer aligned with his focus on product growth, while Beek plans to spend time with his family. This wave of departures follows significant leadership and protocol restructuring announced by co-founder Vitalik Buterin last year, aimed at recruiting new talent to enhance the blockchain's speed and throughput. Earlier in the month, Protocol Cluster leaders Barnabé Monnot and Tim Beiko also left, with Alex Stokes taking a sabbatical. Key researcher Josh Stark and contributor Trent Van Epps departed in April, and co-executive director Tomasz Stanczak resigned in February.

TheNewsCrypto7 min fa

Ethereum Foundation's Major Overhaul: The Restructuring Challenge Behind the Loss of Several Key Veterans in Four Months

In just a few months, the Ethereum Foundation (EF) has seen a significant exodus of core members, including former co-executive director Tomasz Stańczak and key figures like Josh Stark and Trent Van Epps. This wave of departures coincides with the EF's ongoing internal restructuring, a shift in its declared role from the "primary guardian" to "one of many guardians," and its first public layoffs. The Protocol team, responsible for Ethereum's core protocol development, has been particularly affected but has been reorganized with three new co-leads: Will Corcoran, Kev Wedderburn, and Fredrik Svantes. Their immediate focus is on delivering the next major network upgrade, Glamsterdam, aimed at increasing mainnet throughput, though its launch is now likely delayed to Q3 2026. While concerns exist about talent drain—especially with competitive offers from newer chains—and potential delays to key upgrades, some view this turnover as a natural part of the EF's transition. The foundation's intentional move to decentralize its influence aligns with the broader goal of making Ethereum a more robust and neutral infrastructure, capable of passing the "walkaway test" where the protocol can function independently of its original core developers.

marsbit20 min fa

Vitalik's Latest Long Read: In the AI Era, How Can Code Become More Secure?

Vitalik Buterin explores the role of formal verification as a critical tool for software security, especially in the AI era and for blockchain systems. He defines formal verification as using machine-checkable mathematical proofs to verify that code meets specified properties, moving beyond manual auditing. The article highlights that while AI can generate code and find vulnerabilities rapidly, it also makes formal verification more accessible by assisting in writing proofs. This is crucial for Ethereum's complex components like STARKs, ZK-EVMs, consensus algorithms, and high-performance EVM implementations, where bugs can lead to irreversible losses. Vitalik argues that formal verification enables a powerful "separation of concerns": AI can write highly optimized (e.g., assembly) code for efficiency, while a separate, human-readable specification defines correctness. A machine-checked proof then verifies their equivalence. This paradigm can create a more secure "trusted core" of software. However, he cautions that formal verification is not a panacea. "Proven correctness" depends on the accuracy of the specifications and proofs themselves, which can be wrong or incomplete. Risks include unverified code sections, hardware-level side-channel attacks, and overlooked assumptions. The true goal is not absolute proof but increased confidence through redundant expressions of intent—using code, tests, types, and formal proofs—and automatically checking their consistency. The article concludes that AI and formal verification are complementary: AI enables scale, while verification ensures accuracy. For critical systems, this combination offers a path toward stronger security in a future with powerful AI adversaries, helping to maintain the defensive advantage essential for a decentralized internet.

marsbit26 min fa

海面收比特币，海下扬言断网，伊朗正“绞杀”美元体系

Odaily星球日报30 min fa