본문으로 건너뛰기
피드

자기 자신의 SHA-512 해시를 출력하는 C 프로그램 (IOCCC 2019)

open-source 약 4분

IOCCC 2019 출품작으로, quine 기법과 SHA-512 계산을 결합해 자기 소스의 해시를 출력하는 C 프로그램. 앞선 코드를 정확히 1280바이트로 맞춰 SHA-512 내부 상태를 사전 계산하고, 라운드 상수는 64비트 정수 이분법으로 런타임 생성함.

  • 1

    quine + SHA-512 계산을 결합해 자기 소스의 해시를 출력

  • 2

    앞선 코드가 정확히 1280바이트(SHA-512 블록 사이즈의 배수)로 맞춰져 내부 상태를 사전 계산 가능

  • 3

    80개 라운드 상수를 하드코딩 대신 처음 80개 소수의 세제곱근을 런타임에 계산해 정체를 숨김

  • 4

    64비트 정밀도 문제를 67비트 값을 24비트 3개로 분할하고 이분법으로 해결

  • 5

    포터블 C99 코드, -Wextra -Weverything에서 경고 없이 컴파일됨

IOCCC 2019 출품작으로, 자기 자신의 SHA-512 해시를 출력하는 C 프로그램임. 핵심은 이 프로그램이 사실 quine(자기 소스를 인식하는 프로그램)이라는 것. 소스를 출력하는 대신 SHA-512 해시를 계산해서 출력함.

두 가지를 숨겨야 했음: quine이라는 사실과, SHA-512 계산 자체.

quine을 숨기는 트릭이 영리함. 소스 끝에 있는 긴 문자열 리터럴은 소스 코드 압축이 아니라, 앞선 코드를 이미 외부 스크립트로 SHA-512 처리한 뒤의 내부 상태값을 인코딩한 것임. 앞선 코드가 정확히 1280바이트(SHA-512 블록 사이즈인 1024비트의 배수)로 맞춰져 있어서, 프로그램은 그 지점부터 SHA-512 계산을 이어받아 마지막 블록만 처리하고 해시를 완성함.

SHA-512 계산을 숨기는 부분도 흥미로움. 80개의 라운드 상수를 하드코딩하면 웹 검색 한 번으로 정체가 드러남(예: 0x428a2f98d728ae22 검색하면 바로 SHA-512임). 그래서 라운드 상수를 런타임에 계산함 — 처음 80개 소수의 세제곱근의 소수부.

여기서 문제가 생김. SHA-512는 64비트 정밀도가 필요한데 double의 가수부는 53비트뿐임. 고정밀 부동소수점은 포터블 C99에서 불가능하고, 임의 정밀도 산술은 코드가 너무 커짐. 해결법: 세제곱근 대신 세제곱을 계산함. 이분법(bisection)으로 후보를 탐색하면서 64비트 정수로 세제곱을 구해 소수와 비교함.

67비트 정밀도가 필요한데(정수부 3비트 + 소수부 64비트) 포터블 C99에서는 32비트 곱셈까지만 결과가 64비트에 들어감. 그래서 67비트 값을 24비트 3개로 분할하고, 2^24 진법의 3자리 수 곱셈 공식을 적용함. 중간값은 우시프트로 정밀도를 줄여가며 64비트 안에 맞춤. 시행착오 끝에 처음 80개 소수에 대해 정확한 결과를 얻었다고 함.

-Wextra -Weverything 옵션에서도 경고 없이 컴파일되는 포터블 C99 코드이고, 32비트와 64비트 시스템 모두에서 동작함. 저자는 24비트 3개 대신 2개로 분할할 수 있는지를 미해결 문제로 남겨둠.

SHA-512의 블록 구조와 라운드 상수 생성 원리를 역이용한 우아한 난독화. 64비트 정밀도 제약을 24비트 분할로 돌파한 접근이 인상적임.

댓글

댓글

댓글을 불러오는 중...

open-source

뱀부랩, 오픈소스 슬라이서 개발자에게 법적 압박 걸었다가 역풍 맞음

3D 프린터 제조사 뱀부랩이 OrcaSlicer-BambuLab 개발자에게 중단 요구서를 보내면서 오픈소스와 수리권 커뮤니티의 반발을 샀다. GamersNexus와 Louis Rossmann은 개발자의 허락을 받아 소프트웨어를 다시 호스팅하고, 소송이 걸리면 각각 1만 달러씩 법률 지원을 하겠다고 나섰다.

open-source

OrcaSlicer 포크, Bambu Lab 프린터의 인터넷 연결 기능 되살림

FULU Foundation의 OrcaSlicer-bambulab 포크가 Bambu Lab 프린터에서 LAN 전용 제한 없이 BambuNetwork 기반 인터넷 연결을 다시 지원한다고 밝힘. Windows에서는 WSL 2 설정이 필요하고, Linux에서는 일반 설치만으로 충분하다고 안내함.

open-source

코넬대가 공개한 정확히 2,000줄짜리 교육용 운영체제

코넬대 기반 프로젝트인 egos-2000은 학생이 교육용 운영체제 전체 코드를 직접 읽을 수 있게 만드는 걸 목표로 한다. C, 헤더, 어셈블리, make 파일을 합쳐 정확히 2,000줄이며, QEMU와 RISC-V 보드에서 동작하고 9개 코스 프로젝트가 붙어 있다. 운영체제 수업에서 ‘작지만 전체 구조가 보이는 코드베이스’가 필요했던 사람에게 꽤 반가운 자료다.

open-source

이맥스가 Git 대신 Bazaar를 붙잡았던 6년짜리 오픈소스 드라마

이맥스는 2008년 CVS에서 벗어나면서 Git 대신 GNU 프로젝트인 Bazaar를 선택했고, 이 결정은 성능 벤치마크와 개발자 반발을 압도한 정치적 판단에 가까웠다. Bazaar는 느리고 유지보수도 흔들렸지만, GNU 패키지는 GNU 도구를 써야 한다는 원칙 때문에 전환은 2014년까지 미뤄졌다. 결국 ELPA 브랜치 문제와 Bazaar 개발 중단, 변환 스크립트 준비 끝에 이맥스는 Git으로 옮겨갔다.

open-source

현대차·기아, 오픈소스 특허 방어망 넓혀 소프트웨어 중심 차량 전환 준비

현대차·기아가 오픈소스 소프트웨어 특허 분쟁을 줄이기 위해 글로벌 특허 네트워크 OIN 2.0에 가입했다. 소프트웨어 중심 차량, 클라우드, 커넥티드 서비스처럼 오픈소스 의존도가 큰 영역에서 법적 리스크를 미리 관리하려는 움직임이다.