# Сопутствующие статьи по теме Blockchain

Новостной центр HTX предлагает последние статьи и углубленный анализ по "Blockchain", охватывающие рыночные тренды, новости проектов, развитие технологий и политику регулирования в криптоиндустрии.

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.

marsbit05/19 09:56

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

marsbit05/19 09:56

IOSG: After the Number of Developers Halved, Crypto Did Not Die

The crypto development community has undergone a significant transformation, with monthly active developers on GitHub halving from 45K in 2022 to approximately 23K by 2026. This decline is largely attributed to the departure of newcomers, whose roles were often tied to market-driven hype cycles like NFTs and forked DeFi protocols, leading to a 52% churn rate among those with less than a year of experience. However, the core of the industry has strengthened. Established developers with over two years of experience have reached a record high, contributing about 70% of the code. They are consolidating around ecosystems with genuine users and revenue, such as Bitcoin and Solana, while moving away from narrative-driven projects. The talent shift represents a "deleveraging" and an increase in core density. This core group has developed a unique skillset by operating in an environment of "code is law," with zero tolerance for error and no external recourse. They have learned to build trust and functional systems from the ground up without central authorities, as demonstrated by protocols like Uniswap and MakerDAO. These capabilities are now being repriced and leveraged in the AI era. The structural challenges of AI scaling—such as trust, coordination, and verification—mirror those long addressed in crypto. Examples include CoreWeave pivoting from GPU mining to AI compute, OpenSea's founder applying NFT market logic to AI model routing with OpenRouter, and projects like NEAR and Catena Labs transitioning crypto-native architectural and financial insights into AI infrastructure and agent banking. Key areas where crypto-bred skills are directly applicable to AI include: 1. **Compute Aggregation & Optimization**: Using token incentives and cryptographic verification (e.g., Proof of Sampling & Privacy) to create trusted, decentralized GPU networks, as seen with Hyperbolic. 2. **AI Governance & Incentive Design**: Applying economic mechanism design from DAOs and tokenomics to align the goals of multiple, fast-acting AI agents, a direction explored by EigenLayer's EigenCloud. 3. **AI Agent Autonomous Payments**: Leveraging stablecoins and programmable, permissionless blockchains to enable the micro-transactions required for AI agent economies, exemplified by protocols like x402. The role of the crypto builder is evolving from writing smart contracts to designing trust mechanisms for autonomous AI systems. This convergence is reflected in hiring trends at major firms and significant capital allocation from funds like Paradigm and a16z crypto, which are investing at the intersection of crypto and AI. Regional differences exist, with the US favoring foundational protocol innovation and Asia focusing on compliant application-layer integration, but the underlying trend is clear. The industry's "deleveraging" has not signaled its demise but rather a maturation, positioning its core builders to solve critical trust and coordination problems in the age of AI.

marsbit05/19 09:28

IOSG: After the Number of Developers Halved, Crypto Did Not Die

marsbit05/19 09:28

BNB Chain Releases Research Report, Exploring Post-Quantum Cryptography Migration Path for BSC

BNB Chain, a leading Layer-1 blockchain ecosystem, has released a research report exploring the potential migration path for BNB Smart Chain (BSC) to post-quantum cryptography. The study evaluates replacing traditional cryptographic systems with quantum-resistant alternatives, specifically examining the use of ML-DSA-44 for transaction signing and pqSTARK for aggregating validator consensus signatures. While quantum computers are not currently a practical threat to existing blockchain cryptography, the research represents a proactive effort to ensure long-term network security and infrastructure resilience. The report assessed several core areas of the BSC tech stack, including post-quantum transaction signing, validator signature aggregation, transaction validation, public key storage, and network performance under increased data loads. A key finding is that achieving post-quantum readiness is technically feasible today but requires significant trade-offs in scalability. Test data indicates: • Transaction size would increase from ~110 bytes to ~2.5 kilobytes. • Block size would grow from ~110 kilobytes to ~2 megabytes. • Native transfer TPS would decrease from 4,973 to 2,997. The primary performance bottleneck is not signature verification itself, but the increased network transmission overhead caused by larger transaction and block sizes. Conversely, the pqSTARK aggregation technology proved highly efficient, compressing validator signatures by an approximately 43:1 ratio, which helps manage consensus-layer overhead. The report notes that post-quantum alternatives for areas like P2P handshakes and KZG commitments were not within the scope of this evaluation and require further research and broader ecosystem coordination. BNB Chain emphasizes this work is a research-oriented exploration and not a response to any imminent security threat.

marsbit05/18 13:51

