Challenge 2 Solved: Hidden Stabilizers Retirement

# Overview

The Challenge is Solved

In less than two months from its launch, the hidden stabilizers challenge on Subnet 63 was effectively solved. Miners developed techniques efficient enough to crack the obfuscation reliably, and the challenge could no longer meaningfully differentiate between competitors. Rather than letting a solved challenge consume emission indefinitely, we retired it — exactly as the subnet's design intended.

This outcome is not a failure. It is precisely what a well-designed incentive challenge should produce: a race to innovate that ends when the problem is genuinely solved, freeing resources for the next frontier.

The Winning Approach: Pauli Propagation

The key breakthrough was a technique based on Pauli propagation through the Clifford circuit. Rather than trying to reverse the full obfuscation algebraically, the winning approach propagates Pauli operators backward through the circuit gate by gate, exploiting the fact that Clifford gates transform Pauli operators into other Pauli operators in a well-defined way. By tracking how a complete set of Pauli operators transforms under the circuit, miners could reconstruct the hidden stabilizer group efficiently.

This is a genuinely elegant solution — it leverages a deep structural property of Clifford circuits (the Gottesman-Knill theorem) to reduce what initially appears to be an exponentially hard search into a polynomial-time computation. The fact that miners independently discovered and optimized this approach validates the subnet's thesis that decentralized competition can drive real algorithmic innovation.

What We Learned

The hidden stabilizers challenge taught us several important lessons for future challenge design. First, the difficulty of a challenge depends not just on the problem itself but on the obfuscation technique used to hide the answer — and obfuscation that relies solely on Clifford structure is vulnerable to Clifford-aware analysis. Second, the speed at which miners solved the challenge demonstrated the power of competitive pressure to accelerate research. Third, having a clear retirement pathway is essential: challenges should be designed with the expectation that they will eventually be solved, and the subnet should be ready to rotate in new challenges when that happens.

The hidden stabilizers challenge served its purpose admirably, pushing miners to develop quantum circuit analysis techniques that have applications well beyond the specific challenge format.

Read the Full Paper

The retirement paper covers the solution techniques in detail, the decision process for retiring the challenge, and the lessons that informed the design of subsequent challenges.

[Download the paper (PDF)](/hstab-solution_20250901.pdf)