Dies ist der dritte und vorletzte Beitrag in einer Reihe über theoretische Schwächen im Fiat-Shamir-Verfahren in Anwendung auf Beweissysteme. Der erste Beitrag ist hier, der zweite Beitrag ist hier und Sie sollten sie wahrscheinlich lesen. In den letzten beiden Beiträgen habe ich ein bisschen Hintergrundinformationen zu vier Themen gegeben: (1) interaktive Beweissysteme (für … Weiterlesen Wie man falsche Aussagen beweist? (Teil 3)