88 Commits

Author SHA1 Message Date
Hsiao-Wei Wang
8f8ab03acf
Merge pull request #3828 from potuz/epbs_cl_repo
EIP-7732: Enshrined Proposer-Builder Separation
2024-08-07 01:19:53 +09:00
Potuz
9274a66199 fix Merkle proof generator 2024-07-08 14:36:50 -03:00
Potuz
0e94fc956b Rename changed preset 2024-07-08 14:36:50 -03:00
Potuz
a11ffb5278 use definitive EIP number 2024-07-08 14:36:49 -03:00
terence
6e02cb4ea4 Fix epbs consensus spec to be executable (#10)
Fix epbs consensus spec to be executable
2024-07-08 14:36:49 -03:00
dapplion
ded072af40 Make MAX_BLOBS_PER_BLOCK a config parameter 2024-06-25 18:22:56 +02:00
Hsiao-Wei Wang
12d95da0da
Merge branch 'dev' into pr3757 2024-06-05 00:42:37 +08:00
Hsiao-Wei Wang
0de125274c
Merge pull request #3775 from fradamt/EL-consolidations
EL-triggered consolidations
2024-06-04 23:31:12 +08:00
Hsiao-Wei Wang
744ae2e687
Add EIP-6800 linter checks.
Fix the lint errors.
Remove custom type `StateDiff` and then use `List[StemStateDiff, MAX_STEMS]` directly in `ExecutionWitness`.
2024-05-28 16:24:11 +08:00
fradamt
7c4b32a717 renaming consolidations to consolidation_requests 2024-05-21 22:29:30 +02:00
fradamt
1292bd9375 move to EL consolidations 2024-05-21 22:15:33 +02:00
Mikhail Kalinin
d8c486bcc5 Rename DepositReceipt to DepositRequest 2024-05-07 23:34:03 +06:00
Alex Stokes
82133085a1
clarify pending partial withdrawals handling 2024-04-17 14:17:07 -06:00
Alex Stokes
d243afab25
address PR feedback 2024-04-15 19:37:53 -06:00
Alex Stokes
54e0f42752
Apply suggestions from code review
Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>
2024-04-15 19:37:53 -06:00
Alex Stokes
ce3931653d
Add EIP-7251 to Electra fork 2024-04-15 19:37:49 -06:00
Alex Stokes
e4068b5391
Merge EIP-7549 into Electra 2024-04-05 13:56:57 -06:00
Hsiao-Wei Wang
55c81e7fa1
Merge EIP7002 into Electra 2024-04-05 11:36:49 -06:00
Hsiao-Wei Wang
d2c69fe3cf
Rename EIP6110 to Electra 2024-04-05 10:53:42 -06:00
Hsiao-Wei Wang
8728561da3
Merge branch 'dev' into peer-das 2024-04-04 22:23:02 +09:00
Hsiao-Wei Wang
cf3c4eca8c
Fix conflicts with #3631 2024-04-01 10:37:49 +09:00
Hsiao-Wei Wang
eec5503d4f
Fix tests and specs 2024-03-31 16:35:24 +09:00
Mikhail Kalinin
45f98d6a67 Set MIN_SLASHING_PENALTY_QUOTIENT_EIP7251=4096 2024-03-21 17:32:03 +06:00
Mikhail Kalinin
d48b5e0665 Update whistleblower reward for eip7251 2024-03-20 16:10:30 +06:00
Mikhail Kalinin
a127bbf0c6
Merge branch 'dev' into eip-7251 2024-03-20 14:46:43 +06:00
Mikhail Kalinin
98f38c7f07 Introduce MAX_PARTIAL_WITHDRAWALS_PER_PAYLOAD 2024-03-20 13:53:42 +06:00
George Kadianakis
4b6b07b73e PeerDAS: Use FIELD_ELEMENTS_PER_EXT_BLOB in def of PolynomialCoeff 2024-03-12 15:07:42 +02:00
dapplion
668e447c55 Add EIP-7251 spec
Co-authored-by: fradamt <104826920+fradamt@users.noreply.github.com>
2024-03-08 12:37:35 +08:00
Hsiao-Wei Wang
cebf78a83e
Apply PR feedback 2024-02-27 22:42:32 +09:00
Hsiao-Wei Wang
696d443f0a
Merge branch 'dev' into peer-das 2024-01-19 17:56:10 +08:00
Carl Beekhuizen
39d22849d1
Updates presets to use correct trusted setup from final ceremony output 2024-01-16 10:41:26 -07:00
Hsiao-Wei Wang
93dddd15f2
wip
wip

Add `TARGET_NUMBER_OF_PEERS`

Add networking spec draft

fix

simplification

Rename `DoYouHave` to `GetCustodyStatus`

Add DataLineSidecar design

Apply suggestions from code review

Co-authored-by: dankrad <mail@dankradfeist.de>
Co-authored-by: danny <dannyjryan@gmail.com>

Revamp after reviews and discussion

Remove `CustodyStatus`

minor fix

Change`DataColumn` to `List[DataCell, MAX_BLOBS_PER_BLOCK]`

Move folder

Replace `DataColumnByRootAndIndex` with `DataColumnSidecarByRoot` message. Add extended data description

Remove `DataRow`

Apply suggestions from @jacobkaufmann code review

Co-authored-by: Jacob Kaufmann <jacobkaufmann18@gmail.com>

Represent matrix in `BLSFieldElement` form

Add `assert time >= store.time` to `on_tick`

Revert the spec. Only handle it in tests

Remove extra tick

cleanup leftover

Add randomized block cases

Specify RPC byRoot blocks-sidecars elegibility

fix typo

Update specs/phase0/p2p-interface.md

Co-authored-by: Mikhail Kalinin <noblesse.knight@gmail.com>

Update specs/deneb/p2p-interface.md

Co-authored-by: Mikhail Kalinin <noblesse.knight@gmail.com>

add failed on_block condition

rephrase

Update specs/phase0/p2p-interface.md

Co-authored-by: Mikhail Kalinin <noblesse.knight@gmail.com>

apply suggestion

Update specs/deneb/p2p-interface.md

Co-authored-by: danny <dannyjryan@gmail.com>

Update specs/deneb/p2p-interface.md

Co-authored-by: danny <dannyjryan@gmail.com>

remove the last consider

from on_block to state_transition

simplify and add a new rule

Update specs/phase0/p2p-interface.md

Co-authored-by: Mikhail Kalinin <noblesse.knight@gmail.com>

Update specs/deneb/p2p-interface.md

Co-authored-by: Mikhail Kalinin <noblesse.knight@gmail.com>

Update specs/deneb/p2p-interface.md

Co-authored-by: danny <dannyjryan@gmail.com>

remove gossip failure rules

Apply suggestions from code review

bump version to v1.4.0-beta.5

Move `blob_sidecar_{subnet_id}` to `Blob subnets` section

Misc minor fix

Add linter support

Add column subnet validation. Split `verify_column_sidecar` into two functions

Fix `get_data_column_sidecars` by using `compute_samples_and_proofs`

Apply suggestions from code review

Co-authored-by: danny <dannyjryan@gmail.com>

Do not assign row custody

Apply suggestions from code review

Co-authored-by: danny <dannyjryan@gmail.com>

Revamp reconstruction section

Use depth as the primary preset for inclusion proof. Fix `get_data_column_sidecars` and add tests for merkle proof

Change `SAMPLES_PER_SLOT` to 8 and add tests (requirement TBD)

Apply PR feedback from @ppopth and @jtraglia

Fix `get_data_column_sidecars`

Co-authored-by: Pop Chunhapanya <haxx.pop@gmail.com>

Apply suggestions from code review

Co-authored-by: Pop Chunhapanya <haxx.pop@gmail.com>

Apply suggestions from code review

Co-authored-by: fradamt <104826920+fradamt@users.noreply.github.com>
Co-authored-by: Jacob Kaufmann <jacobkaufmann18@gmail.com>

Fix `get_data_column_sidecars` and `get_custody_lines`

Apply suggestions from code review

Co-authored-by: Jacob Kaufmann <jacobkaufmann18@gmail.com>

Enhance tests

fix typo

Co-authored-by: fradamt <104826920+fradamt@users.noreply.github.com>

Remove `epoch` from `get_custody_lines`

fix

fix
2024-01-15 17:12:43 +08:00
Hsiao-Wei Wang
b7d9ea9a75
Rename peerdas to eip7594 2024-01-14 00:13:08 +08:00
Hsiao-Wei Wang
9a0727000c
Rename recover_cells to recover_polynomial and fix function signature. Add basic test case. 2024-01-08 23:18:51 +08:00
Hsiao-Wei Wang
75b1bf515a
Add KZG_SETUP_G1_MONOMIAL to trusted setup files 2024-01-05 18:21:15 +08:00
Hsiao-Wei Wang
bf09b9a7c4
Merge pull request #3442 from dapplion/whisk-tests
Add WHISK fork only tests
2023-12-08 18:56:03 +09:00
Hsiao-Wei Wang
71106f1d64
Remove BLOB_KZG_COMMITMENTS_GINDEX 2023-11-02 21:38:01 +07:00
Hsiao-Wei Wang
b018fbc46a
Remove BLOB_KZG_COMMITMENTS_GINDEX from the preset files 2023-10-29 03:39:24 +08:00
Hsiao-Wei Wang
1657d16afd
Add BLOB_KZG_COMMITMENTS_GINDEX to "Constant". Use pyspec parser trick to add assertion in pyspec 2023-10-29 02:33:07 +08:00
Hsiao-Wei Wang
26516ec3e9
Move KZG_COMMITMENT_INCLUSION_PROOF_DEPTH to preset and cast int() 2023-10-28 03:53:16 +08:00
Hsiao-Wei Wang
01fa0fe64a
Replace ROOTS_OF_UNITY with runtime-computed compute_roots_of_unity(FIELD_ELEMENTS_PER_BLOB) 2023-10-16 17:38:09 +08:00
Hsiao-Wei Wang
d74932bec9
Merge branch 'dev' into pr3442 2023-10-16 17:22:31 +08:00
Hsiao-Wei Wang
c5785899f7
Use official KZG ceremony output trusted_setup_4096.json trusted setups 2023-10-12 19:54:18 +08:00
dapplion
de30a92f4c update CRS 2023-10-10 13:29:36 +03:00
Hsiao-Wei Wang
f958c5fc61
Merge branch 'dev' into pr3255 2023-10-10 10:40:59 +09:00
dapplion
4eca8e4292 Add CRS files 2023-09-12 10:23:31 +02:00
dapplion
6a944a60f3 Update preset and config files 2023-08-21 11:58:08 +02:00
Lion - dapplion
c90d724392
Whisk: add preset files (#3424)
* Add Whisk preset files

* Use N=8 for minimal preset

* Update spec_object var location
2023-06-19 17:10:15 +03:00
Paul Harris
5576d0e685
Moved configuration into network preset instead of constants. (#3394)
* Moved configuration into network preset instead of constants.

Now that `MAX_CHUNK_SIZE` and `GOSSIP_MAX_SIZE` are in configuration, we no longer need separate constants to represent them in the spec when they change in Bellatrix.

I've changed the usage, and put the values into the presets, but I'm not sure if I've updated the descriptions in the best way...

This is following on from the work in #3375 where a number of constants got moved into configuration, so we no longer need these constants to be separately represented, they can simply be updated in presets.

* Update presets/minimal/bellatrix.yaml

Co-authored-by: Hsiao-Wei Wang <hsiaowei.eth@gmail.com>

* Update presets/mainnet/bellatrix.yaml

Co-authored-by: Hsiao-Wei Wang <hsiaowei.eth@gmail.com>

* Moved preset items into the correct section and updated TOC.

It looked like the items listed in configuration about the max size and chunk size were no longer needed since we're updating preset values now and the preset changes seem to only be listed in the changes at the top.

* review feedback

* hopefully correct this time!  Moved the 2 fields from configs into presets completely as suggested.

* WIP - changing back to being in config and updating the phase 0 value... I think this should be close but want to see what's outstanding.

* fix intellij's formatting of table.

* more fixes

---------

Co-authored-by: Hsiao-Wei Wang <hsiaowei.eth@gmail.com>
2023-06-09 23:12:38 +08:00
Hsiao-Wei Wang
45f3432019
Update MAX_BLOBS_PER_BLOCK to 6 and add Deneb networking configs to yaml files (#3410) 2023-06-09 23:10:00 +08:00