고급 자료구조
Open Academy
이 과정은 컴퓨터 과학에서 데이터 구조의 근본적인 역할을 탐구하며, 효율적인 알고리즘 개발에 있어 데이터 구조의 중요성을 강조합니다. 학습자들은 동적 그래프, 메모리 계층 구조, 해싱을 포함한 심화 주제를 공부하는 동시에, 해당 분야의 최신 연구 방향을 접하게 됩니다.
입문
algorithms, structures, MIT
이 과정은 대화형 증명(interactive proofs), 다중 증명자 대화형 증명(multi-prover interactive proofs), 그리고 확률적으로 검사 가능한 증명(probabilistically checkable proofs)에 초점을 맞추어 컴퓨터 과학에서 증명의 진화를 탐구합니다. 학습자들은 암호학을 활용하여 이러한 고급 증명 시스템을 계산적으로 건전한 비대화형 인수(SNARGs)로 변환하는 방법을 배우게 됩니다.





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





토스랩
에 관심있는 사람들도 듣는 중!
대화형 및 다중 증명자 증명의 중요성을 설명하는 능력
증명 시스템을 SNARG로 변환하는 기술
암호학과 계산적 건전성 사이의 관계에 대한 이해
학습 대상은
누구일까요?
고급 증명 시스템을 이해하는 데 어려움을 겪고 있는 암호학 애호가들
암호학 응용 분야에 대한 이해를 심화하고자 하는 컴퓨터 공학도들
보안 통신 프로토콜 분야의 기술 역량을 강화하고자 하는 전문가들
선수 지식,
필요할까요?
기초적인 암호학 개념에 대한 숙련도
계산 복잡도의 이해
대화형 증명 시스템에 관한 지식
1,921
명
수강생
10
개
수강평
4.8
점
강의 평점
131
개
강의
"언어가 학습의 장벽이 되지 않도록."
세계 유수 기관의 공개 강의를 전합니다.
번역과 자막 작업을 거쳐, 모든 학습자가 원어 부담 없이 강의를 따라갈 수 있도록 돕습니다.
전체
19개 ∙ (22시간 34분)
해당 강의에서 제공:
5. 제2강: 이중 효율적 대화형 증명, 파트 1
01:53:22
7. 제3강: GKR 프로토콜의 연속 및 추론
01:21:46
10. 제5강: 킬리안-미칼리 프로토콜, 제1부
01:44:35
지식공유자님의 다른 강의를 만나보세요!
같은 분야의 다른 강의를 만나보세요!
무료