STARK 증명 검사 횟수 감소 관련 수학 과제 공개

요약

STARK 증명 검사 횟수를 줄이기 위한 세 가지 수학 과제가 공개되었습니다. 이 과제들은 특정 조건 하에 100비트 보안에 필요한 검사 횟수를 기존 200회에서 148회로 낮출 수 있다는 계산 예시를 제시했습니다. STARK는 해시 함수 기반의 영지식 증명 체계로, 검증 과정의 신뢰성을 다룹니다. 과제들은 코드의 동의율 구간, 1차 경계 아래 범위 증명, 평가 영역 상한 등 세 가지 목표를 다루고 있으며, 모두 미해결 상태입니다. 이 수치 감소는 특정 조건을 전제로 한 계산 예시이며, 실제 적용을 위해서는 전체 보안성 분석이 추가로 필요합니다. 최근 연구에서는 이러한 수학적 상한 개선이 실제 증명 크기 감소로 이어진 사례도 보고되었습니다.

AI가 원문을 요약한 내용으로, 부정확할 수 있습니다. 투자 판단의 근거로 삼기 전에 원문을 확인하세요.