Commit Graph

9555 Commits

Author SHA1 Message Date
Justin Traglia f3dcc597e4
Update description for test format 2024-07-18 16:18:30 -05:00
kevaundray 233129122b
Replace `recover_data` with `recover_polynomialcoeff` (#3820)
* chore: remove recover_data

* make it look closer to final code

* Improve comments

* Fix lint issue

* Fix tests & clean things up a bit

* Replace a couple uses of "monomial" with "coefficient"

* Revert "Replace a couple uses of "monomial" with "coefficient""

This reverts commit c9a1a757d1a09190eee78767b3d36b2a84066e42.

* Only replace "monomial" with "coefficient"

---------

Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>
Co-authored-by: Justin Traglia <jtraglia@pm.me>
2024-07-17 16:23:59 +03:00
George Kadianakis bb8f3caafc
Merge pull request #3836 from jtraglia/columns-cells-and-proofs
Update get_data_column_sidecars to take cells/proofs
2024-07-16 18:25:24 +03:00
Hsiao-Wei Wang b4432fbef8
Merge pull request #3817 from dapplion/max-blobs-config
Make MAX_BLOBS_PER_BLOCK a config parameter
2024-07-16 22:27:13 +08:00
Justin Traglia 5961e26931
Remove unnecessary comment 2024-07-15 15:09:01 -05:00
Justin Traglia 252b852a61
Rename column_index to cell_index in KZG spec (#3841)
* Rename column_index to cell_index in KZG spec

* Fix table of contents

* Replace list(set()) with set()

* Change coset_evals to cell_indices in some places

* Remove punctuation in table description

* Remove "row" from comments & improve docstring

* Replace unique with deduplicated
2024-07-15 19:41:33 +03:00
George Kadianakis dc5f74da0e
Merge pull request #3830 from jtraglia/remove-verify-cell-kzg-proof
Remove `verify_cell_kzg_proof` (non-batch)
2024-07-10 19:49:58 +03:00
Justin Traglia 9a9fa965b0
In batch cell verification, take commitment for each cell (#3834) 2024-07-10 10:41:37 -05:00
Justin Traglia c402414489
Merge branch 'dev' into remove-verify-cell-kzg-proof 2024-07-09 11:32:28 -05:00
Hsiao-Wei Wang 5cce790dec
Merge pull request #3837 from ethereum/ralexstokes-patch-2
fix typo in deneb comment
2024-07-09 17:36:20 +08:00
Alex Stokes b7149ef5fa
Update beacon-chain.md
Typo fix in deneb comment
2024-07-08 17:52:06 -06:00
Justin Traglia 8da90b2702 Fix linter issues 2024-07-08 14:20:45 -05:00
Justin Traglia 1dbb68d3d7 Update get_data_column_sidecars to take cells/proofs 2024-07-08 14:07:53 -05:00
George Kadianakis 1642610bd5
Merge pull request #3835 from jtraglia/early-exit-zero-cells
In batch cell verification, check if there are zero cells
2024-07-08 21:44:47 +03:00
Justin Traglia b9e7b031b5 Update algorithm & remove check 2024-07-08 09:00:14 -05:00
Justin Traglia 228752c0d9 In batch cell verification, check if there are zero cells 2024-07-05 15:31:07 -05: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
Justin Traglia 0daa2acdff Remove verify_kzg_proof_multi_impl too 2024-07-02 17:05:40 -05:00
Justin Traglia 1189d52526 Remove VALID_INDIVIDUAL_RANDOM_CELL_BYTES import 2024-07-02 16:35:28 -05:00
Justin Traglia c078a97f0c Remove verify_cell_kzg_proof (non-batch) 2024-07-02 15:38:15 -05: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
dapplion 9280cc7be9 Update doctoc 2024-06-26 12:46:16 +02:00
dapplion 25b810f5a4 lint 2024-06-26 11:01:50 +02:00
dapplion ded072af40 Make MAX_BLOBS_PER_BLOCK a config parameter 2024-06-25 18:22:56 +02: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