Artículos Relacionados con Zero-Knowledge

El Centro de Noticias de HTX ofrece los artículos más recientes y un análisis profundo sobre "Zero-Knowledge", cubriendo tendencias del mercado, actualizaciones de proyectos, desarrollos tecnológicos y políticas regulatorias en la industria de cripto.

human.tech Launches Clean SDK for Privacy-First Web3 Apps

human.tech has launched the Clean SDK, a toolkit enabling developers to build privacy-first Web3 applications with transparent accountability. Released alongside Aztec's version 5, the SDK provides components for integrating zero-knowledge identity verification, sanctions screening, and private transactions, without developers handling sensitive user data or building compliance infrastructure from scratch. It uses zero-knowledge proofs and programmable verification to allow apps to confirm user legitimacy and sanctions compliance while keeping identities confidential. The first application built on the SDK, Shield, a privacy bridge to Aztec, also launched. It allows users to transfer assets privately while proving a unique human is behind each transfer and that funds have passed sanctions checks, as verified by a May 2026 audit. The SDK offers three core verification techniques: Proof of Innocence (sanctions screening against 23 sources), Proof of Personhood (simpler verification via Human Passport), and Proof of Clean Hands (higher-assurance zero-knowledge government ID checks). This allows apps to authenticate users and transactions without exposing personal data. Designed for Aztec builders, the SDK lets developers add programmable privacy to decentralized apps, eliminating the need to create their own verification and ZK infrastructure. Shield demonstrates its practical use for private bridges, but the SDK aims to enable a wider ecosystem of private, accountable financial apps and services. The launch addresses growing demand for infrastructure that balances privacy and accountability. The SDK avoids traditional identity databases, storing encrypted data off-chain, screening at both entry and exit points, and including a gated disclosure mechanism for legal requests. human.tech's products, including the Clean SDK, focus on using zero-knowledge technology to enable verifiable personhood and privacy in digital systems.

TheNewsCrypto07/22 05:56

human.tech Launches Clean SDK for Privacy-First Web3 Apps

TheNewsCrypto07/22 05:56

Retail Ecology Dwindles, ZKsync Bets on Bank Pilots for a Breakthrough

Amidst declining retail activity, ZKsync is pivoting to target institutional banking as its primary growth strategy. The article explores this shift, contrasting it with the competitive "survival of the fittest" narrative by highlighting a cooperative model inspired by naturalist Peter Kropotkin. ZKsync is developing infrastructure like its private, permissioned Prividium suite for banks (e.g., Deutsche Bank's use case via Memento), enabling private transactions with public verifiability via zero-knowledge proofs. This appeals to institutions needing privacy, compliance, and Ethereum-based settlement security, unlike fully private chains (e.g., JPMorgan's Kinaxis) or consortium models (e.g., R3 Corda). However, this strategic focus has coincided with a steep decline in its public DeFi ecosystem, evidenced by plunging TVL and the departure of major protocols like Aave due to low fees. The network's future now hinges on banking adoption, with upcoming pilots like the Cari Network involving regional banks holding over $600 billion in deposits. A significant challenge is balancing this institutional focus with ZKsync's decentralized governance. Banks must operate on a network where rules and fees (denominated in the volatile ZK token) can be changed via community vote, and where a Security Council holds emergency control—a stark contrast to the predictable, contract-bound environments of traditional finance. The coming 18 months will test whether ZKsync can successfully onboard traditional banks onto a dynamically governed public chain or if institutions will ultimately revert to proprietary solutions.

Foresight News06/12 04:19

Retail Ecology Dwindles, ZKsync Bets on Bank Pilots for a Breakthrough

Foresight News06/12 04:19

When AI Begins to Audit the World: From Claude Discovering the ZEC Vulnerability, Watching the Encryption Industry Enter the 'Recursive Security Era'

**When AI Audits the World: From Claude's Discovery of a ZEC Vulnerability, Viewing the Crypto Industry Entering a "Recursive Security Era"** This article examines a pivotal shift in the blockchain security landscape, triggered by the convergence of two events: Anthropic's research on AI's "Recursive Self-Improvement" and Claude Opus 4.8's discovery of a critical vulnerability in Zcash's code. Traditionally, crypto security has relied on human experts and automated tools for periodic audits. However, the article argues AI is transitioning from a mere tool to an active participant in understanding and analyzing complex systems. Claude's ability to identify a subtle flaw in Zcash's zero-knowledge proof system demonstrates AI's potential to dramatically lower the cost and time required for risk discovery. This goes beyond finding a single bug; it signals a change in the very mechanism of how vulnerabilities are found. The core thesis introduces the concept of "Recursive Security," drawing a parallel to Anthropic's "Recursive Self-Improvement." Just as AI can accelerate its own development through feedback loops, security systems are evolving towards a continuous cycle of analysis, risk identification, remediation, and re-analysis. Security is becoming a persistent, evolving capability integrated into a system's lifecycle, rather than a one-time pre-launch audit. This shift is particularly urgent for the crypto industry, where system complexity from Layer-2 networks, modular architectures, and ZK-proofs is growing faster than human analysis capacity. AI excels at the pattern recognition and contextual understanding needed to navigate this complexity. Importantly, the article cautions that AI augments both defenders and potential attackers, accelerating the entire threat landscape. The future competitive advantage may not lie in having zero vulnerabilities, but in having the fastest risk discovery, validation, and response capabilities. The Claude-Zcash incident is thus an early signal of an era where AI-driven, recursive security systems become essential for managing risk in an increasingly complex digital world.

