The amount of inactivity penalty was adjusted to half since we were applying penalty for missing FFG target and source. But now we only apply it for missing target, so `INACTIVITY_PENALTY_QUOTIENT` should be `2**24`.

…on of the given list, not `ValidatorIndex`

Strict `ValidatorIndex` definition

…ient_bug

Fix `INACTIVITY_PENALTY_QUOTIENT`

Fix some phase 0 typing

…n(), fixes #1636, fixes #1456, fixes #1408

Cosmetic changes from #1737

Co-Authored-By: Hsiao-Wei Wang <[email protected]>

sync v0.11.2 to `v012x`

1. Avoid negative computation in `is_candidate_block`
2. Fix `get_block_signature`: avoid extra casting; it's simpler to use BeaconBlock instead of
BeaconHeader

1. "Becoming a validator"
2. "Validator assignments"
3. "Beacon chain responsibilities: Block proposal"

1. "Beacon chain responsibilities: Attesting"
2. "Beacon chain responsibilities: Attestation aggregation"

Fix get_eth1_vote test cases

…eth1 votes consensus

Add sanity, unit test for validator guide

Require "seen" aggregates to be valid

genesis: clarify that eth1 timestamp can be less than min genesis time

Remove extra `/` in README

Backport v0.11.2 hotfixes from master to dev

backport dev to v012x

Move `sanity` dir to under `phase_0`

add clarifying note about attnets ENR entry

Remove interop from p2p spec

Fork choice: Remove redundant check in validate_on_attestation

…as well

`get_shard_committee`

Co-Authored-By: terence tsao <[email protected]>

Fix the wrong `get_shard_proposer_index` parameters order

Phase 1 WIP

Add shard transition basic test

Fix lint error

Fix

Co-Authored-By: Danny Ryan <[email protected]>

PR feedback from Danny and some refactor

1. Add stub `PHASE_1_GENESIS_SLOT`
2. Rename `get_updated_gasprice`  to `compute_updated_gasprice`
3. Rename `compute_shard_data_roots` to `compute_shard_body_roots`

Apply shard transition for the skipped slots

Refactor `shard_state_transition`

Get `beacon_parent_root` from offset slot

Add more test

Add `verify_shard_block_message`

Add `> 0`

Keep `beacon_parent_block` unchanged in `is_valid_fraud_proof`

Remove some lines

Fix type

Refactor + simplify skipped slot processing

Use `ShardBlock` in `shard_state_transition`

PR feedback

1. Rename `ShardState.data` -> `ShardState.transition_digest`
2. Rename `compute_shard_transition_data` to `compute_shard_transition_digest`
3. Add `assert state.slot > PHASE_1_GENESIS_SLOT` just in case, may move it later

Add `get_post_shard_state` as a pure function wrapper

Co-Authored-By: Danny Ryan <[email protected]>

Fix wrong field names

Fix `build_attestation_data` and other PR feedback from Danny and
Terence

1. Rename `get_previous_slot` to `compute_previous_slot`
2. Break down `build_empty_block` into
`get_state_and_beacon_parent_root_at_slot`, use it in
`build_shard_block`
3. Set defult `slot` to `shard_state.slot + 1` in `build_shard_block`

Update `verify_shard_block_message`: check beacon_parent_root at fork
choice rule stage instead of state transition

Fix  `beacon-chain.md`

1. Fix typo `attestation.slot == state.slot` -> `attestation.data.slot == state.slot` in `is_winning_attestation`
2. Check `verify_shard_transition_false_positives` **after** `process_operations`
3. Fix `shard_attestations` filter in `process_crosslinks`: since attestations come from block, should use `attestation.data.slot + MIN_ATTESTATION_INCLUSION_DELAY == state.slot`
4. [TBD] Allow empty `light_client_signature` to make the tests pass
5. [TBD] Add `is_shard_attestation`, filter out empty `ShardTransition()`

Rework `test_process_crosslink`

Add basic phase 1 `test_blocks`

Add more test cases

Revert `is_shard_attestation` and fix test cases backward compatibility.

Remove `test_process_beacon_block_no_shard_transition` and consider it as invalid case.

Rework shard block and fraud proof (shard state transition) spec

Fix README spec links

Co-authored-by: Hsiao-Wei Wang <[email protected]>

unify PERSISTENT_COMMITTEE_PERIOD and SHARD_COMMITTEE_PERIOD

… in slashed tests

"rewards/penalties" -> "deltas" in throughout test comments/descriptions

Co-authored-by: Diederik Loerakker <[email protected]>

Add latest release and pypi version badges

Added FFG-LMD vote consistency checks

test double proposer slashings and exits

Handle empty aggregation bits as discussed in #1713