|
@ -4,7 +4,6 @@ import ( |
|
|
"fmt" |
|
|
"fmt" |
|
|
"os" |
|
|
"os" |
|
|
"testing" |
|
|
"testing" |
|
|
"time" |
|
|
|
|
|
|
|
|
|
|
|
"github.com/stretchr/testify/assert" |
|
|
"github.com/stretchr/testify/assert" |
|
|
"github.com/stretchr/testify/require" |
|
|
"github.com/stretchr/testify/require" |
|
@ -21,7 +20,7 @@ import ( |
|
|
|
|
|
|
|
|
var node *nm.Node |
|
|
var node *nm.Node |
|
|
var chainID = "tendermint_test" // TODO use from config.
|
|
|
var chainID = "tendermint_test" // TODO use from config.
|
|
|
var waitForEventTimeout = 5 * time.Second |
|
|
|
|
|
|
|
|
// var waitForEventTimeout = 5 * time.Second
|
|
|
|
|
|
|
|
|
// TODO fix tests!!
|
|
|
// TODO fix tests!!
|
|
|
|
|
|
|
|
@ -42,83 +41,83 @@ func kvstoreTx(k, v []byte) []byte { |
|
|
|
|
|
|
|
|
// TODO: enable it after general proof format has been adapted
|
|
|
// TODO: enable it after general proof format has been adapted
|
|
|
// in abci/examples/kvstore.go
|
|
|
// in abci/examples/kvstore.go
|
|
|
func _TestAppProofs(t *testing.T) { |
|
|
|
|
|
assert, require := assert.New(t), require.New(t) |
|
|
|
|
|
|
|
|
|
|
|
prt := defaultProofRuntime() |
|
|
|
|
|
cl := client.NewLocal(node) |
|
|
|
|
|
client.WaitForHeight(cl, 1, nil) |
|
|
|
|
|
|
|
|
|
|
|
// This sets up our trust on the node based on some past point.
|
|
|
|
|
|
source := certclient.NewProvider(chainID, cl) |
|
|
|
|
|
seed, err := source.LatestFullCommit(chainID, 1, 1) |
|
|
|
|
|
require.NoError(err, "%#v", err) |
|
|
|
|
|
cert := lite.NewBaseVerifier(chainID, seed.Height(), seed.Validators) |
|
|
|
|
|
|
|
|
|
|
|
// Wait for tx confirmation.
|
|
|
|
|
|
done := make(chan int64) |
|
|
|
|
|
go func() { |
|
|
|
|
|
evtTyp := types.EventTx |
|
|
|
|
|
_, err = client.WaitForOneEvent(cl, evtTyp, waitForEventTimeout) |
|
|
|
|
|
require.Nil(err, "%#v", err) |
|
|
|
|
|
close(done) |
|
|
|
|
|
}() |
|
|
|
|
|
|
|
|
|
|
|
// Submit a transaction.
|
|
|
|
|
|
k := []byte("my-key") |
|
|
|
|
|
v := []byte("my-value") |
|
|
|
|
|
tx := kvstoreTx(k, v) |
|
|
|
|
|
br, err := cl.BroadcastTxCommit(tx) |
|
|
|
|
|
require.NoError(err, "%#v", err) |
|
|
|
|
|
require.EqualValues(0, br.CheckTx.Code, "%#v", br.CheckTx) |
|
|
|
|
|
require.EqualValues(0, br.DeliverTx.Code) |
|
|
|
|
|
brh := br.Height |
|
|
|
|
|
|
|
|
|
|
|
// Fetch latest after tx commit.
|
|
|
|
|
|
<-done |
|
|
|
|
|
latest, err := source.LatestFullCommit(chainID, 1, 1<<63-1) |
|
|
|
|
|
require.NoError(err, "%#v", err) |
|
|
|
|
|
rootHash := latest.SignedHeader.AppHash |
|
|
|
|
|
if rootHash == nil { |
|
|
|
|
|
// Fetch one block later, AppHash hasn't been committed yet.
|
|
|
|
|
|
// TODO find a way to avoid doing this.
|
|
|
|
|
|
client.WaitForHeight(cl, latest.SignedHeader.Height+1, nil) |
|
|
|
|
|
latest, err = source.LatestFullCommit(chainID, latest.SignedHeader.Height+1, 1<<63-1) |
|
|
|
|
|
require.NoError(err, "%#v", err) |
|
|
|
|
|
rootHash = latest.SignedHeader.AppHash |
|
|
|
|
|
} |
|
|
|
|
|
require.NotNil(rootHash) |
|
|
|
|
|
|
|
|
|
|
|
// verify a query before the tx block has no data (and valid non-exist proof)
|
|
|
|
|
|
bs, height, proof, err := GetWithProof(prt, k, brh-1, cl, cert) |
|
|
|
|
|
require.NoError(err, "%#v", err) |
|
|
|
|
|
// require.NotNil(proof)
|
|
|
|
|
|
// TODO: Ensure that *some* keys will be there, ensuring that proof is nil,
|
|
|
|
|
|
// (currently there's a race condition)
|
|
|
|
|
|
// and ensure that proof proves absence of k.
|
|
|
|
|
|
require.Nil(bs) |
|
|
|
|
|
|
|
|
|
|
|
// but given that block it is good
|
|
|
|
|
|
bs, height, proof, err = GetWithProof(prt, k, brh, cl, cert) |
|
|
|
|
|
require.NoError(err, "%#v", err) |
|
|
|
|
|
require.NotNil(proof) |
|
|
|
|
|
require.Equal(height, brh) |
|
|
|
|
|
|
|
|
|
|
|
assert.EqualValues(v, bs) |
|
|
|
|
|
err = prt.VerifyValue(proof, rootHash, string(k), bs) // XXX key encoding
|
|
|
|
|
|
assert.NoError(err, "%#v", err) |
|
|
|
|
|
|
|
|
|
|
|
// Test non-existing key.
|
|
|
|
|
|
missing := []byte("my-missing-key") |
|
|
|
|
|
bs, _, proof, err = GetWithProof(prt, missing, 0, cl, cert) |
|
|
|
|
|
require.NoError(err) |
|
|
|
|
|
require.Nil(bs) |
|
|
|
|
|
require.NotNil(proof) |
|
|
|
|
|
err = prt.VerifyAbsence(proof, rootHash, string(missing)) // XXX VerifyAbsence(), keyencoding
|
|
|
|
|
|
assert.NoError(err, "%#v", err) |
|
|
|
|
|
err = prt.VerifyAbsence(proof, rootHash, string(k)) // XXX VerifyAbsence(), keyencoding
|
|
|
|
|
|
assert.Error(err, "%#v", err) |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
// func TestAppProofs(t *testing.T) {
|
|
|
|
|
|
// assert, require := assert.New(t), require.New(t)
|
|
|
|
|
|
|
|
|
|
|
|
// prt := defaultProofRuntime()
|
|
|
|
|
|
// cl := client.NewLocal(node)
|
|
|
|
|
|
// client.WaitForHeight(cl, 1, nil)
|
|
|
|
|
|
|
|
|
|
|
|
// // This sets up our trust on the node based on some past point.
|
|
|
|
|
|
// source := certclient.NewProvider(chainID, cl)
|
|
|
|
|
|
// seed, err := source.LatestFullCommit(chainID, 1, 1)
|
|
|
|
|
|
// require.NoError(err, "%#v", err)
|
|
|
|
|
|
// cert := lite.NewBaseVerifier(chainID, seed.Height(), seed.Validators)
|
|
|
|
|
|
|
|
|
|
|
|
// // Wait for tx confirmation.
|
|
|
|
|
|
// done := make(chan int64)
|
|
|
|
|
|
// go func() {
|
|
|
|
|
|
// evtTyp := types.EventTx
|
|
|
|
|
|
// _, err = client.WaitForOneEvent(cl, evtTyp, waitForEventTimeout)
|
|
|
|
|
|
// require.Nil(err, "%#v", err)
|
|
|
|
|
|
// close(done)
|
|
|
|
|
|
// }()
|
|
|
|
|
|
|
|
|
|
|
|
// // Submit a transaction.
|
|
|
|
|
|
// k := []byte("my-key")
|
|
|
|
|
|
// v := []byte("my-value")
|
|
|
|
|
|
// tx := kvstoreTx(k, v)
|
|
|
|
|
|
// br, err := cl.BroadcastTxCommit(tx)
|
|
|
|
|
|
// require.NoError(err, "%#v", err)
|
|
|
|
|
|
// require.EqualValues(0, br.CheckTx.Code, "%#v", br.CheckTx)
|
|
|
|
|
|
// require.EqualValues(0, br.DeliverTx.Code)
|
|
|
|
|
|
// brh := br.Height
|
|
|
|
|
|
|
|
|
|
|
|
// // Fetch latest after tx commit.
|
|
|
|
|
|
// <-done
|
|
|
|
|
|
// latest, err := source.LatestFullCommit(chainID, 1, 1<<63-1)
|
|
|
|
|
|
// require.NoError(err, "%#v", err)
|
|
|
|
|
|
// rootHash := latest.SignedHeader.AppHash
|
|
|
|
|
|
// if rootHash == nil {
|
|
|
|
|
|
// // Fetch one block later, AppHash hasn't been committed yet.
|
|
|
|
|
|
// // TODO find a way to avoid doing this.
|
|
|
|
|
|
// client.WaitForHeight(cl, latest.SignedHeader.Height+1, nil)
|
|
|
|
|
|
// latest, err = source.LatestFullCommit(chainID, latest.SignedHeader.Height+1, 1<<63-1)
|
|
|
|
|
|
// require.NoError(err, "%#v", err)
|
|
|
|
|
|
// rootHash = latest.SignedHeader.AppHash
|
|
|
|
|
|
// }
|
|
|
|
|
|
// require.NotNil(rootHash)
|
|
|
|
|
|
|
|
|
|
|
|
// // verify a query before the tx block has no data (and valid non-exist proof)
|
|
|
|
|
|
// bs, height, proof, err := GetWithProof(prt, k, brh-1, cl, cert)
|
|
|
|
|
|
// require.NoError(err, "%#v", err)
|
|
|
|
|
|
// // require.NotNil(proof)
|
|
|
|
|
|
// // TODO: Ensure that *some* keys will be there, ensuring that proof is nil,
|
|
|
|
|
|
// // (currently there's a race condition)
|
|
|
|
|
|
// // and ensure that proof proves absence of k.
|
|
|
|
|
|
// require.Nil(bs)
|
|
|
|
|
|
|
|
|
|
|
|
// // but given that block it is good
|
|
|
|
|
|
// bs, height, proof, err = GetWithProof(prt, k, brh, cl, cert)
|
|
|
|
|
|
// require.NoError(err, "%#v", err)
|
|
|
|
|
|
// require.NotNil(proof)
|
|
|
|
|
|
// require.Equal(height, brh)
|
|
|
|
|
|
|
|
|
|
|
|
// assert.EqualValues(v, bs)
|
|
|
|
|
|
// err = prt.VerifyValue(proof, rootHash, string(k), bs) // XXX key encoding
|
|
|
|
|
|
// assert.NoError(err, "%#v", err)
|
|
|
|
|
|
|
|
|
|
|
|
// // Test non-existing key.
|
|
|
|
|
|
// missing := []byte("my-missing-key")
|
|
|
|
|
|
// bs, _, proof, err = GetWithProof(prt, missing, 0, cl, cert)
|
|
|
|
|
|
// require.NoError(err)
|
|
|
|
|
|
// require.Nil(bs)
|
|
|
|
|
|
// require.NotNil(proof)
|
|
|
|
|
|
// err = prt.VerifyAbsence(proof, rootHash, string(missing)) // XXX VerifyAbsence(), keyencoding
|
|
|
|
|
|
// assert.NoError(err, "%#v", err)
|
|
|
|
|
|
// err = prt.VerifyAbsence(proof, rootHash, string(k)) // XXX VerifyAbsence(), keyencoding
|
|
|
|
|
|
// assert.Error(err, "%#v", err)
|
|
|
|
|
|
// }
|
|
|
|
|
|
|
|
|
func TestTxProofs(t *testing.T) { |
|
|
func TestTxProofs(t *testing.T) { |
|
|
assert, require := assert.New(t), require.New(t) |
|
|
assert, require := assert.New(t), require.New(t) |
|
|