실제 양자 하드웨어 위의 암호분석
IBM 156큐빗 ibm_kingston에서 Simon 알고리즘 공격을 실행, 기록적 하드웨어 규모.
양자 알고리즘을 실제로 돌리고, 실측하고, 공개 비교하는 OS
콘솔에서 양자회로를 만들고, 실제 IBM 하드웨어에서 암호구조를 공격하고, 그 결과를 Quantum-Bench 리더보드에 올려 누구나 재현·비교합니다. 핵심은 재현 가능한 실측일회성 시연이 아닙니다.
퀀텀OS: 3가지 진입점
퀀텀OS는 세 갈래로 열려 있습니다: 콘솔·암호분석·리더보드.
QuantumOS 콘솔
양자 회로 시뮬레이터·콘솔. 알고리즘을 직접 구성·실행하고 결과를 시각화합니다.
양자 암호분석
실제 IBM 양자 하드웨어에서 블록암호 구조(Even–Mansour·Feistel)를 N=10까지 분석한 실증 데모.
Quantum Bench 리더보드
양자 알고리즘 벤치마크 순위. 재현 가능한 결과로 공개 비교합니다.
로켓을 종이에 그리는 것과 실제로 쏘아 올리는 것은 완전히 다른 일이다. 실제 양자컴퓨터는 잡음투성이라, 계산이 조금만 길어져도 답이 잡음에 파묻힌다. 그래서 실물 기계의 공개 기록은 몇 년째 N≈4 언저리에 멈춰 있었다.
비드래프트는 그 벽에 손을 댔다. 가장 취약한 두 구조: Even–Mansour와 Feistel: 을 IBM의 진짜 양자컴퓨터에 올려, 가장 단순한 블록암호 구조를 N=5, 6, 7, 8, 9, 그리고 10까지 밀어 올렸다. 매번 전혀 다른 두 번째 열쇠를 나란히 복원해 미리 답을 알고 짜맞춘 눈속임이 아님을 스스로 증명했다, 값비싼 오류정정 없이, 잡음을 다독이는 기법만으로.
실 하드웨어 성과
IBM ibm_kingston (156큐빗) · 15~30큐빗 회로, 수백 개의 2큐빗 게이트.
N = 5 → 10
실제 하드웨어에서 N=5부터 N=10까지 비밀키 복원: 기존 공개기록 N≈4를 (아는 한) 넘어섰습니다.
Block 6 · 8
블록 크기 6·8에서 은닉 주기 복원, rank-1 클린.
오류완화만 적용: 동적 디커플링·게이트/측정 트월링·판독오류 보정(양자오류정정 아님). 인스턴스별 독립 대조키로 특정 정답에 맞춘 것이 아님을 검증.
암호학자 애디 러마가 독일 연방보안청 성과에 이어 우리 결과를 인용했다
암호학 경력 15년(미 공군 암호병과 8년)의 애디 러마는 「양자컴퓨터는 정말 얼마나 가까운가」(2026-08-13)에서, 2026년 4월 독일 연방보안청 등이 IBM 실기로 Even–Mansour를 깬 결과의 후속으로 비드래프트 QuantumOS를 다뤘습니다. 그는 키를 곧바로 얻어내는 순수 양자 복구는 4비트에서 5비트로 올라섰고, N=10은 양자컴이 후보를 좁힌 뒤 고전 컴퓨터가 키를 골라내는 하이브리드 절차라고 구분했습니다. 또한 본 결과가 동료평가 전 프리프린트임을 지적했는데, 이는 저자들이 스스로 밝힌 사실이기도 합니다.
그의 결론은 우리가 이 페이지에서 지켜온 선과 같습니다: “최전선은 실제로 움직이고 있지만, 여러분이 실제로 쓰는 어떤 것에도 근처에 가지 못했다.” 이 연구는 실사용 암호를 깬 것이 아니라, 실제 양자 하드웨어에서 어디까지 가능한지를 재현 가능하게 측정한 것입니다.
원문 읽기 →실측을 한눈에
실제 양자 하드웨어에서 세운 기록과, 왜 그런 우위가 생기는지, 쉽은 차트 두 장으로.
막대 하나하나가 그 블록 크기에서 매번 새로 복원한 독립 키입니다: 정답을 미리 심은 눈속임이 아니라는 증거. 공개 기록은 N≈4에 멈처 있었고, 우리는 N=10까지 올라갔습니다.
고전 컴퓨터는 여러 번 캤묻거나 모든 키를 하나씩 대입해야 합니다. 맞는 양자 알고리즘은 단 한 번의 질문으로 비밀을 읽거나, 탐색량을 통째로 제곱근으로 줄입니다.
Quantum-Bench: 검증 가능하게 만드는 리더보드
양자 결과는 재현 불가능한 일회성 시연에 그치기 쉽습니다. Quantum-Bench는 공격 코드·복원한 키·공개 순위를 모두 공개해, 누구나 실험을 다시 돌려 같은 잣대로 비교할 수 있게 합니다.
5대 공격 구조
주요 암호 설계 패러다임을 아우르는 진짜 양자 알고리즘. Simon 기반 2종을 하드웨어로 실행.
Bernstein–Vazirani
선형 암호는 단 한 번의 질문에 비밀을 통째로 들킨다: 가장 허무한 붕괴.
Simon · Even–Mansour
실제 하드웨어 실행 ✓
Grover
열쇠를 전부 넣어보는 수고가 제곱근만큼 줄어든다: AES가 키를 더 길게 만들어야 하는 바로 그 위협.
Simon · CBC-MAC
메시지 인증코드가 열쇠 없이도 위조된다.
Simon · 3-round
실제 하드웨어 실행 ✓
🏅 세계 최정상과 나란히
美 반도체 권위지 SemiEngineering이 우리 양자 연구를 편집 선정했습니다.
- 🎯 실력으로 뽑힌 검증(EARNED)우리가 배포한 보도자료(PR)가 아니라, 기자가 주목할 연구로 직접 선정. 신뢰의 무게가 다릅니다.
- 🌐 제3자 권위 인정반도체·보안 업계 권위지가 우리 양자 연구를 Meta·Google·명문대와 동급으로 평가.
- ⏱️ 산업적 시의성양자내성암호(PQC) 전환이 시급한 지금(업계 87%가 계획, 단 7%만 배포), 우리의 실기(實機) 양자 암호분석이 주목받는 순간. 공공·국방 보안 조달과 직결.
리만 가설의 최신 도구: 세계 최초 수치 구현
저희가 아는 한(to our knowledge) 최초입니다.리만 가설의 증명이 아니라, 그 도구의 정직한 수치 특성화입니다.
도쿄과학원(Institute of Science Tokyo)의 스즈키(M. Suzuki) 교수가 2026년 이론으로만 제시한 자기수반 연산자를, 비드래프트가 블랙웰 GPU와 AI로 구현했습니다. 그 스펙트럼에서 상수의 닫힌형(강력한 1σ 후보), 경계 위상, 소수 온셋 법칙을 도출했고 전 과정을 공개·재현 가능하게 했습니다. 이 결과는 아르키메데스적·보편(모든 L-함수 공통)이며 제타 영점 고유가 아닙니다.
닫힌형 적합 R²=1.000000 (40모드) · GUE KS=0.068 vs 푸아송 0.349 · 폰 망골트 역판독 오차 0.08%: 모두 브라우저에서 직접 재현 가능.
정직 고지: 리만 가설의 ‘증명’이 아니라 그 도구의 수치 특성화입니다. 닫힌형은 1σ 후보(확정 아님)이며, 결과는 모든 L-함수에 공통된 보편 성질입니다. 정수론 저널(J. Number Theory)급 게재 여지.
우리가 운영하는 중립 벤치마크: FINAL-Bench Quantum
양자 오류정정 디코더 성능을 회전 표면부호(Stim) 위에서 재현 가능하게 겨루는 공개 리더보드입니다.
Track A는 검증(VERIFIED), Track B는 보고(REPORTED)로 등급을 구분하며, 양자우위(quantum advantage)를 주장하지 않습니다.
우리는 참가자이면서, 다른 결과가 측정되는 중립 기준을 운영합니다, 재현 가능한 결과를 공개적으로 비교합니다.
리더보드 열기 →양자로 무엇을 발견하나: 응용
이 양자 엔진은 두 발견 라인을 구동합니다: 신약 후보 분자의 결합·활성부위 에너지 검증, 그리고 신소재의 강상관 물성 검증.