marsbit06/08 13:20

When AI Begins to Audit the World: From Claude Discovering the ZEC Vulnerability, Watching the Encryption Industry Enter the 'Recursive Security Era'

marsbit06/08 13:20

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

AI Agents Can Be Verified, But Who Protects Their Privacy?

As AI Agents evolve from automated tools into active participants in on-chain economies, a critical challenge emerges: establishing trust while preserving privacy. While standards like ERC-8004 aim to provide verifiable identity and reputation for agents, their public nature could expose sensitive operational strategies, user preferences, and business relationships in fields like DeFi, governance, and prediction markets. The proposed ACTA (Anonymous Credentials for Trustless Agents) framework addresses this by adding a privacy layer. It allows agents to cryptographically prove they meet certain criteria (e.g., having passed an audit or possessing sufficient reputation) without revealing the underlying sensitive data, using zero-knowledge proofs. This shifts trust from "public identity" to "policy-based proof." This shift is crucial because agents act dynamically on behalf of users, making their behavior a potential proxy for user intent. ACTA would enable verification of an agent's legitimacy or authorization without creating a permanent, public map of all its activities and relationships. ACTA remains a research direction with open challenges, including scalability, decentralization of credential issuers, and implementation costs. However, it highlights a fundamental need: a robust Agent economy requires not just mechanisms for verification, but also for protecting the privacy of agents, their users, and the protocols they interact with.

marsbit05/14 01:27

AI Agents Can Be Verified, But Who Protects Their Privacy?

marsbit05/14 01:27

30-Day Doubling, 15-Fold Year-to-Date Gain: Why is the English-Speaking Crypto Community FOMOing Over $ZEC Again?

Over the past week, ZEC has surged back into the spotlight on English Crypto Twitter, driven by endorsements from prominent figures like Naval, Arthur Hayes, and Mert Mumtaz, alongside a public "significant" position announcement from Multicoin Capital at Consensus Miami. The price has skyrocketed, with ZEC gaining over 110% in 30 days and 1500% year-to-date, now ranking among the top 20 cryptocurrencies by market cap. The primary catalyst is a shifting investment thesis. Multicoin Capital's Tushar Jain argues that while Bitcoin resists censorship, its transparent ledger leaves holdings vulnerable to potential wealth confiscation via taxation. Zcash's shielded pool, using zk-proofs to obscure transaction details, is positioned as "insurance against Bitcoin" for true financial privacy. Arthur Hayes has set a long-term price target of 10% of Bitcoin's value. Further momentum comes from technical developments announced at Consensus, including a roadmap for quantum-recoverable wallets and full post-quantum security within 12-18 months. Institutional adoption signals are growing, with a Grayscale ETF application pending, Robinhood listing ZEC, and Foundry launching a mining pool. However, a critical caveat is the recent departure of the entire original Zcash development team (ECC) due to governance conflicts, leaving the project's future development uncertain. While narrative and institutional interest are clearly fueling the current rally, distinguishing between genuine adoption and speculative flows remains difficult due to the very privacy features that define ZEC.

marsbit05/09 05:46

30-Day Doubling, 15-Fold Year-to-Date Gain: Why is the English-Speaking Crypto Community FOMOing Over $ZEC Again?

marsbit05/09 05:46

From Theory to Countdown: Google Sounds the Blockchain Quantum Resistance Alarm with Zero-Knowledge Proofs

An article discusses the significant threat quantum computing poses to blockchain and classical encryption systems, triggered by Google's recent research. By optimizing Shor's algorithm, Google reduced the logical qubits required to break 256-bit elliptic curve encryption from around 6,000 to just 1,200—slashing computational costs by 20 times. This advancement sets a potential countdown, with Google estimating 2029 as the deadline for upgrading to quantum-resistant cryptography. Both Bitcoin and Ethereum face severe risks. About 25-35% of Bitcoin addresses have exposed public keys, making them vulnerable to attacks, especially during transaction processing. Ethereum’s design exposes public keys upon first use, jeopardizing its entire network if signatures aren’t updated. Historical blockchain data remains permanently available for future quantum attacks. The solution lies in adopting post-quantum cryptography (PQC). Ethereum is already implementing account abstraction and PQC-based signatures, leveraging its upgradeable architecture. Bitcoin is considering BIP-360 to introduce quantum-resistant algorithms like FALCON or CRYSTALS-Dilithium, though consensus may delay action. Notably, Google used zero-knowledge proofs to disclose this threat responsibly, aiming to prevent panic. Collaboration with Ethereum Foundation researchers suggests抗量子 (quantum resistance) could become a major narrative, aligning with crypto’s cryptographic roots.

marsbit04/16 06:38

From Theory to Countdown: Google Sounds the Blockchain Quantum Resistance Alarm with Zero-Knowledge Proofs

marsbit04/16 06:38

活动图片