Design of Zero-Knowledge Protocols

Práce se zabývá automatizovanými metodami pro návrh bezpečnostních protokolů a jejich využitím pro návrh zero knowledge protokolů, nebo protokolů, kde je možné využít ZK protokoly jako subprotokoly. Konkrétně je kladen důraz na využití kompoziční metody. Práce také ukazuje možnou implementaci dané metody.Thesis introduces automated methods of protocol design and their usability for zero knowledge protocol design or protocols, where ZK protocols are used as subprotocols. Especially composition method is described more in depth. Thesis shows also a sample implementation of this method.