Double Ratchet Algorithm