블록체인arXiv cs.CR (암호학·보안)AI 점수 70%
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
When Pebbles Are Not Atomic: A Polynomial Separation Between Pure and Entangled Pebbling (원문, 새 창)
AI 인사이트
대상 독자:개발자
- 메모리 하드 함수·공간증명의 안전성 근거인 그래프 페블링 모델의 한계를 새로 규명
- 순수 페블링과 XOR 인코딩을 허용한 엔탱글드 페블링이 다항식 차수로 벌어질 수 있음을 증명
- 기존에는 최대 로그 비율 차이만 알려졌으나, 특정 설정에서는 차이가 다항식임을 보임
- Alon-Moitra-Sudakov의 특수 그래프와 조합게임을 이용해 구체적 반례 그래프를 구성
왜 중요한가
공간증명·메모리 하드 함수의 안전성을 페블링 하한만으로 판단하는 것이 상수배가 아니라 다항식배로 틀릴 수 있음을 보여, 해당 암호 구성의 보안 증명 방식을 재검토할 필요성을 제기한다.
본문 미리보기
arXiv:2610.27249v1 Announce Type: new Abstract: Graph pebbling is the model in which the memory cost of memory-hard functions and proofs of space is measured, and pebbling lower bounds are the main way to argue that such constructions are secure. It has long seemed that the model is faithful to reality. It is known that it is not exact: an adversary who stores encoded information instead of whole values can do better, but so far only by small factors: a factor of 1.5 in the work that introduced
전체 내용이 궁금하다면?
arXiv cs.CR (암호학·보안)에서 원문을 직접 읽어보세요
공유
- #그래프페블링
- #증명공간
- #메모리하드함수
이 글이 만들어진 과정
- 11:34AI 초안