증명 가능한 공정 추첨 | 증명할 수 있는 검증된 스핀