# Пов'язані статті щодо Cryptography

Центр новин HTX надає останні статті та поглиблений аналіз на тему "Cryptography", що охоплює ринкові тренди, оновлення проєктів, технологічні розробки та регуляторну політику в криптоіндустрії.

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

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

New Protocol Tacit: The ZEC of the Bitcoin Ecosystem

The article discusses Tacit, a new privacy-focused Bitcoin asset protocol emerging after a period of relative quiet in the Bitcoin ecosystem. Unlike BRC-20 or Runes, Tacit is a "meta-protocol" where the indexer runs directly in the user's browser, removing the need for centralized servers. Its key innovation is enabling privacy for token amounts on the Bitcoin mainnet. Tacit employs cryptographic techniques like Pedersen Commitments and Bulletproofs to conceal transaction amounts while proving conservation of funds. It uses Mimblewimble-style signatures to prevent inflation and ECDH encryption to ensure only senders and receivers can decrypt real amounts. This makes it a native "privacy coin" for Bitcoin, albeit one that hides amounts but not the direction of fund flows between addresses. The protocol, developed by ross.wei (known for Ethereum's ZAMM), has rapidly evolved since its May 7 launch. It now supports fair launches, a marketplace, token swaps, and a novel mixer similar to Tornado Cash but without relying on smart contracts. However, this privacy comes at a cost, with transaction fees estimated to be about 10 times higher than Runes. Future plans include privacy-wrapping native Bitcoin (cBTC), implementing silent receipts, and hiding the token type in transfers. The main token, $TAC, has gained traction with a market cap around $4 million. Positioned between simpler token standards and complex solutions like RGB, Tacit represents a significant and innovative step for on-chain privacy within the Bitcoin ecosystem.

marsbit05/14 11:09

New Protocol Tacit: The ZEC of the Bitcoin Ecosystem

marsbit05/14 11:09

活动图片