Kleros: The Efficient Adjudication for Smart Contracts