블록체인IACR ePrint (암호학)AI 점수 70%
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Indistinguishability Obfuscation via Mathematical Proofs of Equivalence (원문, 새 창)
AI 인사이트
대상 독자:개발자
- 입력 길이에 지수적으로 커지는 iO의 '입력 길이 장벽'을 동등성 증명으로 우회하는 프레임워크 제시
- 명제논리로 동등성을 증명 가능한 회로는 입력 길이와 무관한 보안 손실로 난독화 가능
- Cook의 이론 PV로 동등성을 증명 가능한 튜링머신은 입력 길이 무제한에도 난독화 가능
- SNARG·증인 암호화 응용 제시, 입력 회로의 토폴로지를 보존하는 새 난독화 템플릿 개발
왜 중요한가
입력 길이가 무제한인 프로그램의 난독화는 iO 연구의 오랜 난제였는데, 이를 극복할 새 접근을 제시해 SNARG·증인 암호화 등 실용적 iO 응용의 범위를 넓힐 잠재력이 있다.
본문 미리보기
Over the last decade, indistinguishability obfuscation (iO) has emerged as a seemingly omnipotent primitive in cryptography. Moreover, recent breakthrough work has demonstrated that iO can be realized from well-founded assumptions. A thorn to all this remarkable progress is a limitation of all known constructions of general-purpose iO: the security reduction incurs a loss that is exponential in the input length of the function. This ``input-length barrier'' to iO stems from the non-falsifiabilit
전체 내용이 궁금하다면?
IACR ePrint (암호학)에서 원문을 직접 읽어보세요
공유
- #난독화
- #iO
- #암호학이론
이 글이 만들어진 과정
- 11:34AI 초안
관련 글
4건- Gate boasts 104% cold reserve coverage, but separate snapshot dates raise red flags
- Asian crypto exchanges batten down the hatches as hacks surge: Asia Express
- Solana developers propose major overhaul to address hidden risk that could disrupt its network
- Bitcoin traders face Friday’s $2.7 billion options expiry with a dangerous five-hour blind spot