First releases of dirsp-exchange: auditable variant of Signal Protocol andiscuss.ocaml.org2 pointstodsacerdoti5 years ago