3 ms·
Proof of stake is a application not computer science. What fundamental new knowledge into computing are you thinking about attributing?
by retcore 4y ago
Proof of stake is a application not computer science. What fundamental new knowledge into computing are you thinking about attributing?
- fastball 4y agoPoS is an application of what?
- sterlind 4y agoto be really pedantic, I'd say PoS is an economic breakthrough rather than heavy-duty computer science, strictly speaking. the actual math of the consensus algorithms seems relatively simple, the challenge is aligning all the incentives so that adversaries in a group of anonymous people have nothing to gain by subverting the rules. I will gladly give a Turing award to whoever formally proves the safety and liveness of Gasper like Lamport did for Paxos.
- DennisP 4y agoBLS signature aggregation was finalized as an IETF standard in 2019. It's the reason Ethereum can support over a million staking nodes. BLS was invented back in 2001, but was expensive to verify. A paper published in 2018 showed how to verify n aggregated signatures on the same message m with just 2 pairings instead of n+1. https://ethresear.ch/t/pragmatic-signature-aggregation-with-bls/2105 https://ethresear.ch/t/pragmatic-signature-aggregation-with-...