27-그룹이 개발한 'K-베리타스 고(K-Veritas Go)'는 코드 실행 결과를 암호학적으로 검증하여 신뢰성을 확보하는 오픈소스 도구입니다. 이 기술은 특정 코드가 특정 하드웨어에서 특정 시간에 실행되어 도출된 결과임을 증명하며, 이를 위변조 방지된 서명(signed) PDF 보고서로 생성합니다. 이 보고서는 누구나 쉽게 검증할 수 있어, 복잡한 재현 과정 없이도 결과의 진위 여부를 확인할 수 있게 합니다.
K-베리타스(K-Veritas)는 실행 중인 프로세스의 하드웨어 사용량(HMCA), 컴퓨팅 비용(Compute-cost), 데이터 출처(Provenance) 등을 실시간으로 기록하고 검증합니다. 예를 들어, AI 모델 학습 시 선언된 FLOPs와 실제 사용된 시간, 에너지, 메모리 등을 비교하여 결과가 조작되지 않았음을 확인합니다. 또한, 메트릭(KVERITAS_METRIC), 단계(KVERITAS_PHASE), 핵심 주장(KVERITAS_CLAIM) 등 사용자가 정의한 정보를 표준화된 형식으로 기록하고 서명하여 결과의 투명성을 극대화합니다. 모든 과정은 머클 타임라인(Merkle timeline)으로 기록되며, 선택적 공개(selective disclosure) 기능을 통해 특정 파일이나 에이전트 프롬프트/출력만 증명하면서도 나머지 정보는 비공개로 유지할 수 있습니다.
이 기술은 인공지능(AI) 연구, 과학 실험, 소프트웨어 개발 등 재현성과 신뢰성이 핵심인 분야에서 큰 의미를 가집니다. 특히 AI 모델 학습 결과의 투명성과 공정성 확보에 기여하며, 연구자들이 자신의 주장을 입증하고 동료 검토자들이 이를 효율적으로 확인할 수 있도록 돕습니다. 또한, 모델이나 데이터셋을 공개하지 않고도 벤치마크 점수를 증명할 수 있는 기능은 기업의 지적 재산권을 보호하면서도 신뢰를 구축하는 데 유용할 것입니다. K-베리타스는 결과의 진실성을 보장함으로써 학술적 부정행위를 방지하고, 산업 전반의 데이터 기반 의사결정에 대한 신뢰도를 높이는 중요한 도구가 될 잠재력을 가지고 있습니다.