할 피니의 재사용 가능한 작업 증명 라이브 버전이라는데