Dankrad Feist
d21d99f8d8
Add constant for multi cell verification challenge
2024-01-10 19:13:33 +00:00
George Kadianakis
a58c86832a
Randomize the test_recover_polynomial()
2024-01-09 16:05:00 +02:00
Etan Kissling
c41c128c76
Use Custom types
section instead of Helper types
for consistency
2024-01-09 14:55:22 +01:00
Hsiao-Wei Wang
be8b30a593
Merge branch 'dev' into fork-choice-changes-for-confirmaton-rule
2024-01-09 02:06:12 +08:00
Hsiao-Wei Wang
db89e2981a
Clean up Deneb specs. Add some type casting for using fft function
2024-01-09 01:37:24 +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
03583b1b47
Fix fft helper and add basic test
2024-01-05 20:31:09 +08:00
Hsiao-Wei Wang
7f8858b2ac
Add PeerDAS
feature
2024-01-05 18:43:37 +08:00
Hsiao-Wei Wang
5854c7efb8
Fix some lint errors
2024-01-05 18:33:01 +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
c58c4a71b2
Merge branch 'dev' into polynomial-commitments-sampling
2024-01-05 18:07:53 +08:00
Etan Kissling
fca5e3b06a
Use proper types when dealing with LC Merkle proofs
2023-12-27 13:59:31 +01:00
Etan Kissling
3e5427e31e
Align formatting
2023-12-27 12:54:36 +01:00
Etan Kissling
5717a81393
Capella addition
2023-12-27 12:44:05 +01:00
Etan Kissling
316ea98792
Use types for representing LC Merkle branches
...
For better legibility and alignment with `ethereum/beacon-APIs`, use
named types for the various Merkle branches used in the LC protocol.
- https://github.com/ethereum/beacon-APIs/blob/v2.4.2/types/altair/light_client.yaml#L2-L22
2023-12-27 12:42:29 +01:00
Dankrad Feist
9ec5dde8ac
Remove polynomial_coeff_to_eval
2023-12-23 15:21:19 +00:00
Dankrad Feist
d36fc4f5a0
Zero polynomial -> vanishing polynomial
2023-12-23 15:08:02 +00:00
Dankrad Feist
3169f92fa5
More sample -> cell renaming
2023-12-23 14:52:39 +00:00
Dankrad Feist
246477ace2
SAMPLE -> CELL and cleanups
2023-12-23 14:44:58 +00:00
Dankrad Feist
62d1a8f4c4
Add public method markers
2023-12-22 09:44:16 +00:00
Hsiao-Wei Wang
f0af688fbd
Minor fixes
2023-12-13 00:25:30 +08:00
Hsiao-Wei Wang
0d4007a6d9
Apply suggestions from code review
...
Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>
2023-12-12 23:51:50 +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
dapplion
e8e00f332a
move attestation index outside signed message
2023-12-05 14:16:07 +02:00
danny
b2f2102dad
Merge pull request #3556 from ethereum/blob-subnets
...
Move `blob_sidecar_{subnet_id}` to `Blob subnets` section
2023-12-04 10:15:57 -07:00
danny
d343b6f1d9
Apply suggestions from code review
2023-12-04 07:47:12 -07:00
Dankrad Feist
94ecce76ee
Add polynomial commitments for sampling
2023-12-04 01:12:07 +00:00
Hsiao-Wei Wang
c43173e5bf
Move blob_sidecar_{subnet_id}
to Blob subnets
section
2023-12-02 07:33:18 +08:00
Enrico Del Fante
ba09761ec3
remove gossip failure rules
2023-12-01 18:36:25 +01:00
Enrico Del Fante
cf39eeda3d
Update specs/deneb/p2p-interface.md
...
Co-authored-by: danny <dannyjryan@gmail.com>
2023-12-01 17:29:54 +01:00
Enrico Del Fante
eed7a66b25
Update specs/deneb/p2p-interface.md
...
Co-authored-by: Mikhail Kalinin <noblesse.knight@gmail.com>
2023-12-01 08:28:41 +01:00
Enrico Del Fante
dad09f64b3
Update specs/phase0/p2p-interface.md
...
Co-authored-by: Mikhail Kalinin <noblesse.knight@gmail.com>
2023-12-01 08:28:29 +01:00
Enrico Del Fante
c661e20e60
simplify and add a new rule
2023-11-30 16:11:33 +01:00
Enrico Del Fante
bdac932ebb
from on_block to state_transition
2023-11-30 15:20:35 +01:00
Enrico Del Fante
662c6ebc38
remove the last consider
2023-11-30 15:20:35 +01:00
Enrico Del Fante
b525e9ed35
Update specs/deneb/p2p-interface.md
...
Co-authored-by: danny <dannyjryan@gmail.com>
2023-11-30 15:20:35 +01:00
Enrico Del Fante
88b1818e9b
Update specs/deneb/p2p-interface.md
...
Co-authored-by: danny <dannyjryan@gmail.com>
2023-11-30 15:20:35 +01:00
Enrico Del Fante
ccca4498c9
apply suggestion
2023-11-30 15:20:35 +01:00
Enrico Del Fante
4c5e5c886f
Update specs/phase0/p2p-interface.md
...
Co-authored-by: Mikhail Kalinin <noblesse.knight@gmail.com>
2023-11-30 15:20:35 +01:00
Enrico Del Fante
d749a49665
rephrase
2023-11-30 15:20:35 +01:00
Enrico Del Fante
e2ca4b3519
add failed on_block condition
2023-11-30 15:20:35 +01:00
Enrico Del Fante
ccf9e3419b
Update specs/deneb/p2p-interface.md
...
Co-authored-by: Mikhail Kalinin <noblesse.knight@gmail.com>
2023-11-30 15:20:34 +01:00
Enrico Del Fante
6bbdeb88e0
Update specs/phase0/p2p-interface.md
...
Co-authored-by: Mikhail Kalinin <noblesse.knight@gmail.com>
2023-11-30 15:20:34 +01:00
Enrico Del Fante
c46c4ec7cb
fix typo
2023-11-30 15:20:34 +01:00
Enrico Del Fante
e664d407ca
Specify RPC byRoot blocks-sidecars elegibility
2023-11-30 15:20:34 +01:00
Etan Kissling
321870cbe9
Align gossip validation for aggregates with single attestations
...
A couple gossip validation rules are only specced out for single
un-aggregated attestations, but are also checked by implementations
for aggregates. This adds a copy of the missing gossip validation rules
to the aggregated attestation docs.
2023-11-19 23:12:11 -08:00
Etan Kissling
dd65aa0cb2
Gossip additional LightClientFinalityUpdate
on new supermajority
...
When new finality is reached without supermajority sync committee
support, trigger another event push on beacon-API and libp2p once
the new finality gains supermajority support.
Without this, if the first `LightClientFinalityUpdate` that advances
finality has low participation, light clients monitoring gossip would
likely get stuck until the next time when finality advances (1 epoch).
Thanks to @DragonDev1906 for reporting this issue to Nimbus:
- https://github.com/status-im/nimbus-eth2/issues/5491
2023-11-14 22:28:16 -08:00
Etan Kissling
d9e53cbaf5
Merge branch 'dev' into lc-gindexname
2023-11-06 12:32:53 +01:00
Etan Kissling
e30e8af58f
Use fork choice to determine finalized_checkpoint
in gossip validation
...
Update gossip validation rules to use the highest `finalized_checkpoint`
across _all_ branches (`store.finalized_checkpoint`), instead of the one
on the currently selected branch (`state.finalized_checkpoint`) when
deciding whether to ignore a block / blob because they are already
finalized.
2023-11-06 12:20:11 +01:00
danny
36f0bb0ed6
Merge pull request #3541 from etan-status/df-rmsigned
...
Remove `SignedBlobSidecar` refs from p2p spec
2023-11-03 14:03:04 -06:00