| Is your concern that the algorithms involved in schemes like Shasper might not be correct, or that their economic assumptions about attacks might fail? I think it's very unlikely that any of the theoretical ideas behind Shasper are incorrect. Casper itself is simple and comes with a simple proof, and it's similar to an old algorithm by DLS [1], which also comes with a proof. Sharding does introduce some other machinery, like VDFs for randomness (specifically [2]), but that has been vetted by plenty of cryptographers such as Dan Boneh's group. So even though there aren't any large-scale deployments of BFT algorithms yet, the approach is widely thought to be sound. I'm working on a blockchain based on sharded BFT, as is Ethereum, RapidChain, NEAR Protocol, and others. It's always possible that our economic assumptions will fail, but they're not radically different from Bitcoin's. You can attack Bitcoin by buying 51% of all hash power, or you can attack a BFT system by buying 34% of all stake. Either way it comes down to making an assumption about the attacker's funding. [1] https://groups.csail.mit.edu/tds/papers/Lynch/jacm88.pdf [2] https://eprint.iacr.org/2018/623.pdf |
When I read the updates about Casper[1] there are plenty of issues presented, so don't sure why you are saying Casper itself is simple.
Fine you are working in the "Sigma Network", we are working with one of the projects mentioned there.
[1] https://medium.com/prysmatic-labs/