BNB Chain Releases Research Report, Exploring Post-Quantum Cryptography Migration Path for BSC

marsbit05/18 13:51

BNB Chain Releases Research Report, Exploring the Path to Post-Quantum Cryptography Migration for BSC

BNB Chain has released a new research report exploring a potential migration path for BNB Smart Chain (BSC) to post-quantum cryptography (PQC). The study assesses the feasibility and performance impact of replacing traditional blockchain cryptography with quantum-resistant alternatives, aiming to ensure long-term network security. Key areas evaluated include post-quantum transaction signatures (proposing ML-DSA-44), validator signature aggregation, transaction verification, public key storage, and cross-regional network performance under increased data loads. A major finding is that while technically feasible now, achieving PQC-readiness involves significant scalability trade-offs. Test data showed transaction size increased from ~110 bytes to ~2.5 KB, block size grew from ~110 KB to ~2 MB, and native transfer TPS decreased from 4,973 to 2,997. The primary performance bottleneck was identified as increased network transmission overhead due to larger data volumes, rather than the signature verification process itself. Notably, the pqSTARK aggregation technique proved efficient, compressing validator signatures at a ~43:1 ratio, which helps manage consensus layer overhead. The report clarifies this is a research-oriented exploration, not a response to an imminent threat, and notes that areas like P2P handshakes and KZG commitments require further study and broader ecosystem coordination.

链捕手05/18 13:24

BNB Chain Releases Research Report, Exploring the Path to Post-Quantum Cryptography Migration for BSC

链捕手05/18 13:24

Blockchain Capital Partner: Most People Have a Narrow Understanding of the On-Chain Economy

Author Spencer Bogart, a partner at Blockchain Capital, argues that most people have a narrow view of the on-chain economy, seeing it primarily as a faster, cheaper version of existing financial systems. While this represents a significant opportunity, he believes it's only a small part of the story. Bogart compares the current state of crypto to the early internet, where email was the obvious "faster mail" application. The truly transformative categories—like search, social media, and cloud computing—were entirely new and unimaginable beforehand. Similarly, the most profound innovations in crypto will not be incremental improvements but entirely new categories enabled by the core properties of public blockchains: atomic execution, shared global state, programmable custody, and composability. He cites the "flash loan" as a prime example of a "new verb"—a financial action structurally impossible before programmable assets and atomic settlement. It allows for uncollateralized, trustless borrowing of any size, provided repayment occurs within the same transaction, enabling novel strategies like arbitrage and collateral swaps. Bogart admits the difficulty in precisely predicting these future innovations, as human imagination tends to extrapolate from the past. He posits that the most exciting applications in ten years will be things that don't exist today and have no precedent—products only possible in a global, composable, always-on environment with programmable assets. While the exploration of this vast design space will involve many failures, the potential for transformative, category-defining breakthroughs is what makes the next decade so promising.

链捕手05/18 02:26

Blockchain Capital Partner: Most People Have a Narrow Understanding of the On-Chain Economy

链捕手05/18 02:26

a16z Crypto: A Guide to the CLARITY Act for Crypto Entrepreneurs

The CLARITY Act, a bipartisan crypto market structure bill, has advanced through the Senate Banking Committee, marking a potential historic shift in U.S. digital asset regulation. For years, a lack of clear rules has stifled innovation, pushed development overseas, and exposed consumers to risk. This bill aims to establish a comprehensive framework, providing long-needed regulatory clarity for blockchain networks and digital assets. It builds upon previous legislative efforts like FIT21 and the House version of CLARITY, which gained strong bipartisan support. CLARITY is crucial because it recognizes that blockchain networks are fundamentally different from traditional companies. Networks operate through decentralized, shared rules rather than centralized control. Applying corporate legal frameworks to networks forces them into a centralized model, concentrating power and value. In contrast, decentralized blockchain networks can function as user-owned public infrastructure, distributing value more equitably among participants. The bill seeks to enable the safe launch of networks in the U.S., clarify regulatory jurisdiction between the SEC and CFTC, oversee crypto exchanges, and enhance consumer protections. Its passage would align U.S. law with the nature of decentralized technology, allowing builders to operate transparently and fund projects domestically without structural compromises due to regulatory uncertainty. Similar to the positive impact seen after the stablecoin-focused GENIUS Act, CLARITY could unlock a new wave of innovation, helping the U.S. reclaim leadership in the crypto space while combating fraud and abuse.

链捕手05/16 04:49

a16z Crypto: A Guide to the CLARITY Act for Crypto Entrepreneurs

链捕手05/16 04:49

活动图片