BLAKE3-Servil이 AI로 작성한 해시 구현체를 공개했다

BLAKE3-Servil v0.8이 공개됐습니다. 개발을 이끈 주코(Zooko)는 AI가 코드를 작성했고 자신은 코드를 읽거나 작성하지 않았다고 밝혔습니다. 정확성 증명(correctness proof)과 메모리 안전성(memory safety) 검증은 아직 완전하지 않습니다. 저는 속도보다 개발자가 결과물을 읽지 않았다는 사실에 먼저 눈이 갑니다. 코드를 읽지 않은 개발자의 판단만으로는 구현을 믿기 어렵고, 검증도 아직 완전하지 않기 때문입니다.

OpenScion은 저장된 데이터와 변경 기록을 BLAKE3 값으로 식별합니다. 그런 쓰임에서는 구현 속도뿐 아니라 같은 데이터에 같은 결과를 내는지와 안전성도 중요해집니다. BLAKE3-Servil의 성능 주장은 실제 저장 도구에서 검증 범위를 살펴보는 관심사와 맞닿습니다.

반가운 점은 속도 주장과 함께 검사 방식도 공개했다는 점입니다. 주코는 여러 상황에서 경쟁 해시 함수보다 10배 이상 빠를 수 있다고 주장합니다. 공개된 품질 설명에는 어셈블리어(assembly language) 부분의 정확성·메모리 접근·실행 시간 일정성 증명이 담겼습니다. 변이 테스트(mutation testing)도 2,000회 넘게 수행했습니다. 속도 수치만 내놓지 않고 검증 근거도 살펴볼 수 있다는 점은 흥미롭습니다.

10배 이상은 여러 상황에서 그럴 수 있다는 주장의 범위이지, 모든 입력과 기기에서 보장된 결과는 아닙니다. 정확성 증명은 어셈블리 부분에 있고, 전체 구현의 정확성과 메모리 안전성 검증은 아직 완전하지 않습니다. 저는 2,000회라는 횟수 자체보다 그 테스트와 증명이 닿은 범위가 더 크게 다가옵니다.

처음부터 서비스에 넣기보다 격리된 시험 환경에서 같은 작은 파일과 큰 파일을 시험해 보십시오. 기존에 신뢰하는 BLAKE3 구현과 BLAKE3-Servil로 각각 계산해 결과를 비교하면 됩니다. 이어 평소 처리하는 데이터로 시간을 재면 10배 이상이라는 주장이 내 작업에서도 재현되는지 확인할 수 있습니다. 결과가 일치하고 속도 이득도 확인되면 시험 범위를 넓히되, 이 비교만으로 메모리 안전성이 입증되는 것은 아니라는 점도 염두에 두십시오.

새 해시 구현을 업무에 들일 때, 평소 성능 수치와 검증 범위 중 무엇을 먼저 확인하십니까?