Blog post: "The French have the Quantum Circuits" algassert.com/post/2602
André Schrottenloher just published a preprint showing how to construct quantum ECDLP circuits with costs similar to the ones in our zero knowledge proofs.
Stim v1.16 released github.com/quantumlib/S...
My favorite addition is "stim.Circuit.missing_detectors" for finding that last damn detector.
Also, I packaged circuit gen tools from my papers into a library "stimflow." It's got jank, but also solid ideas for building circuits in chunks.
Flagship Changes
Started a new glue library "stimflow" for qec circuit creation
Added class stim.CliffordString
Added prebuilt wheels for python 3.13 and python 3.14
Breaking Changes:
Dropped su...
I took solace in the part of the post where he'd bypassed the need to uncompute (a *HUGE* advantage for saving qubits) but was still struggling to match our qubit count 😈.
With an advantage that physically impossible, I bet you can hit ~800 qubits instead of ~1150.
I plotted the asteroid data from Kirkwood's 1887 paper (www.gutenberg.org/ebooks/41570) next to the 2007 plot from Wikipedia's page on Kirkwood gaps.
I think it's a good example of available data going from convincing only if you know the theory to just blatantly speaking for itself.
My dream paper is a zero-knowledge proof that I know the answer to the Collatz conjecture.
Blog post: "The predictable failure of the QDay Prize"
algassert.com/post/2601
A special blog post for today: On Eastin-Knill Being Wrong
algassert.com/post/2600