Der Beweis von Goldreich et al., Dass drei Färbbarkeitsnachweise keine Wissensnachweise enthalten, verwendet Bit-Commitment für eine vollständige Färbung des Graphen in jeder Runde [1]. Wenn ein Graph Eckpunkte und e Kanten hat, ein sicherer Hash b Bits hat und wir die Fehlerwahrscheinlichkeit p suchen , sind die gesamten Kommunikationskosten
über Runden. Unter Verwendung eines allmählich aufgedeckten Merkle-Baums kann die Gesamtkommunikation auf O ( b e log n log ( 1 / p ) ) reduziert werden, wobei die Anzahl der Runden auf O ( log n ) erhöht wird .
Ist es möglich, dies besser zu machen, entweder in Bezug auf die Gesamtkommunikation oder die Anzahl der Runden?
Edit : Danke an Ricky Demer für den Hinweis auf den fehlenden Faktor von .