status-im/eth2.0-specs
2
0
Fork 0
mirror of https://github.com/status-im/eth2.0-specs.git synced 2025-02-03 14:24:24 +00:00
Code Issues Projects Releases Wiki Activity

Update casper_sharding_v2.1.md

Browse Source
This commit is contained in:
Justin 2018-10-03 22:15:43 +01:00 committed by GitHub
parent 24c8a53b5c
commit 9a05c79e3e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 24 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

47
specs/casper_sharding_v2.1.md
View File

@ -585,39 +585,40 @@ Finally:
Note: This spec is ~60% complete. Note: This spec is ~60% complete.
* [ ] Specify how `crystallized_state_root` and `active_state_root` are constructed **Missing**
* [ ] Specify how `crystallized_state_root` and `active_state_root` are constructed, including Merklelisation logic for light clients
* [ ] Specify the rules around acceptable values for `pow_chain_ref`
* [ ] Specify the shard chain blocks, blobs, proposers, etc. * [ ] Specify the shard chain blocks, blobs, proposers, etc.
* [ ] Specify the rules for forced deregistrations * [ ] Specify the rules for forced deregistrations
* [ ] Add a double-batched Merkle accumulator for historical beacon chain blocks * [ ] Specify the various assumptions (global clock, networking latency, validator honesty, validator liveness, etc.)
* [ ] Specify the various assumptions (global clock, validator honesty, validator liveness, etc.) * [ ] Specify (in a separate Vyper file) the registration contract on the PoW chain
* [ ] Specify in Vyper the registration contract on the PoW chain * [ ] Specify the bootstrapping logic for the beacon chain genesis (e.g. specify a minimum number validators before the genesis block)
* [ ] Specify the RANDAO logic, including the hardening against orphaned reveals * [ ] Specify the logic for proofs of custody, including slashing conditions
* [ ] Add per-validator proofs of custody, including slashing conditions * [ ] Add an appendix about the BLS12-381 curve
* [ ] Use a separate hash function for the proof of possession
* [ ] Add an appendix for BLS12-381
* [ ] Add an appendix on gossip networks and the offchain signature aggregation logic * [ ] Add an appendix on gossip networks and the offchain signature aggregation logic
* [ ] Comprehensively and clearly define all the terms in the glossary * [ ] Add a glossary (in a separate `glossary.md`) to comprehensively and precisely define all the terms
* [ ] Clearly document the various edge cases, e.g. with committee sizing
* [ ] Rework the document for readability
* [ ] Undergo peer review, security audits and formal verification * [ ] Undergo peer review, security audits and formal verification
**Possible changes and additions** **Possible rework/additions**
* [ ] Deprecate Wei and use 64-bit balances, consistent with a 64-bit EVM2.0
* [ ] Allow for deposits larger than 32 ETH, as well as deposit top ups
* [ ] Add penalties for a deposit below 32 ETH (or some other threshold)
* [ ] Add a `SpecialObject` to change the `withdrawal_shard_id`, `withdrawal_address` or `randao_commitment`
* [ ] Replace Blake with a STARK-friendly hash function
* [ ] Replace the IMD fork choice rule with LMD * [ ] Replace the IMD fork choice rule with LMD
* [ ] Merge `crystallized_state_root` and `active_state_root` into a single root * [ ] Merklelise `crystallized_state_root` and `active_state_root` into a single root
* [ ] Add Merklelisation of the state root(s) for light clients * [ ] Replace Blake with a STARK-friendly hash function
* [ ] Add logic for versioning and upgrades
* [ ] Get rid of dynasties * [ ] Get rid of dynasties
* [ ] Add a RANDAO slashing condition for early leakage
* [ ] Rework the `ShardAndCommittee` data structures
* [ ] Reduce the slot duration to 8 seconds * [ ] Reduce the slot duration to 8 seconds
* [ ] Allow for the delayed inclusion of aggregated signatures * [ ] Allow for the delayed inclusion of aggregated signatures
* [ ] Consider separate networking-optimised serialisation formats * [ ] Use a separate networking-optimised serialisation format for networking
* [ ] Harden RANDAO against orphaned reveals
* [ ] Introduce a RANDAO slashing condition for early leakage
* [ ] Use a separate hash function for the proof of possession
* [ ] Rework the `ShardAndCommittee` data structures
* [ ] Add a double-batched Merkle accumulator for historical beacon chain blocks
* [ ] Allow for deposits larger than 32 ETH, as well as deposit top-ups
* [ ] Add penalties for a deposit below 32 ETH (or some other threshold)
* [ ] Add a `SpecialObject` to (re)register
* [ ] Rework the document for readability
* [ ] Clearly document the various edge cases, e.g. with committee sizing
# Appendix # Appendix
## Appendix A - Hash function ## Appendix A - Hash function