Commit Graph

5249 Commits

Author SHA1 Message Date
protolambda 3b7617f51a
make extracted byte uint8 for bitshift, do not use negative slice indexing, avoid negative comparison in test 2020-06-26 16:14:27 +02:00
protolambda 3fb0257cbb
update remerkleable for uint and mypy improvements 2020-06-26 15:57:53 +02:00
protolambda 531184f42b
Infer types where possible, e.g. uint64+uint64=uint64 2020-06-26 15:41:47 +02:00
Hsiao-Wei Wang a159a2da82
Merge pull request #1928 from ethereum/hwwhww/shard-block-tests
Add tests for `shard_state_transition` and some refactorings
2020-06-26 11:54:23 +08:00
Joanne Fuller 588fcd0a65
Update ssz/simple-serialize.md
Co-authored-by: Hsiao-Wei Wang <hwwang156@gmail.com>
2020-06-26 13:33:23 +10:00
Joanne Fuller 7f3e6564eb
Update ssz/simple-serialize.md
Co-authored-by: Hsiao-Wei Wang <hwwang156@gmail.com>
2020-06-26 13:32:56 +10:00
Hsiao-Wei Wang 94c231cf98
Fix `ShardTransition.shard_data_roots` and add test
1. Fix `ShardTransition.shard_data_roots`: use `get_block_data_merkle_root` helper to calculate it.
2. Rework `get_valid_custody_chunk_response` testing helper: accept
`block_length_or_custody_data`
3. Add `test_with_custody_challenge_and_response` test
2020-06-26 01:46:45 +08:00
Hsiao-Wei Wang dc02bbc142
Add more shard block tests 2020-06-26 01:44:55 +08:00
Hsiao-Wei Wang a061758a66
Use `encode_bytes` to implement `int_to_bytes`
Rename `bytes_to_int` to `bytes_to_uint64`

Use `encode_bytes` to implement `int_to_bytes`

Rename `int_to_bytes` to `uint_to_bytes` and move it to `ssz_impl.py`
2020-06-25 20:20:39 +08:00
Hsiao-Wei Wang b239f6108c
Merge branch 'dev' into hwwhww/strict-uint64 2020-06-25 17:18:16 +08:00
Joanne Fuller cc130990b6
Clarify wording of pack, pack_bits and merkleize 2020-06-25 13:20:57 +10:00
Hsiao-Wei Wang 2a7b5f7e68
PR feedback from Danny: nuke optional beacon_parent_state 2020-06-25 11:14:25 +08:00
Hsiao-Wei Wang 79b6bc616d
PR feedback from danny 2020-06-25 10:58:04 +08:00
Danny Ryan 80dd6a574d
Merge pull request #1933 from terencechain/patch-106
Use `LIGHT_CLIENT_COMMITTEE_SIZE` in `get_light_client_committee`
2020-06-24 19:30:30 -06:00
terence tsao 7e04c70ca1
Update beacon-chain.md 2020-06-24 16:53:53 -07:00
Danny Ryan cf916dc147
Merge pull request #1927 from ethereum/hwwhww/signed-shard-block
Make `get_pending_shard_blocks` return `Sequence[SignedShardBlock]` instead of `Sequence[ShardBlock]`
2020-06-24 09:31:43 -06:00
Danny Ryan 24b9221e8d
Merge pull request #1929 from dapplion/patch-1
SSZ Typescript Lodestar implementation repo moved
2020-06-24 09:26:18 -06:00
Lion - dapplion 593ed032f3
SSZ Typescript Lodestar implementation repo moved 2020-06-24 17:09:58 +02:00
Hsiao-Wei Wang 661959c13e
Add `process_shard_block` verification 2020-06-24 18:18:50 +08:00
Hsiao-Wei Wang 4a46fb2a8a
Refactor phase 1 block tests a bit and add `shard_state_transition`
tests

