암호학의 고급 주제들

이 과정은 대화형 증명(interactive proofs), 다중 증명자 대화형 증명(multi-prover interactive proofs), 그리고 확률적으로 검사 가능한 증명(probabilistically checkable proofs)에 초점을 맞추어 컴퓨터 과학에서 증명의 진화를 탐구합니다. 학습자들은 암호학을 활용하여 이러한 고급 증명 시스템을 계산적으로 건전한 비대화형 인수(SNARGs)로 변환하는 방법을 배우게 됩니다.

3명 이 수강하고 있어요.

난이도 입문

수강기한 무제한

Thumbnail
토스페이먼츠
토스
딜리버리히어로 코리아
딜리버리히어로
토스랩

토스랩

에 관심있는 사람들도 듣는 중!

토스페이먼츠
토스
딜리버리히어로 코리아
딜리버리히어로
토스랩

토스랩

에 관심있는 사람들도 듣는 중!

수강 후 이런걸 얻을 수 있어요

  • 대화형 및 다중 증명자 증명의 중요성을 설명하는 능력

  • 증명 시스템을 SNARG로 변환하는 기술

  • 암호학과 계산적 건전성 사이의 관계에 대한 이해

이런 분들께
추천드려요

학습 대상은
누구일까요?

  • 고급 증명 시스템을 이해하는 데 어려움을 겪고 있는 암호학 애호가들

  • 암호학 응용 분야에 대한 이해를 심화하고자 하는 컴퓨터 공학도들

  • 보안 통신 프로토콜 분야의 기술 역량을 강화하고자 하는 전문가들

선수 지식,
필요할까요?

  • 기초적인 암호학 개념에 대한 숙련도

  • 계산 복잡도의 이해

  • 대화형 증명 시스템에 관한 지식

안녕하세요
Open Academy입니다.

1,921

수강생

10

수강평

4.8

강의 평점

131

강의

"언어가 학습의 장벽이 되지 않도록."

세계 유수 기관의 공개 강의를 전합니다.
번역과 자막 작업을 거쳐, 모든 학습자가 원어 부담 없이 강의를 따라갈 수 있도록 돕습니다.

커리큘럼

전체

19개 ∙ (22시간 34분)

해당 강의에서 제공:

수업자료
강의 게시일: 
마지막 업데이트일: 

수강평

아직 충분한 평가를 받지 못한 강의입니다.
모두에게 도움이 되는 수강평의 주인공이 되어주세요!

Open Academy님의 다른 강의

지식공유자님의 다른 강의를 만나보세요!

비슷한 강의

같은 분야의 다른 강의를 만나보세요!

무료