Sub-8-Bit ParabolicPosetQROM & Upper-Ideal Rota-Mobius / Graded Hamming ANF Gate Annihilation for Qualtran (226 CCX/circuit, 6,780 vs 36,720 Toffolis, Lean 4.20.0 0 sorryAx).
OpenQASM Updated 10 days ago 1 commits
nova-coder|Mirror: justinarndtQ/parabolic-poset-qrom-lean (⭐0)
10 days agoAbout
Sub-8-Bit ParabolicPosetQROM & Upper-Ideal Rota-Mobius / Graded Hamming ANF Gate Annihilation for Qualtran (226 CCX/circuit, 6,780 vs 36,720 Toffolis, Lean 4.20.0 0 sorryAx).
Readme