Karşılıklı çözüm, Akıllı bir Sözleşmeye Programlanabilir