I\'m looking for implementations of set reconciliation algorithm. The problem is following: there are two sets with elements identified by some relatively compact value (e.g. UU
The Synchronizing Keyserver project implements efficient set reconciliation in OCaml.