Commit Graph

9584 Commits

Author SHA1 Message Date
Potuz 104fbc7372 beacon chain changes 2024-07-08 14:36:49 -03:00
Hsiao-Wei Wang 9be05296fa
Merge pull request #3829 from etan-status/df-elhash
Fix EL block hash computation for Deneb
2024-07-05 16:10:26 +08:00
Etan Kissling a63bad0c09
Fix Deneb `test_process_execution_payload` 2024-07-02 19:56:14 +02:00
Hsiao-Wei Wang 81f3ea8322
Merge pull request #3826 from jtraglia/fix-deneb-link
Fix link to Deneb spec
2024-07-03 00:37:16 +08:00
Etan Kissling b4f44caef3
Fix EL block hash computation for Deneb
The parent beacon block hash was incorrectly set to zero in #3778.
Passing the state to the computation function allows correct hash
computation.
2024-07-02 16:26:04 +02:00
Justin Traglia 7b72cbdfad Fix link to Deneb spec 2024-07-01 18:42:32 -05:00
Justin Traglia 77c371b22a
Replace "updated" with "modified" in Electra spec (#3823) 2024-07-01 15:36:17 -05:00
Alex Stokes 0532952afc
Merge pull request #3822 from jtraglia/section-header-nits
Fix beacon-chain.md section header issues
2024-07-01 13:40:37 -06:00
Alex Stokes 090d349faf
Merge pull request #3764 from ethereum/electra-fork-tests
Add more Electra fork tests
2024-07-01 13:32:45 -06:00
Justin Traglia 0e03d8c08d Fix beacon-chain.md section header issues 2024-06-28 14:24:49 -05:00
Benedikt Wagner 83da3807ab
EIP7594: Do universal verification in verify_cell_kzg_proof_batch() (#3812)
* restructure verify_cell_kzg_proof_batch a bit

* first draft of universal verification equation

* add one more empty line to make linter happy

* make linter happy

* more testcases for verify_cell_kzg_proof_batch

* verify_cell_kzg_proof_batch: derive coefficient via hash

* rename verify_cell_kzg_proof_batch_challenge -> compute_verify_cell_kzg_proof_batch_challenge

* verify_cell_kzg_proof_batch: editorial + some refactoring

* Improve documentation and variable naming.

* remove k_i from code and doc

---------

Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>
2024-06-28 18:02:20 +03:00
kevaundray a3a6c916b2
Remove proof parameter from `recover_cells_and_kzg_proofs` (#3819) 2024-06-27 14:17:14 -05:00
Hsiao-Wei Wang 0a49572799
Merge pull request #3782 from cskiraly/peer-das-sampling
PeerDAS sampling clarifications
2024-06-27 19:27:57 +08:00
Hsiao-Wei Wang 258c2c9020
Merge pull request #3794 from cskiraly/peer-das-reconstruction
EIP-7594: clarifying reconstruction and cross-seeding
2024-06-27 18:58:23 +08:00
Csaba Kiraly 1ad381dccb
adding get_extended_sample_count docsstring
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
2024-06-27 10:28:21 +02:00
Csaba Kiraly 78b583d8b0
clarify use of get_extended_sample_count
Here we assume uniform random selection without replacement.
If other methods are used, the target false positive threshold
is the main rule to follow.

Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
2024-06-27 09:48:32 +02:00
Csaba Kiraly 17dfb9ae57
fix get_extended_sample_count proc signature
Co-authored-by: Pop Chunhapanya <haxx.pop@gmail.com>
2024-06-27 09:30:39 +02:00
Hsiao-Wei Wang 29f39487de
Merge pull request #3814 from ethereum/update-consolidation-tests
Update `test_incorrect_not_enough_consolidation_churn_available` and add assertions to test cases
2024-06-27 00:17:52 +08:00
Hsiao-Wei Wang ee977381de
Add `test_get_extended_sample_count__table_in_spec` to verify the table content in the spec 2024-06-25 16:48:38 +08:00
Csaba Kiraly 4539265c55
moving part of text in custody section
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
2024-06-25 10:36:53 +02:00
Hsiao-Wei Wang 1f87bbeac0
Merge branch 'dev' into pr3782 2024-06-25 16:21:00 +08:00
Hsiao-Wei Wang beedf852cb
Revert division change and add comments 2024-06-25 16:15:16 +08:00
Hsiao-Wei Wang fed320cdce
Merge pull request #3810 from etan-status/bf-payloadinit
Fix typing issue when `10e10` is interpreted as float
2024-06-25 03:09:32 +08:00
Hsiao-Wei Wang f30a3a3b05
Update `test_incorrect_not_enough_consolidation_churn_available` and add assertions to test cases 2024-06-24 23:38:01 +08:00
Etan Kissling 2c384da092
Fix typing issue when `10e10` is interpreted as float
On macOS Python, passing `10e10` to `rng.randint` results in an error
when generating certain tests. Forcing `int` avoids the problem.
2024-06-21 10:51:18 +02:00
Hsiao-Wei Wang 29d3a24f46
Merge pull request #3763 from ethereum/electra-merkle-proof-tests
Add Electra merkle proof test vectors
2024-06-19 16:40:36 +08:00
Hsiao-Wei Wang fb020456cb
Add `get_extended_sample_count` unit tests 2024-06-19 02:18:29 +08:00
Hsiao-Wei Wang 6e2b370aa1
Merge pull request #3807 from etan-status/bd-remerkleable
Bump remerkleable to `v0.1.28`
2024-06-18 23:01:25 +08:00
Etan Kissling cf46b07ac4
Bump remerkleable to `v0.1.28`
- https://github.com/protolambda/remerkleable/releases/tag/v0.1.28
2024-06-16 10:04:56 +02:00
Hsiao-Wei Wang 00b74686e2
Merge pull request #3806 from ethereum/construct_vanishing_polynomial-hotfix
Remove `assert len(missing_cell_indices) != 0` check
2024-06-15 00:30:31 +08:00
Hsiao-Wei Wang 483a286ba5
Remove `assert len(missing_cell_indices) != 0` check 2024-06-14 23:57:33 +08:00
Hsiao-Wei Wang 7064b1a2e8
Merge pull request #3805 from ethereum/fix-testgen
fix typo
2024-06-14 23:55:23 +08:00
Hsiao-Wei Wang ae654d2281
fix typo 2024-06-14 23:05:41 +08:00
George Kadianakis 210fcfbd10
Merge pull request #3804 from b-wagn/fft-test-extension
EIP7594-Polynomial-Commitments-Tests: Extend Tests for FFT and Coset FFT.
2024-06-14 16:43:33 +03:00
b-wagn 2aeddf2f86 remove trailing whitespaces 2024-06-14 15:18:00 +02:00
b-wagn 7095e14b60 extend test for coset_fft 2024-06-14 14:59:22 +02:00
b-wagn fc62e59778 extend test for eip7594 2024-06-14 14:23:53 +02:00
Hsiao-Wei Wang ca6485012f
Merge pull request #3783 from mkalinin/electra-maxeb-preset
Switch the rest of the spec to MAX_EFFECTIVE_BALANCE_ELECTRA
2024-06-14 16:34:24 +08:00
Hsiao-Wei Wang 718aadf263
Fix tests and remove duplicate `_WITHDRAWAL_PREFIX` definition 2024-06-14 15:57:33 +08:00
Mikhail Kalinin aa65fd7824
Apply suggestion from @hwwhww
Co-authored-by: Hsiao-Wei Wang <hsiaowei.eth@gmail.com>
2024-06-14 13:26:47 +07:00
Hsiao-Wei Wang 031b1911e3
Merge pull request #3802 from ethereum/bump-version
bump version to `1.5.0-alpha.3`
2024-06-14 00:12:24 +08:00
Hsiao-Wei Wang 490c89a3c2
bump version to `1.5.0-alpha.3` 2024-06-13 23:42:36 +08:00
Hsiao-Wei Wang 2ed8db2298
Merge pull request #3801 from b-wagn/patch-2
EIP-7594: Fix Dead Link
2024-06-13 23:32:06 +08:00
Benedikt Wagner 77eac20df6
Update specs/_features/eip7594/polynomial-commitments-sampling.md
Co-authored-by: Hsiao-Wei Wang <hsiaowei.eth@gmail.com>
2024-06-13 17:20:04 +02:00
Benedikt Wagner 1c675ae4a1
Update polynomial-commitments-sampling.md - Fix dead link 2024-06-13 16:30:05 +02:00
Hsiao-Wei Wang cead0f3407
Merge pull request #3768 from etan-status/at-stability
EIP-7549: Append new `committee_bits` field to end of `Attestation`
2024-06-13 22:15:51 +08:00
Hsiao-Wei Wang 43d96cff3f
Merge pull request #3772 from nalepae/patch-3
EIP-7594 - Update ENR record
2024-06-12 23:16:04 +08:00
Hsiao-Wei Wang a24837b12c
Merge pull request #3778 from jtraglia/electra-block-hash
Update compute_el_header_block_hash for EIP-7685
2024-06-12 22:49:49 +08:00
Parithosh Jayanthi d4b6c0c304
Adds CI to generate test vectors (#3793)
* Add support for the CI to generate the test vectors
2024-06-11 22:54:45 +02:00
kevaundray 6efab19ad0
chore: Refactor cell recovery code (#3781)
* multi:

- Remove shift_polynomial_coeff
- Remove recover_shifted_data
- Remove recover_original_data
- Move `zero_poly_eval_brp ` under sanity check comment as its only used for sanity checking

* chore: remove sanity check -- this was doing a wasteful `compute_root_of_unity` operation

* chore: add previous sanity check as a unit test

* chore: copy values python was taking a reference, so it passes in our regular codepaths but not in isolated test

* chore: add coset_fft test

* Update specs/_features/eip7594/polynomial-commitments-sampling.md

Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>

* Update specs/_features/eip7594/polynomial-commitments-sampling.md

Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>

* chore: linter

* chore: asn (switch to bls_modular_inverse)

* chore: (ben) rename func to test_construct_vanishing_polynomial

* chore: (ben) rename `extended_evaluations_coeffs` to `extended_evaluation_times_zero_coeffs`

* chore: compute `roots_of_unity_extended` in recover_data method

* chore: add more comments explaining whats happening in recover_data

* chore: compute_zero_poly_coeff in recover_data

* chore: make lint

* chore: add doc comment to coset_fft_field

* chore: (ben) add code to generate the vanishing polynomial when all cells are missing

* chore: remove handling of edge case when constructing a vanishing polynomial

* chore: rename H(x) to Q_3(x)

* chore: remove trailing whitespace

* chore: add whitespace between comments

* chore: (asn) add assert that num missing cells is not 0

* chore: (justin) address comments

* chore: merge resolution

* chore: fixup remaining IDs -> indices

* chore: use indice nomenclature in tests

---------

Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>
2024-06-11 20:26:19 +03:00