You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
153 lines
4.3 KiB
153 lines
4.3 KiB
package lite
|
|
|
|
import (
|
|
"fmt"
|
|
"testing"
|
|
|
|
"github.com/stretchr/testify/assert"
|
|
"github.com/stretchr/testify/require"
|
|
|
|
dbm "github.com/tendermint/tendermint/libs/db"
|
|
log "github.com/tendermint/tendermint/libs/log"
|
|
)
|
|
|
|
func TestInquirerValidPath(t *testing.T) {
|
|
assert, require := assert.New(t), require.New(t)
|
|
trust := NewDBProvider("trust", dbm.NewMemDB())
|
|
source := NewDBProvider("source", dbm.NewMemDB())
|
|
|
|
// Set up the validators to generate test blocks.
|
|
var vote int64 = 10
|
|
keys := genPrivKeys(5)
|
|
nkeys := keys.Extend(1)
|
|
|
|
// Construct a bunch of commits, each with one more height than the last.
|
|
chainID := "inquiry-test"
|
|
consHash := []byte("params")
|
|
resHash := []byte("results")
|
|
count := 50
|
|
fcz := make([]FullCommit, count)
|
|
for i := 0; i < count; i++ {
|
|
vals := keys.ToValidators(vote, 0)
|
|
nextVals := nkeys.ToValidators(vote, 0)
|
|
h := int64(1 + i)
|
|
appHash := []byte(fmt.Sprintf("h=%d", h))
|
|
fcz[i] = keys.GenFullCommit(
|
|
chainID, h, nil,
|
|
vals, nextVals,
|
|
appHash, consHash, resHash, 0, len(keys))
|
|
// Extend the keys by 1 each time.
|
|
keys = nkeys
|
|
nkeys = nkeys.Extend(1)
|
|
}
|
|
|
|
// Initialize a Verifier with the initial state.
|
|
err := trust.SaveFullCommit(fcz[0])
|
|
require.Nil(err)
|
|
cert := NewDynamicVerifier(chainID, trust, source)
|
|
cert.SetLogger(log.TestingLogger())
|
|
|
|
// This should fail validation:
|
|
sh := fcz[count-1].SignedHeader
|
|
err = cert.Certify(sh)
|
|
require.NotNil(err)
|
|
|
|
// Adding a few commits in the middle should be insufficient.
|
|
for i := 10; i < 13; i++ {
|
|
err := source.SaveFullCommit(fcz[i])
|
|
require.Nil(err)
|
|
}
|
|
err = cert.Certify(sh)
|
|
assert.NotNil(err)
|
|
|
|
// With more info, we succeed.
|
|
for i := 0; i < count; i++ {
|
|
err := source.SaveFullCommit(fcz[i])
|
|
require.Nil(err)
|
|
}
|
|
err = cert.Certify(sh)
|
|
assert.Nil(err, "%+v", err)
|
|
}
|
|
|
|
func TestInquirerVerifyHistorical(t *testing.T) {
|
|
assert, require := assert.New(t), require.New(t)
|
|
trust := NewDBProvider("trust", dbm.NewMemDB())
|
|
source := NewDBProvider("source", dbm.NewMemDB())
|
|
|
|
// Set up the validators to generate test blocks.
|
|
var vote int64 = 10
|
|
keys := genPrivKeys(5)
|
|
nkeys := keys.Extend(1)
|
|
|
|
// Construct a bunch of commits, each with one more height than the last.
|
|
chainID := "inquiry-test"
|
|
count := 10
|
|
consHash := []byte("special-params")
|
|
fcz := make([]FullCommit, count)
|
|
for i := 0; i < count; i++ {
|
|
vals := keys.ToValidators(vote, 0)
|
|
nextVals := nkeys.ToValidators(vote, 0)
|
|
h := int64(1 + i)
|
|
appHash := []byte(fmt.Sprintf("h=%d", h))
|
|
resHash := []byte(fmt.Sprintf("res=%d", h))
|
|
fcz[i] = keys.GenFullCommit(
|
|
chainID, h, nil,
|
|
vals, nextVals,
|
|
appHash, consHash, resHash, 0, len(keys))
|
|
// Extend the keys by 1 each time.
|
|
keys = nkeys
|
|
nkeys = nkeys.Extend(1)
|
|
}
|
|
|
|
// Initialize a Verifier with the initial state.
|
|
err := trust.SaveFullCommit(fcz[0])
|
|
require.Nil(err)
|
|
cert := NewDynamicVerifier(chainID, trust, source)
|
|
cert.SetLogger(log.TestingLogger())
|
|
|
|
// Store a few full commits as trust.
|
|
for _, i := range []int{2, 5} {
|
|
trust.SaveFullCommit(fcz[i])
|
|
}
|
|
|
|
// See if we can jump forward using trusted full commits.
|
|
// Souce doesn't have fcz[9] so cert.LastTrustedHeight wont' change.
|
|
err = source.SaveFullCommit(fcz[7])
|
|
require.Nil(err, "%+v", err)
|
|
sh := fcz[8].SignedHeader
|
|
err = cert.Certify(sh)
|
|
require.Nil(err, "%+v", err)
|
|
assert.Equal(fcz[7].Height(), cert.LastTrustedHeight())
|
|
fc_, err := trust.LatestFullCommit(chainID, fcz[8].Height(), fcz[8].Height())
|
|
require.NotNil(err, "%+v", err)
|
|
assert.Equal(fc_, (FullCommit{}))
|
|
|
|
// With fcz[9] Certify will update last trusted height.
|
|
err = source.SaveFullCommit(fcz[9])
|
|
require.Nil(err, "%+v", err)
|
|
sh = fcz[8].SignedHeader
|
|
err = cert.Certify(sh)
|
|
require.Nil(err, "%+v", err)
|
|
assert.Equal(fcz[8].Height(), cert.LastTrustedHeight())
|
|
fc_, err = trust.LatestFullCommit(chainID, fcz[8].Height(), fcz[8].Height())
|
|
require.Nil(err, "%+v", err)
|
|
assert.Equal(fc_.Height(), fcz[8].Height())
|
|
|
|
// Add access to all full commits via untrusted source.
|
|
for i := 0; i < count; i++ {
|
|
err := source.SaveFullCommit(fcz[i])
|
|
require.Nil(err)
|
|
}
|
|
|
|
// Try to check an unknown seed in the past.
|
|
sh = fcz[3].SignedHeader
|
|
err = cert.Certify(sh)
|
|
require.Nil(err, "%+v", err)
|
|
assert.Equal(fcz[8].Height(), cert.LastTrustedHeight())
|
|
|
|
// Jump all the way forward again.
|
|
sh = fcz[count-1].SignedHeader
|
|
err = cert.Certify(sh)
|
|
require.Nil(err, "%+v", err)
|
|
assert.Equal(fcz[9].Height(), cert.LastTrustedHeight())
|
|
}
|