-
Notifications
You must be signed in to change notification settings - Fork 471
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add integration test for lsig size pooling
- Loading branch information
Showing
4 changed files
with
205 additions
and
29 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,167 @@ | ||
| // Copyright (C) 2019-2024 Algorand, Inc. | ||
| // This file is part of go-algorand | ||
| // | ||
| // go-algorand is free software: you can redistribute it and/or modify | ||
| // it under the terms of the GNU Affero General Public License as | ||
| // published by the Free Software Foundation, either version 3 of the | ||
| // License, or (at your option) any later version. | ||
| // | ||
| // go-algorand is distributed in the hope that it will be useful, | ||
| // but WITHOUT ANY WARRANTY; without even the implied warranty of | ||
| // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | ||
| // GNU Affero General Public License for more details. | ||
| // | ||
| // You should have received a copy of the GNU Affero General Public License | ||
| // along with go-algorand. If not, see <https://www.gnu.org/licenses/>. | ||
|
|
||
| package transactions | ||
|
|
||
| import ( | ||
| "fmt" | ||
| "path/filepath" | ||
| "testing" | ||
|
|
||
| "github.com/algorand/go-algorand/data/transactions" | ||
| "github.com/algorand/go-algorand/data/transactions/logic" | ||
| "github.com/algorand/go-algorand/test/framework/fixtures" | ||
| "github.com/algorand/go-algorand/test/partitiontest" | ||
| "github.com/stretchr/testify/require" | ||
| ) | ||
|
|
||
| // CreateTealOfSize return a TEAL bytecode of `size` bytes which always succeeds. | ||
| // `size` must be at least 9 bytes | ||
| func CreateTealOfSize(size uint, pragma uint) ([]byte, error) { | ||
| if size < 9 { | ||
| return nil, fmt.Errorf("size must be at least 9 bytes; got %d", size) | ||
| } | ||
| ls := fmt.Sprintf("#pragma version %d\n", pragma) | ||
| if size%2 == 0 { | ||
| ls += "int 10\npop\nint 1\npop\n" | ||
| } else { | ||
| ls += "int 1\npop\nint 1\npop\n" | ||
| } | ||
| for i := uint(11); i <= size; i += 2 { | ||
| ls = ls + "int 1\npop\n" | ||
| } | ||
| ls = ls + "int 1" | ||
| code, err := logic.AssembleString(ls) | ||
| if err != nil { | ||
| return nil, err | ||
| } | ||
| // panic if the function is not working as expected and needs to be updated | ||
| if len(code.Program) != int(size) { | ||
| panic(fmt.Sprintf("wanted to create a program of size %d but got a program of size %d", | ||
| size, len(code.Program))) | ||
| } | ||
| return code.Program, nil | ||
| } | ||
|
|
||
| func TestLogicSigSizeBeforePooling(t *testing.T) { | ||
| partitiontest.PartitionTest(t) | ||
| defer fixtures.ShutdownSynchronizedTest(t) | ||
| a := require.New(fixtures.SynchronizedTest(t)) | ||
|
|
||
| // From consensus version 18, we have lsigs with a maximum size of 1000 bytes. | ||
| // We need to use pragma 1 for teal in v18 | ||
| pragma := uint(1) | ||
| tealOK, err := CreateTealOfSize(1000, pragma) | ||
| a.NoError(err) | ||
| tealTooLong, err := CreateTealOfSize(1001, pragma) | ||
| a.NoError(err) | ||
|
|
||
| testLogicSize(t, tealOK, tealTooLong, filepath.Join("nettemplates", "TwoNodes50EachV18.json")) | ||
| } | ||
|
|
||
| func TestLogicSigSizeAfterPooling(t *testing.T) { | ||
| partitiontest.PartitionTest(t) | ||
| defer fixtures.ShutdownSynchronizedTest(t) | ||
| a := require.New(fixtures.SynchronizedTest(t)) | ||
|
|
||
| pragma := uint(1) | ||
| tealOK, err := CreateTealOfSize(2000, pragma) | ||
| a.NoError(err) | ||
| tealTooLong, err := CreateTealOfSize(2001, pragma) | ||
| a.NoError(err) | ||
|
|
||
| // TODO: Update this when lsig pooling graduates from vFuture | ||
| testLogicSize(t, tealOK, tealTooLong, filepath.Join("nettemplates", "TwoNodes50EachFuture.json")) | ||
| } | ||
|
|
||
| // testLogicSize takes two TEAL programs, one expected to be ok and one expected to be too long | ||
| // and thus to be rejected, and tests that's indeed the case. | ||
| func testLogicSize(t *testing.T, tealOK, tealTooLong []byte, | ||
| networkTemplate string) { | ||
|
|
||
| t.Parallel() | ||
| a := require.New(fixtures.SynchronizedTest(t)) | ||
|
|
||
| var fixture fixtures.RestClientFixture | ||
| fixture.Setup(t, networkTemplate) | ||
| defer fixture.Shutdown() | ||
|
|
||
| client := fixture.LibGoalClient | ||
| accountList, err := fixture.GetWalletsSortedByBalance() | ||
| a.NoError(err) | ||
| baseAcct := accountList[0].Address | ||
|
|
||
| walletHandler, err := client.GetUnencryptedWalletHandle() | ||
| a.NoError(err) | ||
|
|
||
| signatureOK, err := client.SignProgramWithWallet(walletHandler, nil, baseAcct, tealOK) | ||
| a.NoError(err) | ||
| lsigOK := transactions.LogicSig{Logic: tealOK, Sig: signatureOK} | ||
|
|
||
| signatureTooLong, err := client.SignProgramWithWallet(walletHandler, nil, baseAcct, tealTooLong) | ||
| a.NoError(err) | ||
| lsigTooLong := transactions.LogicSig{Logic: tealTooLong, Sig: signatureTooLong} | ||
|
|
||
| // We build two transaction groups of two transactions each. | ||
| // The first txn will be either signed by an ok lsig or a too long one. | ||
| // The second is a vanilla payment transaction to complete the group. | ||
| var txn1Success, txn2Success, txn1Fail, txn2Fail transactions.Transaction | ||
| for i, txn := range []*transactions.Transaction{&txn1Success, &txn2Success, &txn1Fail, &txn2Fail} { | ||
| *txn, err = client.ConstructPayment(baseAcct, baseAcct, 0, uint64(i), nil, "", [32]byte{}, 0, 0) | ||
| a.NoError(err) | ||
| } | ||
|
|
||
| // success group | ||
| gidSuccess, err := client.GroupID([]transactions.Transaction{txn1Success, txn2Success}) | ||
| a.NoError(err) | ||
|
|
||
| txn1Success.Group = gidSuccess | ||
| stxn1Success := transactions.SignedTxn{Txn: txn1Success, Lsig: lsigOK} | ||
|
|
||
| txn2Success.Group = gidSuccess | ||
| stxn2Success, err := client.SignTransactionWithWallet(walletHandler, nil, txn2Success) | ||
| a.NoError(err) | ||
|
|
||
| err = client.BroadcastTransactionGroup([]transactions.SignedTxn{stxn1Success, stxn2Success}) | ||
| a.NoError(err) | ||
|
|
||
| // fail group | ||
| gidFail, err := client.GroupID([]transactions.Transaction{txn1Fail, txn2Fail}) | ||
| a.NoError(err) | ||
|
|
||
| txn1Fail.Group = gidFail | ||
| stxn1Fail := transactions.SignedTxn{Txn: txn1Fail, Lsig: lsigTooLong} | ||
|
|
||
| txn2Fail.Group = gidFail | ||
| stxn2Fail, err := client.SignTransactionWithWallet(walletHandler, nil, txn2Fail) | ||
| a.NoError(err) | ||
|
|
||
| cp, err := client.ConsensusParams(0) | ||
| a.NoError(err) | ||
|
|
||
| err = client.BroadcastTransactionGroup([]transactions.SignedTxn{stxn1Fail, stxn2Fail}) | ||
| if cp.EnableLogicSigSizePooling { | ||
| a.Contains(err.Error(), "more than the available pool") | ||
| } else { | ||
| a.Contains(err.Error(), "LogicSig too long") | ||
| } | ||
|
|
||
| // wait for the second transaction in the successful group to confirm | ||
| txn2SuccessId := txn2Success.ID().String() | ||
| _, curRound := fixture.GetBalanceAndRound(baseAcct) | ||
| confirmed := fixture.WaitForTxnConfirmation(curRound+5, txn2SuccessId) | ||
| a.True(confirmed) | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,36 @@ | ||
| { | ||
| "Genesis": { | ||
| "NetworkName": "tbd", | ||
| "ConsensusProtocol": "https://github.com/algorandfoundation/specs/tree/6c6bd668be0ab14098e51b37e806c509f7b7e31f", | ||
| "LastPartKeyRound": 3000, | ||
| "Wallets": [ | ||
| { | ||
| "Name": "Wallet1", | ||
| "Stake": 50, | ||
| "Online": true | ||
| }, | ||
| { | ||
| "Name": "Wallet2", | ||
| "Stake": 50, | ||
| "Online": true | ||
| } | ||
| ] | ||
| }, | ||
| "Nodes": [ | ||
| { | ||
| "Name": "Primary", | ||
| "IsRelay": true, | ||
| "Wallets": [ | ||
| { "Name": "Wallet1", | ||
| "ParticipationOnly": false } | ||
| ] | ||
| }, | ||
| { | ||
| "Name": "Node", | ||
| "Wallets": [ | ||
| { "Name": "Wallet2", | ||
| "ParticipationOnly": false } | ||
| ] | ||
| } | ||
| ] | ||
| } |