1. Refacotr phase1/sanity/test_blocks.py
2. Add phase1/sanity/test_shard_blocks.py for testing `verify_shard_block_message` and `verify_shard_block_signature`
2020-06-24 18:08:26 +08:00
Hsiao-Wei Wang c4973792e2
Make `get_pending_shard_blocks` return `Sequence[SignedShardBlock]` 2020-06-24 12:50:27 +08:00
Hsiao-Wei Wang 021788a634
Merge pull request #1925 from ethereum/hwwhww/shard_state_transition
Rework `shard_state_transition` interface + fix #1922
2020-06-24 12:29:31 +08:00
Hsiao-Wei Wang dbd1d4e589
PR feedback: Enable `verify_shard_block_signature` 2020-06-24 12:22:24 +08:00
Hsiao-Wei Wang e4d4527845
Merge pull request #1921 from ethereum/hwwhww/shard-tests
Fix no winning root case + add tests + fix #1881
2020-06-24 11:21:23 +08:00
Alex Beregszaszi 6894e55f07
Update README to reflect the current status (#37) 2020-06-23 22:41:20 +01:00
Danny Ryan 8f4ce70a19
Merge pull request #1926 from ethereum/attester-slashing-testing
AttesterSlashing with 0 indices and out of bounds indices
2020-06-23 13:24:15 -06:00
protolambda 4bf10be4ff
use BLS constant for special signature 2020-06-23 21:14:43 +02:00
Hsiao-Wei Wang e52c19896d
Update
1. Check on-time attestations fit `attestation.data.shard_transition_root != hash_tree_root(ShardTransition())`
2. Move `attestation.data.shard_head_root` check to after winning root
2020-06-23 18:22:18 +08:00
Hsiao-Wei Wang db5da9dc97
Fix return type
Co-authored-by: Danny Ryan <dannyjryan@gmail.com>
2020-06-23 10:50:41 +08:00
protolambda ddddc4ba99
attester slashing with 0 indices and out of bounds indices 2020-06-23 02:06:27 +02:00
Danny Ryan 05dc8fe9a0
Merge pull request #1922 from terencechain/patch-105
Remove shard check in `verify_shard_block_message`
2020-06-22 12:05:32 -06:00
Danny Ryan e61efc14a3
Merge pull request #1886 from ethereum/fix_store_target_checkpoint_state
Fix store_target_checkpoint_state
2020-06-22 11:38:40 -06:00
Hsiao-Wei Wang 5357bddcf8
PR feedback: use `filter_participant_set` 2020-06-23 00:13:48 +08:00
Hsiao-Wei Wang 97d0048eaa
PR feedback: use condition to determine if the test should be skipped 2020-06-23 00:06:35 +08:00
Danny Ryan a1e3392d2f
add tests for on_attestation ceckpont state fix 2020-06-22 09:47:22 -06:00
Hsiao-Wei Wang eec1442417
Reorg `shard_state_transition` argument and fix `get_shard_transition_fields` 2020-06-22 23:41:02 +08:00
Hsiao-Wei Wang 4f618fc62d
Rework `shard_state_transition` interface
To make `shard_state_transition` similar to phase 0
`state_transition` function

1. Rename old `shard_state_transition` to `process_shard_block`
2. Add `shard_state_transition` with `validate_message` flag, we only
validate it in shard fork choice
2020-06-22 23:21:24 +08:00
Danny Ryan e0d09e8685
Merge pull request #1924 from ericsson49/fix_upgrade_to_phase1
BeaconState.exposed_derived_secrets (of Vector type) initialized to an empty list
2020-06-22 08:28:20 -06:00
ericsson 723784b408 replace `[[]]*num` with `[()]*num` to avoild problems with mutability, as [] or () is copied 2020-06-20 01:02:19 +03:00
ericsson 40b397f53f use [[]] * num instead of just [] * num 2020-06-20 00:09:59 +03:00
terence tsao 769e1d0339
Update shard-transition.md 2020-06-19 09:06:37 -07:00
Hsiao-Wei Wang 1a5016157a
Fix
1. To make it more compatible, update `is_on_time_attestation` argument: replace `attestation: Attestation` with `attestation_data:
AttestationData`
2. Fix `get_sample_shard_transition`
2020-06-19 23:46:01 +08:00
Hsiao-Wei Wang c28857e4e1
Fix `attestation.data.shard_head_root` bug 2020-06-19 23:34:51 +08:00
Hsiao-Wei Wang 80c6c0b5f1
valid==True for `run_successful_crosslink_tests` helper 2020-06-19 23:07:39 +08:00
Hsiao-Wei Wang b8caa6ee85
Add `test_wrong_shard_transition_root` 2020-06-19 22:52:38 +08:00
Hsiao-Wei Wang a9f8411a51
Verify all shard states 2020-06-19 22:42:18 +08:00
Hsiao-Wei Wang 37d1a0750d
Use `get_shard_winning_roots` to verify 2020-06-19 22:29:49 +08:00
Hsiao-Wei Wang 43605eebe8
Add `test_no_winning_root` 2020-06-19 22:21:29 +08:00
Hsiao-Wei Wang c2c2b4c444
Crosslink bugfix
1. Fix `is_winning_attestation` condition
2. Fix `process_crosslink_for_shard`: we can only check
`shard_data_roots` if `shard_transition != ShardTransition()`
2020-06-19 22:19:21 +08:00
Hsiao-Wei Wang 3117cf3140
Refactor 2020-06-19 19:09:11 +08:00