mirror of
https://gitlab.com/pulsechaincom/prysm-pulse.git
synced 2024-12-24 12:27:18 +00:00
53f7030871
* handle trie recomputes * recomp * state trie * args * deep source * amend test * proofs test more fixes * tests pass
65 lines
2.1 KiB
Go
65 lines
2.1 KiB
Go
package v1_test
|
|
|
|
import (
|
|
"context"
|
|
"testing"
|
|
|
|
v1 "github.com/prysmaticlabs/prysm/beacon-chain/state/v1"
|
|
"github.com/prysmaticlabs/prysm/container/trie"
|
|
"github.com/prysmaticlabs/prysm/testing/require"
|
|
"github.com/prysmaticlabs/prysm/testing/util"
|
|
)
|
|
|
|
func TestBeaconStateMerkleProofs(t *testing.T) {
|
|
ctx := context.Background()
|
|
st, _ := util.DeterministicGenesisState(t, 256)
|
|
htr, err := st.HashTreeRoot(ctx)
|
|
require.NoError(t, err)
|
|
t.Run("current sync committee", func(t *testing.T) {
|
|
_, err := st.CurrentSyncCommitteeProof(ctx)
|
|
require.ErrorContains(t, "unsupported", err)
|
|
})
|
|
t.Run("next sync committee", func(t *testing.T) {
|
|
_, err := st.NextSyncCommitteeProof(ctx)
|
|
require.ErrorContains(t, "unsupported", err)
|
|
})
|
|
t.Run("finalized root", func(t *testing.T) {
|
|
finalizedRoot := st.FinalizedCheckpoint().Root
|
|
proof, err := st.FinalizedRootProof(ctx)
|
|
require.NoError(t, err)
|
|
gIndex := v1.FinalizedRootGeneralizedIndex()
|
|
valid := trie.VerifyMerkleProof(htr[:], finalizedRoot, gIndex, proof)
|
|
require.Equal(t, true, valid)
|
|
})
|
|
t.Run("recomputes root on dirty fields", func(t *testing.T) {
|
|
currentRoot, err := st.HashTreeRoot(ctx)
|
|
require.NoError(t, err)
|
|
cpt := st.FinalizedCheckpoint()
|
|
require.NoError(t, err)
|
|
|
|
// Edit the checkpoint.
|
|
cpt.Epoch = 100
|
|
require.NoError(t, st.SetFinalizedCheckpoint(cpt))
|
|
|
|
// Produce a proof for the finalized root.
|
|
proof, err := st.FinalizedRootProof(ctx)
|
|
require.NoError(t, err)
|
|
|
|
// We expect the previous step to have triggered
|
|
// a recomputation of dirty fields in the beacon state, resulting
|
|
// in a new hash tree root as the finalized checkpoint had previously
|
|
// changed and should have been marked as a dirty state field.
|
|
// The proof validity should be false for the old root, but true for the new.
|
|
finalizedRoot := st.FinalizedCheckpoint().Root
|
|
gIndex := v1.FinalizedRootGeneralizedIndex()
|
|
valid := trie.VerifyMerkleProof(currentRoot[:], finalizedRoot, gIndex, proof)
|
|
require.Equal(t, false, valid)
|
|
|
|
newRoot, err := st.HashTreeRoot(ctx)
|
|
require.NoError(t, err)
|
|
|
|
valid = trie.VerifyMerkleProof(newRoot[:], finalizedRoot, gIndex, proof)
|
|
require.Equal(t, true, valid)
|
|
})
|
|
}
|