Add ZeroAddress const, create ZeroAccount during InitChainer

gno.land/pkg/gnoland/app.go

@@ -161,6 +161,10 @@ func InitChainer(baseApp *sdk.BaseApp, acctKpr auth.AccountKeeperI, bankKpr bank
 			// Get genesis state
 			genState := req.AppState.(GnoGenesisState)
 
+			// Init ZeroAccount
+			zeroAcc := acctKpr.NewAccountWithAddress(ctx, std.ZeroAddress())
+			acctKpr.SetAccount(ctx, zeroAcc)
+
 			// Parse and set genesis state balances
 			for _, bal := range genState.Balances {
 				acc := acctKpr.NewAccountWithAddress(ctx, bal.Address)

gno.land/pkg/sdk/vm/builtins.go

@@ -91,4 +91,10 @@ func (bnk *SDKBanker) RemoveCoin(b32addr crypto.Bech32Address, denom string, amo
 	if err != nil {
 		panic(err)
 	}
+	// TODO: once TotalCoin is implemented, we need to deduct the TotalCoins beside send coin to ZeroAddress (?)
+	zeroAddr := std.ZeroAddress()
+	_, err = bnk.vmk.bank.AddCoins(bnk.ctx, zeroAddr, std.Coins{std.Coin{denom, amount}})
+	if err != nil {
+		panic(err)
+	}
 }

gnovm/stdlibs/std/native.gno

@@ -1,5 +1,9 @@
 package std
 
+const (
+	ZeroAddress Address = "g100000000000000000000000000000000dnmcnx"
+)
+
 // AssertOriginCall panics if [IsOriginCall] returns false.
 func AssertOriginCall() // injected
 

gnovm/tests/files/zrealm_natbind0_stdlibs.gno

@@ -154,7 +154,7 @@ func main() {
 //                     "BlockNode": null,
 //                     "Location": {
 //                         "File": "native.gno",
-//                         "Line": "13",
+//                         "Line": "17",
 //                         "Nonce": "0",
 //                         "PkgPath": "std"
 //                     }

tm2/pkg/std/zero_address.go

@@ -0,0 +1,15 @@
+package std
+
+import "github.com/gnolang/gno/tm2/pkg/crypto"
+
+const (
+	zAddressBech32 = string("g100000000000000000000000000000000dnmcnx")
+)
+
+func ZeroAddress() crypto.Address {
+	ZAddress, err := crypto.AddressFromBech32(zAddressBech32)
+	if err != nil {
+		panic(err)
+	}
+	return ZAddress
+}

tm2/pkg/std/zero_address_test.go

@@ -0,0 +1,12 @@
+package std
+
+import (
+	"testing"
+
+	"github.com/stretchr/testify/assert"
+)
+
+func Test_ZAccount(t *testing.T) {
+	zA := ZeroAddress()
+	assert.Exactly(t, zA.String(), "g100000000000000000000000000000000dnmcnx")
+}