컴퓨터 과학 학회는 부인할 수 없는 실험 결과를 요구해야 한다

한 포지션 페이퍼가 컴퓨터공학 학회에 실제 실행된 코드에서 나온 수치임을 입증하는 위변조 방지 증명을 요구해야 한다고 주장했다.

핵심은 비부인(nonrepudiable) 증명으로, 실험 결과를 조작하거나 나중에 부인하기 어렵게 만드는 것이다.

논문은 이를 구현하는 참고용 프로토타입으로 Go 기반 K-Veritas를 제시했다.

이는 재현 가능한 연구와 실험 무결성을 강화하는 새로운 기준이 될 수 있다고 본다.