An example of this type of algorithm, credited to Leslie Lamport, uses a one-way function (call it f).
Příklad tohoto typu algoritmu, připisováno Leslie Lamport, používá jednosměrné funkce (nazývané f).