Tag: Technology & Innovation

Cardano’s Price Stagnation Amidst Quantum Security Push

Cardano’s native token, ADA, is currently trading near $0.25, confined within a narrow intraday range of $0.25 to $0.28. Despite neutral funding rates and whale accumulation at a 30-day low, the cryptocurrency is undertaking an aggressive push towards post-quantum cryptography. This includes a live governance vote, an imminent formal research proposal, and a roadmap positioning it ahead of Ethereum in terms of quantum readiness.

This juxtaposition presents a challenge for the market, which has yet to reflect these technical advancements in ADA’s price. The market appears to be grappling with whether crypto security infrastructure holds any near-term pricing power, or if ADA is simply trapped within a broader altcoin liquidity drought.

Quantum Readiness Strategy

Charles Hoskinson, the founder of Cardano, has framed the platform’s quantum resistance strategy as a proactive measure, not a reactive response. He described the quantum threat as a “slow-moving but terminal risk” that decentralized networks must address before it triggers a market shock.

A formal research proposal from IOHK is expected next week, building upon the ongoing governance vote. The technical architecture under consideration involves a phased migration model. Hoskinson highlighted Cardano’s established hard fork cadence as a structural advantage, enabling regular protocol upgrades without fragmentation.

Technical Developments and Market Performance

The planned approach involves layering post-quantum cryptographic signatures alongside existing ones, ensuring compatibility while enhancing security. Google Quantum AI reportedly ranked Cardano second among major blockchains for post-quantum security posture, behind Bitcoin and ahead of Ethereum and Solana. This ranking contributed to ADA’s inclusion in the Hashdex Nasdaq Crypto Index ETF, despite its price underperformance.

Cardano also demonstrates high development activity, with approximately 680 GitHub commits per week across roughly 80 repositories. However, the market has not yet assigned a premium to this activity.

Broader Industry Context

Cardano is not alone in its pursuit of quantum resistance. Ripple has outlined a four-phase roadmap for the XRP Ledger, targeting quantum resistance by 2028. Bitcoin developers have proposed migration frameworks, including BIP-360 and BIP-361. Cardano’s governance-first approach to this migration distinguishes it from these proposals, but the market has not yet valued this distinction.

ADA is currently trading approximately 80% below its all-time high of $3.10 and is down roughly 49% year-to-date. The $0.25–$0.28 range has served as a soft floor throughout much of Q1 and Q2 2024, while the 200-day moving average sits near $0.46.

Market Outlook

Resistance at $0.28 capped the intraday high this week, while support near $0.258 held the low. Funding rates have normalized to neutral. Traders are using ADA as a volatility vehicle, which suppresses the impact of any fundamental catalyst, including the quantum security roadmap.

If ADA breaks $0.28 on volume following the release of the formal IOHK quantum research proposal and Protocol 11 hard fork confirmation, a retest of $0.34–$0.36 could be targeted. The catalyst for such a move would be an institutional re-rating of crypto security infrastructure.

Conversely, a break below $0.258 support on sustained risk-off conditions could lead to a retest of $0.22–$0.24. Invalidation of the current range would erase the modest recovery from Q1 lows and delay any narrative re-rating.

AI Falls Short in Replacing Human Site Reliability Engineers

Artificial intelligence companies are increasingly promoting autonomous site reliability engineer (SRE) agents – AI designed to investigate production incidents in place of human engineers. However, a recent benchmark conducted by Datadog reveals that current AI models are not yet capable of outperforming the engineers they are intended to replace.

The benchmark, known as ARFBench (Anomaly Reasoning Framework Benchmark), was developed jointly by Datadog and Carnegie Mellon University. It is based on 63 real production incidents, drawing data from engineers’ Slack threads during live emergencies. The benchmark comprises 750 multiple-choice questions covering 142 monitoring metrics and 5.38 million data points, with each question verified manually. The data used is entirely real-world, avoiding synthetic data or textbook scenarios.

Researchers note that system outages result in trillions of dollars in losses annually, and the benchmark aims to assess whether AI can effectively mitigate these losses.

The study’s authors highlight the uncertainty surrounding the ability of modern foundation models to reliably answer the time series questions that engineers routinely face during incident response.

The questions in ARFBench are categorized into three tiers. Tier I assesses the existence of an anomaly in a chart. Tier II focuses on identifying the start time, severity, and type of the anomaly. Tier III, the most challenging, requires cross-metric reasoning to determine if one chart is causing a problem in another. It is in Tier III that AI models struggle. For example, GPT-5 achieved only a 47.5% F1 score on Tier III questions, a metric that penalizes models for selecting the most common answer.

GPT-5 led the existing models with an accuracy of 62.7%, compared to a 24.5% success rate for random guessing. Gemini 3 Pro scored 58.1%, Claude Opus 4.6 scored 54.8%, and Claude Sonnet 4.5 scored 47.2%.

In contrast, domain experts achieved 72.7% accuracy, while non-domain experts – time series researchers at Datadog without extensive observability experience – scored 69.7%.

No AI model surpassed either human baseline.

