0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Neo: Lattice-based folding scheme for CCS over small fields and pay-per-bit commitments
- 1.Neo는 CCS 위한 격자 기반 폴딩 스킴, HyperNova를 소수체 환경으로 확장
- 2.Goldilocks 같은 작은 소수체 사용 가능해 LatticeFold의 사이클로토믹 링 제약 해소
- 3.비트폭 비례 과금하는 pay-per-bit Ajtai 커밋먼트로 비트벡터 커밋 32배 저렴
- 4.양자내성 보안 제공, 단일 sum-check 프로토콜로 증명 생성
왜 중요한가?
기존 격자 기반 폴딩 스킴의 링 구조 제약과 커밋먼트 오버헤드를 해소해, 양자내성 재귀 증명 시스템 설계에 실용적 대안을 제공한다.
언급 프로젝트
본문 미리보기
This paper introduces Neo, a new lattice-based folding scheme for CCS, an NP-complete relation that generalizes R1CS, Plonkish, and AIR. Neo's folding scheme can be viewed as adapting the folding scheme in HyperNova (CRYPTO'24), which assumes elliptic-curve based linearly homomorphic commitments, to the lattice setting. Unlike HyperNova, Neo can use “small” prime fields (e.g., over the Goldilocks prime). Additionally, Neo provides plausible post-quantum security. Prior to Neo, folding schemes
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안



