Verification Failure Under the Original Proof Checker

Picture

Member for

2 years

Real name

SIAI Chart

Bio

SIAI Chart

Input

Oct 5, 2026 21:36

Modified

Oct 5, 2026 21:40

Figure 1: A forged proof reported zero Toffoli gates and under half the operations, and the unpatched checker accepted it.

Related article: Zero-Knowledge Proof Failed to Hide Google's Quantum Result

Picture

Member for

2 years

Real name

SIAI Chart

Bio

SIAI Chart

Similar Post

Oct 20, 2026 20:46

What Each Layer of Checking Catches in an Econometric Task

Oct 20, 2026 20:46

Two Verification Routes: Formal Proof and Causal Estimate

Oct 7, 2026 20:46

Three Task Types inside One Job

Oct 7, 2026 20:46

Why Opposing Task Effects Look Calm in Aggregate

Oct 7, 2026 20:27

Automation Adoption by 2035 across US Occupational Groups

Oct 7, 2026 20:27

Projected Job Growth by US Occupation, 2025-2035

Oct 7, 2026 20:22

What Causal Reasoning and LLM Access Contribute

Oct 7, 2026 20:22

Building a Workforce That Pairs Causal Reasoning with LLMs

Oct 7, 2026 13:36

Effects of Causal Training and ChatGPT on Seven Outcomes