후양자

이더리움 재단 형식 검증 팀이 Yukon, zkSecurity와 협력하여 만든 오픈 자동 연구 챌린지 better.codes가 이제 온라인으로 제공됩니다. 이 플랫폼은 Proximity Prize의 자가 포함 문제를 Lean으로 형식화하고, koalaIRS12의 기계 검사 신뢰성 경계를 공공 순위에 넣어 누구나 이를 개선할 수 있도록 하여 해시 기반 SNARK 및 후양자 이더리움 관련 보안 기준을 발전시키는 데 기여합니다.해결자는 AI 지능체를 가져와 Reed-Solomon 근접 문제에 대해 더 높은 신뢰성 하한을 증명하며 고정된 128비트 목표를 향해 나아갈 수 있습니다. Lean 커널은 제출된 모든 내용을 검증하며, 승격된 증명은 공개 경계를 높이고, 새로운 보조 정리, 증명 기술 및 불가능성 결과는 상류와 동기화되어 모든 참가자가 재사용할 수 있도록 합니다. 생산 환경에서 대부분의 해시 SNARK는 관련 근접 간격 및 관련 합의 결론에 의존하며, 현재 증명 가능한 결과는 연구자가 신뢰하는 기준보다 낮습니다. 이 챌린지는 개방적이고 점진적이며 검증 가능한 방식으로 이 격차를 줄이는 것을 목표로 합니다.koalaIRS12는 관련 논문에서 유래되었으며 ArkLib에서 엔드 투 엔드 형식화되었습니다. 참가자는 GitHub를 통해 로그인하고 챌린지 저장소를 클론하여 고정 정리 진술 및 검증 프레임워크 하에 제출할 수 있습니다; 비교기와 Lean 커널이 확인한 후 결과는 공공 저장소에 기록되며 해결자와 사용된 모델이 명시됩니다. 오늘 온라인으로 제공되는 것은 koalaIRS12의 증명된 하한을 128비트로 높이는 신뢰성 챌린지이며, 이후 더 많은 문제를 추가할 수 있으며 세부 사항은 프로젝트 약관에 따릅니다.

Anthropic은 Claude Mythos Preview 모델이 암호학 연구에서 돌파구를 마련했으며, 후양자 디지털 서명 후보안 HAWK에 대한 개선된 공격 방법을 발견했다고 발표했습니다. HAWK는 NIST가 양자 컴퓨터 공격에 대응하기 위해 모집한 후양자 서명 후보안으로, 이전에 두 차례 전문가 검토를 통과했습니다. 그러나 Claude는 단 60시간 만에 HAWK-256의 유효 키 강도를 2^64에서 2^38로 낮추어 이론적인 해킹 비용을 크게 줄였습니다. HAWK는 아직 실제로 배포되지 않았으며, 현재 이 공격은 어떤 생산 시스템에도 영향을 미치지 않습니다.Claude는 또한 7 라운드 AES에 대한 개선된 공격을 발견했으며, 속도가 200배에서 800배 향상되었습니다. 연구 과정에서 Claude는 암호학자의 제한된 지침 아래 문헌 검토, 수학적 추론 및 실험 검증을 독립적으로 완료했습니다. HAWK 공격은 약 60시간이 소요되었고, API 비용은 약 10만 달러였습니다. AES 공격은 Claude가 독립적으로 완료하였으며, 약 10억 개의 토큰을 생성한 후 핵심 혁신 아이디어를 제시했습니다. Anthropic 연구원들은 이후 수백 시간을 들여 결과를 검증했습니다. Anthropic은 AI 모델이 중요한 암호 알고리즘 결함을 발견하는 데 도움을 줄 수 있으며, 암호학계는 소프트웨어 취약점 분야와 유사한 병목 현상에 직면할 수 있다고 밝혔습니다. AI가 생성한 연구 결과는 인간의 검증 능력을 훨씬 초과합니다. Anthropic은 학술 기관과 협력하여 CryptanalysisBench 기준을 출시했으며, NIST 저자 및 정부 파트너와 협력하여 공개를 조정했습니다. 연구팀은 LEA, Serpent-128 등의 알고리즘에서 초기 성과를 거두었습니다. Anthropic은 AI 능력이 향상됨에 따라 향후 배포된 시스템에 대한 실제 공격이 발견될 수 있으며, 사전 대응 메커니즘을 구축해야 한다고 경고했습니다.

