비트코인 양자보안 실험, 코드와 기계검증 결합

비트코인(BTC) 개발자들이 포스트양자 서명 연구용 라이브러리 ‘libshrincs’를 공개했다. 비트코인 본체에 바로 적용하는 업데이트가 아니라 C 언어로 작성한 코드와 보안 증명을 기계검증으로 함께 점검하는 개념증명이다. 조나스 닉(Jonas Nick) 블록스트림(Blockstream) 연구원과 개발자 remix7531은 12일 한국시간 델빙 비트코인(Delving Bitcoin)에 libshrincs를 공개했다. 이 라이브러리는 비트코인용 포스트양자 서명 체계로 제안된 SHRINCS의 일회용 서명 구성요소 WOTS+C를 C 언어로 구현했다. 개발진은 Rocq Prover와 SSProve를 이용해 보안 증명을 형식화했다. 이어 VST를 통해 C 구현이 Rocq 명세를 따르는지 검증했으며, 증명…