The top-performing model overall was Datadog’s hybrid approach, Toto-1.0-QA-Experimental, which combines their internal time series forecasting model, Toto, with Qwen3-VL 32B. Toto-1.0-QA-Experimental achieved 63.9% accuracy, slightly exceeding GPT-5 while utilizing fewer parameters. Specifically, it outperformed all other models by at least 8.8 percentage points in F1 when identifying anomalies.

The study’s findings support the expectation that a domain-specific model, trained on observability data, would outperform a general-purpose system in this specific task.

The most significant finding of the research is not which model scored highest.

Researchers observed that leading models and human experts exhibit substantially different error profiles, suggesting their strengths are complementary. AI models are prone to hallucination, missing metadata, and losing domain context, while humans may misinterpret timestamps or struggle with complex instructions. The errors made by each group rarely overlap.

By creating a theoretical “Model-Expert Oracle” – a perfect judge that always selects the correct answer between the AI and the human – the researchers achieved 87.2% accuracy and an 82.8% F1 score, significantly higher than either approach alone.

This research provides a documented target, based on real-world emergencies, that quantifies the potential performance gains of human-AI collaboration. The leaderboard is available on Hugging Face, with GPT-5 currently at 62.7% accuracy, and the potential ceiling at 87.2%.

Ethereum Co-founder Advocates for Mathematically Verified Software to Combat AI-Assisted Cyberattacks

Vitalik Buterin, co-founder of Ethereum, has stated that mathematically verified software is becoming crucial for protecting Ethereum and the broader cryptocurrency industry from AI-assisted cyberattacks and software vulnerabilities.

AI-Assisted Formal Verification

In a blog post published on Monday, Buterin argued that AI-assisted “formal verification” could help secure blockchain networks, smart contracts, and cryptographic systems against software flaws that can lead to irreversible financial losses for users.

“If done right, this has the potential to both output extremely efficient code and be far more secure than the way programming has been done before,” Buterin wrote, noting that developer Yoichi Hirai refers to it as the “final form of software development.”

Formal verification involves mathematically testing whether software behaves correctly, a technique with roots in foundational work from the 1950s and 1960s. Buterin believes recent advancements in AI are making this technique more practical for software engineering and security research.

“If you formally verify end-to-end, then you are proving not just that some description of the protocol is secure in theory, but that the specific piece of code that the user runs is secure in practice,” he wrote. “From a user’s perspective, this greatly improves trustlessness: In order to fully trust the code, you don’t need to check over the entire code; you simply need to check over the statements that are proven about it.”

Growing Threat of AI-Powered Cyberattacks

Buterin’s post comes as researchers and governments are warning that advanced AI models are rapidly improving at discovering and exploiting software vulnerabilities. Anthropic restricted access to its cybersecurity-focused Claude Mythos model after tests showed the system could autonomously identify and exploit software flaws at levels far beyond previous public AI models.

The model has garnered attention from intelligence and security agencies due to these capabilities. In April, Anthropic’s Claude Mythos identified 271 vulnerabilities in Mozilla Firefox during internal testing. Earlier this month, security researchers said a preview version of the model helped develop an exploit targeting Apple’s M5 chip protections. Researchers at the U.K. AI Security Institute also found that OpenAI’s GPT-5.5 has demonstrated advanced offensive cyber capabilities.

“Bugs in computer code are scary,” Buterin wrote.

Undiscovered bugs can be devastating for crypto projects, where software flaws can be exploited to permanently steal users’ funds with little chance of recovery.

In April, attackers from the North Korea-backed Lazarus Group were able to drain $292 million worth of tokens from Kelp DAO’s infrastructure after “poisoning” internal RPCs used by LayerZero Labs. North Korean state-sponsored hackers are believed to have stolen more than $6 billion worth of cryptocurrency to date.

Improving Trust and Security

Buterin said formal verification could also improve trust in AI-generated software by proving that optimized low-level code matches a more readable reference implementation.

“A huge part of the value-add is that the proofs are truly end-to-end,” Buterin wrote. “Often, the nastiest bugs are interaction bugs that sit at the edge of two sub-systems that are considered separately.”

However, while Buterin sees the potential for AI to help secure crypto network code, he cautioned that formal verification cannot fully eliminate security risks.

“Formal verification is not a panacea. But it is particularly well-suited for situations where the goal is much simpler than the implementation,” he wrote. “This is particularly true in some of the most devilishly hard pieces of technology that we will need to deploy in the next major iteration of Ethereum: quantum-resistant signatures, STARKs, consensus algorithms, and ZK-EVMs.”

Buterin rejected the idea that increasingly advanced cyberattacks will eventually make open-source software or decentralized systems impossible to secure.

“This would be a bleak future for cybersecurity. It’s especially an extremely bleak future for those of us who care about internet decentralization and freedom,” he said. “The entire cypherpunk ethos is fundamentally based on the idea that on the internet, the defender has an advantage.”

Instead, Buterin argued that future systems will likely depend on highly secured “core” infrastructure protected through formal verification and restricted security environments.

“When it comes to the secure core, we don’t let the buggy code multiply,” he said. “We act aggressively to keep the size of the secure core small, and indeed even shrink it further.”