講演日時： 1999年7月28日講演者名： Rene Peralta Yale University
Professor
講演内容| The talk will present the notion of a "discreet proof of knowledge". The length of such proofs is related to the number of conjunctions sufficient to build circuits for boolean functions over the base (XOR, NOT,AND). Recent results regarding the latter problem will be described. Finally, an application to UNIX remote logins will be presented. |