Justin Traglia
526625d387
Merge pull request #3893 from jtraglia/rebase-eip7594-onto-electra
...
Rebase eip7594 onto Electra
2024-10-21 14:07:51 -05:00
Justin Traglia
93496e35a1
Add remark about verify_data_column_sidecar
2024-10-17 10:57:18 -05:00
Manu NALEPA
8f044abe0a
EIP-7594: Specify inclusion proof function to run.
...
For by root and by range requests checks, the exact function to run is specified for KZG commitments, but not for the inclusion proof.
This PR aligns both checks.
2024-10-08 01:07:10 +02:00
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
b24d53f23a
Fix comment
2024-08-21 20:04:32 -05:00
Justin Traglia
647a45d3b1
Rebase eip7594 onto Electra
2024-08-21 17:08:14 -05: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
