If it's not a cult, explain to me which algorithms in the protocol solve the double spending problem. 😂