Các chủ đề nâng cao trong Mật mã học

Khóa học này khám phá sự phát triển của các phép chứng minh trong khoa học máy tính, tập trung vào chứng minh tương tác (interactive proofs), chứng minh tương tác đa người chứng minh (multi-prover interactive proofs) và chứng minh có thể kiểm tra xác suất (probabilistically checkable proofs). Người học sẽ khám phá cách tận dụng mật mã học để chuyển đổi các hệ thống chứng minh tiên tiến này thành các đối số phi tương tác có tính đúng đắn về mặt tính toán (SNARGs).