NEAR Chain Status 공식 발표에 따르면, NEAR 메인넷 2.13.0 버전이 출시되었으며, 후량자 거래 서명 방식과 동적 샤딩 기능이 도입되었습니다.투표는 베이징 시간으로 7월 20일 오전 8시에 시작됩니다. 전 NEAR 핵심 개발자 Vadim은 이번 업그레이드가 대부분의 블록체인이 10년 로드맵을 통해 완료해야 하는 기능을 포함하고 있다고 소개했습니다: 후량자 서명 ML-DSA-65는 ed25519와 secp256k1에 이어 프로토콜의 세 번째 키 유형이 되었으며, 계정은 양자 컴퓨터가 위조할 수 없는 키를 보유할 수 있고, 체인에는 32바이트 해시만 기록됩니다; 동적 샤딩은 체인이 각 샤드의 상태 크기를 자동으로 모니터링하고 epoch 경계에서 샤드를 분할 및 재분할하며, 프로토콜 업그레이드나 인위적인 개입이 필요하지 않습니다; Gas Keys는 대리 경제에 중요한 기능을 제공하며, 단일 계정이 여러 대리를 동시에 실행하여 거래를 전송할 수 있게 하여 nonce 충돌을 방지합니다.

PR Newswire에 따르면, QIZ Security는 1,700만 달러 규모의 시드 라운드 자금을 완료했다고 발표했으며, Bessemer Venture Partners와 Merlin Ventures가 주도하고, Evolution Equity Partners, Qbeat Ventures, Singtel Innov8, Qino Cyber Capital 등이 참여했습니다.회사는 암호 자산 및 후량자 암호학(PQC) 관리 플랫폼으로 자리 잡고 있으며, 지속적인 암호 자산 발견, 위험 모델링 및 거버넌스를 제공하여 대형 금융, 통신, 의료 및 핵심 인프라 고객이 "암호 민첩성"을 실현하도록 돕고 있습니다. 이는 2029년경에 발생할 수 있는 기존 암호 체계를 해독할 수 있는 양자 컴퓨팅 "Q-Day" 위험에 대응하기 위한 것이며, Cisco, AWS, Google, CrowdStrike, Deloitte, EY, IBM 등과 협력하여 기업 양자 보안 이전 계획을 추진하고 있습니다.

The Defiant에 따르면, 이더리움 연구원 Thomas Coratger, Justin Drake 등은 6월 1일 이더리움 연구 포럼에서 제안을 발표하였으며, 이 제안은 이더리움의 후량자 암호학으로의 전환을 위한 첫 번째 구체적인 프로토콜 업그레이드로서 전용 XMSS 공개 키 등록소를 구축할 계획이다.이 등록소는 약 100만 명의 검증자가 BLS 서명 시스템이 완전히 전환되기 전에 양자 안전한 XMSS 키를 미리 등록할 수 있도록 하여 중요한 "예열 단계"로서 후속 전환이 네트워크 안정성에 미치는 영향을 줄인다. 이 제안은 이더리움 재단 프로토콜 팀의 Strawmap 로드맵에 포함되어 있으며, 로드맵상의 첫 번째 프로토콜 분기이다.

ChainCatcher 메시지, 후양자 프라이버시 보호 공공 블록체인 프로젝트 Abelian이 300만 달러의 자금 조달을 완료했다고 발표했습니다. Draper Dragon이 주도했으며, 나머지 투자자는 고액 자산 개인 및 가족 사무소입니다. 이번 자금 조달은 프로젝트 기술 개발, 준비금, 마케팅 및 Abelian 생태계 파트너 지원에 사용됩니다.전해진 바에 따르면, Abelian은 세계 최초의 후양자(양자 저항) 프라이버시 보호 L1 블록체인으로, NIST 표준화된 격자 기반 암호 알고리즘을 채택하고 있으며, 암호학적으로 그 안전성을 증명했습니다. 디지털 골드 2.0을 실현하고 양자 저항 및 프라이버시 보호 암호 생태계를 구축하며, L2 네트워크와 후양자 제로 지식 브리지를 구축하여 EVM 동등 블록체인 네트워크를 지원하고 Web3 및 DeFi 애플리케이션에 힘을 실어주는 것을 목표로 하고 있습니다. （출처 링크）