Verifiable computation is an active and developed area of research in cryptography, and the validation method of having every node run every step of every computation is the most naive approach. There are plenty of ways to prove to you that I faithfully executed a computation that don't rely on your also having performed the computation.
I don't know how active the Maker userbase is, but Augur has 700 monthly active users.
It seems like it would be possible to manipulate the validator set for a particular shard - also, isn't part of the point of ethereum to be able to access information from other contracts? How do you guarantee that that contract is on the same shard?
I don't know how active the Maker userbase is, but Augur has 700 monthly active users.
It seems like it would be possible to manipulate the validator set for a particular shard - also, isn't part of the point of ethereum to be able to access information from other contracts? How do you guarantee that that contract is on the same shard?