On Smart Contracts and DAOs