暗号学における高度なトピック

このコースでは、対話型証明、多証明者対話型証明、および確率的に検証可能な証明に焦点を当て、コンピュータサイエンスにおける証明の進化を探求します。学習者は、暗号技術を活用して、これらの高度な証明システムを計算量的に妥当な非対話型引数（SNARGs）へと変換する方法を学びます。