Justin Traglia
3ffaf68dec
Merge pull request #3958 from ppopth/correct-get-data-column-sidecars-usage
2024-10-03 13:33:05 -05:00
Suphanat Chunhapanya
f97cd619f4
Correct the use of get_data_column_sidecars
2024-10-04 00:53:49 +07:00
Justin Traglia
30f6aba593
Put "and" at the beginning of the next line
...
Co-authored-by: Hsiao-Wei Wang <hsiaowei.eth@gmail.com>
2024-10-03 11:04:33 -05:00
Justin Traglia
3e80dc8ed0
Add new verification to is_data_available
2024-10-03 07:42:45 -05:00
Justin Traglia
2ceb0fd74d
Fix some nits
2024-10-02 16:51:46 -05:00
Justin Traglia
3196487a68
Add missing semicolon
2024-10-02 16:05:10 -05:00
Justin Traglia
3984bd3604
Convert assert to return False
2024-10-02 16:02:39 -05:00
Justin Traglia
e02cbab59f
Move index check to top
2024-10-02 15:55:16 -05:00
Justin Traglia
df987b5e50
Create new verify_data_column_sidecar() function
2024-10-02 15:47:42 -05:00
Justin Traglia
578407a4c3
Reject invalid DataColumnSidecar for zero blobs
2024-10-02 12:56:47 -05:00
Justin Traglia
a9e3aada7f
Use bls.Scalar as the base class for BLSFieldElement ( #3907 )
2024-09-27 07:19:04 -05:00
Justin Traglia
07401893a3
Delete g2_lincomb in poly-commits-sampling spec ( #3913 )
2024-09-05 14:51:26 -05:00
Justin Traglia
88a76574b6
Update csc description
...
Co-authored-by: Anton Nashatyrev <Nashatyrev@users.noreply.github.com>
2024-09-03 09:35:02 -05:00
Pawan Dhananjay
78cc0a6e91
Change csc types to uint64
2024-08-30 12:25:26 -07:00
Barnabas Busa
a5990f99ac
EIP-7594: PeerDAS explicit csc integer size ( #3897 )
...
* EIP-7594: PeerDAS explicit csc integer size
* add spec test for csc int size
* import uint8
* make linter happy
* add spec
* Update p2p-interface.md
* Update specs/_features/eip7594/das-core.md
Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>
* revert metadata name
* Update specs/_features/eip7594/das-core.md
Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>
* update tests
* make linter happy
* Make `DATA_COLUMN_SIDECAR_SUBNET_COUNT` in uint8
* add `int` casting for bypassing remerkeable type conversion
---------
Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>
Co-authored-by: Hsiao-Wei Wang <hsiaowei.eth@gmail.com>
2024-08-29 02:43:34 +08:00
Justin Traglia
4eee3b0c3b
Remove matrix specific configuration value
...
This also removes references to the "extended matrix" in favor of just "matrix"
which I think is better. It's not an extended matrix, it's a matrix of extended
blobs. Technically it's just a matrix of cells/proofs.
2024-08-14 20:19:50 -05:00
Alex Stokes
13ac373a2c
Merge pull request #3870 from fradamt/no-peer-sampling
...
Spec without peer sampling
2024-08-12 15:04:41 -06:00
fradamt
04ee34c504
revert to deneb-style fork-choice (is_data_available in on_block)
2024-08-08 10:01:20 +02:00
Justin Traglia
54093964c9
Fix nits in eip7594 p2p-interface spec
2024-08-07 21:22:00 -05:00
Justin Traglia
80b94ba058
Fix bad suggestion
2024-08-07 15:24:48 -05:00
fradamt
06ead3aa0d
Apply suggestions from code review
...
Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>
2024-08-07 22:13:41 +02:00
fradamt
7a6770a732
fix headers
...
Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>
2024-08-07 16:52:06 +02:00
fradamt
111123723a
fix function comment
2024-08-07 15:07:37 +02:00
fradamt
376ab85406
Split peer sampling spec from das-core.md
2024-08-07 14:52:36 +02:00
fradamt
4bd2f924de
custody-based fork-choice
2024-08-07 11:28:16 +02:00
Hsiao-Wei Wang
572ca9e032
Merge pull request #3821 from dapplion/csc
...
Add MetadataV3 with custody_subnet_count
2024-08-06 19:43:38 +09:00
Benedikt Wagner
ef3c9dc84d
Remove dead link to no longer existing public method.
2024-08-02 08:35:02 +02:00
b-wagn
225c486183
some punctuation
2024-07-31 17:30:36 +02:00
b-wagn
85a42cd7bf
improve comments in recovery
2024-07-31 11:56:39 +02: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
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
dapplion
db717702a8
Move to peerdas eip
2024-07-11 14:07:16 +02: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
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
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
Justin Traglia
0daa2acdff
Remove verify_kzg_proof_multi_impl too
2024-07-02 17:05:40 -05:00
Justin Traglia
c078a97f0c
Remove verify_cell_kzg_proof (non-batch)
2024-07-02 15:38:15 -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
