R3 claims progress on smart contracts standards