github/prysm
1
1
Fork 0
mirror of https://github.com/OffchainLabs/prysm.git synced 2026-01-09 15:37:56 -05:00
Code Issues Packages Projects Releases Wiki Activity

Add Light Client Minimal Spec Tests Part 1 (#15297)

Browse Source 
* single merkle proof - altair

* single merkle proof - bellatrix - mainnet

* single merkle proof - capella - mainnet

* single merkle proof - deneb - mainnet

* single merkle proof - electra - mainnet

* changelog entry

* typo

* merge all into common

* update ranking

* single merkle proof

* changelog entry

* update exclusions.txt
This commit is contained in:
Bastin
2025-05-20 18:08:41 +02:00
committed by GitHub
parent edab145001
commit 00bb3ff2b8
19 changed files with 351 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
changelog/bastin_add-lc-spec-test-minimal.md Normal file
View File

@@ -0,0 +1,3 @@
### Added
- Add light client minimal spec test support for `update_ranking` tests.

14
testing/spectest/exclusions.txt
View File

@@ -1,16 +1,14 @@
# LightClient
tests/minimal/altair/light_client/single_merkle_proof
tests/minimal/altair/light_client/sync
tests/minimal/altair/light_client/update_ranking
tests/minimal/bellatrix/light_client/single_merkle_proof
tests/minimal/bellatrix/light_client/sync
tests/minimal/bellatrix/light_client/update_ranking
tests/minimal/capella/light_client/single_merkle_proof
tests/minimal/capella/light_client/sync
tests/minimal/capella/light_client/update_ranking
tests/minimal/deneb/light_client/single_merkle_proof
tests/minimal/deneb/light_client/sync
tests/minimal/deneb/light_client/update_ranking
tests/minimal/electra/light_client/sync
tests/minimal/altair/light_client/data_collection
tests/minimal/bellatrix/light_client/data_collection
tests/minimal/capella/light_client/data_collection
tests/minimal/deneb/light_client/data_collection
tests/minimal/electra/light_client/data_collection
# SSZ Generic
tests/general/phase0/ssz_generic/basic_vector

22
testing/spectest/minimal/altair/light_client/BUILD.bazel Normal file
View File

@@ -0,0 +1,22 @@
load("@prysm//tools/go:def.bzl", "go_test")
go_test(
name = "go_default_test",
size = "small",
srcs = [
"single_merkle_proof_test.go",
"update_ranking_test.go",
],
data = glob(["*.yaml"]) + [
"@consensus_spec_tests_minimal//:test_data",
],
eth_network = "minimal",
tags = [
"minimal",
"spectest",
],
deps = [
"//runtime/version:go_default_library",
"//testing/spectest/shared/common/light_client:go_default_library",
],
)

12
testing/spectest/minimal/altair/light_client/single_merkle_proof_test.go Normal file
View File

@@ -0,0 +1,12 @@
package light_client
import (
"testing"
"github.com/OffchainLabs/prysm/v6/runtime/version"
"github.com/OffchainLabs/prysm/v6/testing/spectest/shared/common/light_client"
)
func TestMainnet_Altair_LightClient_SingleMerkleProof(t *testing.T) {
light_client.RunLightClientSingleMerkleProofTests(t, "minimal", version.Altair)
}

12
testing/spectest/minimal/altair/light_client/update_ranking_test.go Normal file
View File

@@ -0,0 +1,12 @@
package light_client
import (
"testing"
"github.com/OffchainLabs/prysm/v6/runtime/version"
"github.com/OffchainLabs/prysm/v6/testing/spectest/shared/common/light_client"
)
func TestMainnet_Altair_LightClient_UpdateRanking(t *testing.T) {
light_client.RunLightClientUpdateRankingTests(t, "minimal", version.Altair)
}

22
testing/spectest/minimal/bellatrix/light_client/BUILD.bazel Normal file
View File

@@ -0,0 +1,22 @@
load("@prysm//tools/go:def.bzl", "go_test")
go_test(
name = "go_default_test",
size = "small",
srcs = [
"single_merkle_proof_test.go",
"update_ranking_test.go",
],
data = glob(["*.yaml"]) + [
"@consensus_spec_tests_minimal//:test_data",
],
eth_network = "minimal",
tags = [
"minimal",
"spectest",
],
deps = [
"//runtime/version:go_default_library",
"//testing/spectest/shared/common/light_client:go_default_library",
],
)

12
testing/spectest/minimal/bellatrix/light_client/single_merkle_proof_test.go Normal file
View File

@@ -0,0 +1,12 @@
package light_client
import (
"testing"
"github.com/OffchainLabs/prysm/v6/runtime/version"
"github.com/OffchainLabs/prysm/v6/testing/spectest/shared/common/light_client"
)
func TestMainnet_Bellatrix_LightClient_SingleMerkleProof(t *testing.T) {
light_client.RunLightClientSingleMerkleProofTests(t, "minimal", version.Bellatrix)
}

12
testing/spectest/minimal/bellatrix/light_client/update_ranking_test.go Normal file
View File

@@ -0,0 +1,12 @@
package light_client
import (
"testing"
"github.com/OffchainLabs/prysm/v6/runtime/version"
"github.com/OffchainLabs/prysm/v6/testing/spectest/shared/common/light_client"
)
func TestMainnet_Bellatrix_LightClient_UpdateRanking(t *testing.T) {
light_client.RunLightClientUpdateRankingTests(t, "minimal", version.Bellatrix)
}

22
testing/spectest/minimal/capella/light_client/BUILD.bazel Normal file
View File

@@ -0,0 +1,22 @@
load("@prysm//tools/go:def.bzl", "go_test")
go_test(
name = "go_default_test",
size = "small",
srcs = [
"single_merkle_proof_test.go",
"update_ranking_test.go",
],
data = glob(["*.yaml"]) + [
"@consensus_spec_tests_minimal//:test_data",
],
eth_network = "minimal",
tags = [
"minimal",
"spectest",
],
deps = [
"//runtime/version:go_default_library",
"//testing/spectest/shared/common/light_client:go_default_library",
],
)

12
testing/spectest/minimal/capella/light_client/single_merkle_proof_test.go Normal file
View File

@@ -0,0 +1,12 @@
package light_client
import (
"testing"
"github.com/OffchainLabs/prysm/v6/runtime/version"
"github.com/OffchainLabs/prysm/v6/testing/spectest/shared/common/light_client"
)
func TestMainnet_Capella_LightClient_SingleMerkleProof(t *testing.T) {
light_client.RunLightClientSingleMerkleProofTests(t, "minimal", version.Capella)
}

12
testing/spectest/minimal/capella/light_client/update_ranking_test.go Normal file
View File

@@ -0,0 +1,12 @@
package light_client
import (
"testing"
"github.com/OffchainLabs/prysm/v6/runtime/version"
"github.com/OffchainLabs/prysm/v6/testing/spectest/shared/common/light_client"
)
func TestMainnet_Capella_LightClient_UpdateRanking(t *testing.T) {
light_client.RunLightClientUpdateRankingTests(t, "minimal", version.Capella)
}

22
testing/spectest/minimal/deneb/light_client/BUILD.bazel Normal file
View File

@@ -0,0 +1,22 @@
load("@prysm//tools/go:def.bzl", "go_test")
go_test(
name = "go_default_test",
size = "small",
srcs = [
"single_merkle_proof_test.go",
"update_ranking_test.go",
],
data = glob(["*.yaml"]) + [
"@consensus_spec_tests_minimal//:test_data",
],
eth_network = "minimal",
tags = [
"minimal",
"spectest",
],
deps = [
"//runtime/version:go_default_library",
"//testing/spectest/shared/common/light_client:go_default_library",
],
)

12
testing/spectest/minimal/deneb/light_client/single_merkle_proof_test.go Normal file
View File

@@ -0,0 +1,12 @@
package light_client
import (
"testing"
"github.com/OffchainLabs/prysm/v6/runtime/version"
"github.com/OffchainLabs/prysm/v6/testing/spectest/shared/common/light_client"
)
func TestMainnet_Deneb_LightClient_SingleMerkleProof(t *testing.T) {
light_client.RunLightClientSingleMerkleProofTests(t, "minimal", version.Deneb)
}

12
testing/spectest/minimal/deneb/light_client/update_ranking_test.go Normal file
View File

@@ -0,0 +1,12 @@
package light_client
import (
"testing"
"github.com/OffchainLabs/prysm/v6/runtime/version"
"github.com/OffchainLabs/prysm/v6/testing/spectest/shared/common/light_client"
)
func TestMainnet_Deneb_LightClient_UpdateRanking(t *testing.T) {
light_client.RunLightClientUpdateRankingTests(t, "minimal", version.Deneb)
}

22
testing/spectest/minimal/electra/light_client/BUILD.bazel Normal file
View File

@@ -0,0 +1,22 @@
load("@prysm//tools/go:def.bzl", "go_test")
go_test(
name = "go_default_test",
size = "small",
srcs = [
"single_merkle_proof_test.go",
"update_ranking_test.go",
],
data = glob(["*.yaml"]) + [
"@consensus_spec_tests_minimal//:test_data",
],
eth_network = "minimal",
tags = [
"minimal",
"spectest",
],
deps = [
"//runtime/version:go_default_library",
"//testing/spectest/shared/common/light_client:go_default_library",
],
)

12
testing/spectest/minimal/electra/light_client/single_merkle_proof_test.go Normal file
View File

@@ -0,0 +1,12 @@
package light_client
import (
"testing"
"github.com/OffchainLabs/prysm/v6/runtime/version"
"github.com/OffchainLabs/prysm/v6/testing/spectest/shared/common/light_client"
)
func TestMainnet_Electra_LightClient_SingleMerkleProof(t *testing.T) {
light_client.RunLightClientSingleMerkleProofTests(t, "minimal", version.Electra)
}

12
testing/spectest/minimal/electra/light_client/update_ranking_test.go Normal file
View File

@@ -0,0 +1,12 @@
package light_client
import (
"testing"
"github.com/OffchainLabs/prysm/v6/runtime/version"
"github.com/OffchainLabs/prysm/v6/testing/spectest/shared/common/light_client"
)
func TestMainnet_Electra_LightClient_UpdateRanking(t *testing.T) {
light_client.RunLightClientUpdateRankingTests(t, "minimal", version.Electra)
}

8
testing/spectest/shared/common/light_client/BUILD.bazel
View File

@@ -3,13 +3,19 @@ load("@prysm//tools/go:def.bzl", "go_library")
go_library(
name = "go_default_library",
testonly = True,
srcs = ["single_merkle_proof.go"],
srcs = [
"single_merkle_proof.go",
"update_ranking.go",
],
importpath = "github.com/OffchainLabs/prysm/v6/testing/spectest/shared/common/light_client",
visibility = ["//testing/spectest:__subpackages__"],
deps = [
"//beacon-chain/core/helpers:go_default_library",
"//beacon-chain/core/light-client:go_default_library",
"//beacon-chain/state:go_default_library",
"//beacon-chain/state/state-native:go_default_library",
"//consensus-types/interfaces:go_default_library",
"//consensus-types/light-client:go_default_library",
"//container/trie:go_default_library",
"//proto/prysm/v1alpha1:go_default_library",
"//runtime/version:go_default_library",

105
testing/spectest/shared/common/light_client/update_ranking.go Normal file
View File

@@ -0,0 +1,105 @@
package light_client
import (
"fmt"
"path"
"testing"
"github.com/OffchainLabs/prysm/v6/beacon-chain/core/helpers"
lightclient "github.com/OffchainLabs/prysm/v6/beacon-chain/core/light-client"
"github.com/OffchainLabs/prysm/v6/consensus-types/interfaces"
lightclienttypes "github.com/OffchainLabs/prysm/v6/consensus-types/light-client"
ethpb "github.com/OffchainLabs/prysm/v6/proto/prysm/v1alpha1"
"github.com/OffchainLabs/prysm/v6/runtime/version"
"github.com/OffchainLabs/prysm/v6/testing/require"
"github.com/OffchainLabs/prysm/v6/testing/spectest/utils"
"github.com/OffchainLabs/prysm/v6/testing/util"
"github.com/golang/snappy"
)
// RunLightClientUpdateRankingTests executes "light_client/update_ranking/pyspec_tests/update_ranking" tests.
func RunLightClientUpdateRankingTests(t *testing.T, config string, v int) {
require.NoError(t, utils.SetConfig(t, config))
_, testsFolderPath := utils.TestFolders(t, config, version.String(v), "light_client/update_ranking/pyspec_tests/")
testTypes, err := util.BazelListDirectories(testsFolderPath)
require.NoError(t, err)
if len(testTypes) == 0 {
t.Fatalf("No test types found for %s", testsFolderPath)
}
if testTypes[0] != "update_ranking" {
t.Fatalf("Expected test type 'update_ranking', got %s", testTypes[0])
}
_, testsFolderPath = utils.TestFolders(t, config, version.String(v), "light_client/update_ranking/pyspec_tests/update_ranking")
helpers.ClearCache()
t.Run("update ranking", func(t *testing.T) {
runLightClientUpdateRankingProofTest(t, testsFolderPath, v)
})
}
func runLightClientUpdateRankingProofTest(t *testing.T, testFolderPath string, v int) {
metaFile, err := util.BazelFileBytes(path.Join(testFolderPath, "meta.yaml"))
require.NoError(t, err)
var meta struct {
Count int `json:"updates_count"`
}
require.NoError(t, utils.UnmarshalYaml(metaFile, &meta))
for i := 0; i < meta.Count-1; i++ {
oldUpdateFile, err := util.BazelFileBytes(path.Join(testFolderPath, fmt.Sprintf("updates_%d.ssz_snappy", i)))
require.NoError(t, err)
oldUpdateSSZ, err := snappy.Decode(nil, oldUpdateFile)
require.NoError(t, err, "Failed to decompress")
oldUpdate := createUpdate(t, oldUpdateSSZ, v)
newUpdateFile, err := util.BazelFileBytes(path.Join(testFolderPath, fmt.Sprintf("updates_%d.ssz_snappy", i+1)))
require.NoError(t, err)
newUpdateSSZ, err := snappy.Decode(nil, newUpdateFile)
require.NoError(t, err, "Failed to decompress")
newUpdate := createUpdate(t, newUpdateSSZ, v)
result, err := lightclient.IsBetterUpdate(newUpdate, oldUpdate)
require.NoError(t, err)
require.Equal(t, false, result, "Update %d is not better than update %d", i, i+1)
}
}
func createUpdate(t *testing.T, ssz []byte, v int) interfaces.LightClientUpdate {
switch v {
case version.Altair:
updateBase := &ethpb.LightClientUpdateAltair{}
require.NoError(t, updateBase.UnmarshalSSZ(ssz), "Failed to unmarshal")
update, err := lightclienttypes.NewWrappedUpdateAltair(updateBase)
require.NoError(t, err)
return update
case version.Bellatrix:
updateBase := &ethpb.LightClientUpdateAltair{}
require.NoError(t, updateBase.UnmarshalSSZ(ssz), "Failed to unmarshal")
update, err := lightclienttypes.NewWrappedUpdateAltair(updateBase)
require.NoError(t, err)
return update
case version.Capella:
updateBase := &ethpb.LightClientUpdateCapella{}
require.NoError(t, updateBase.UnmarshalSSZ(ssz), "Failed to unmarshal")
update, err := lightclienttypes.NewWrappedUpdateCapella(updateBase)
require.NoError(t, err)
return update
case version.Deneb:
updateBase := &ethpb.LightClientUpdateDeneb{}
require.NoError(t, updateBase.UnmarshalSSZ(ssz), "Failed to unmarshal")
update, err := lightclienttypes.NewWrappedUpdateDeneb(updateBase)
require.NoError(t, err)
return update
case version.Electra:
updateBase := &ethpb.LightClientUpdateElectra{}
require.NoError(t, updateBase.UnmarshalSSZ(ssz), "Failed to unmarshal")
update, err := lightclienttypes.NewWrappedUpdateElectra(updateBase)
require.NoError(t, err)
return update
default:
t.Fatalf("Unsupported version %d", v)
return nil
}
}