Tomas Zemanovic

Results 194 issues of Tomas Zemanovic

## Describe your changes For some txs the client performs more actions after the tx is applied. They should only run when the tx is successful. This is fixed for:...

merged to draft

## Describe your changes - closes #20 The `TxResponse` type is updated to contain a typed `inner_tx: TxResult` for inner txs and some of its other fields are now typed....

merged to draft

## Describe your changes fixes #408 Unknown changes in vp_user and vp_implicit now require valid signature(s). For PoS changes, we have to check against all possible storage changes that can...

merged to draft

## Describe your changes ## Indicate on which release or other PRs this topic is based on v0.27.0 ## Checklist before merging to `draft` - [ ] I have added...

in VPs implementation, we decided to be permissive on changed storage keys that are unknown or irrelevant to a validity predicate that is being implemented. In case of e.g. vp_token...

wasm
validity-predicate

Allow to configure the cometBFT genesis consensus params from our genesis config, i.e.: ```rust pub struct Params { /// Block size parameters pub block: Option, /// Evidence parameters pub evidence:...

ledger
pre-mainnet

When the format of the wallet.toml is incorrect, running commands that load the wallet fail with a misleading error (e.g. `No pre-genesis wallet found at ...`) instead reporting decoding error

bug
cli
wallet

Adds a test of PoS impl against the Quint model (https://github.com/informalsystems/partnership-heliax/blob/tomas/rust-2-quint/2023/Q2/artifacts/PoS-quint/namada.qnt) using the state machine test that calls into Quint's REPL. The basic approach works but it still needs a...

https://docs.tendermint.com/v0.35/spec/abci/apps.html#taking-snapshots It would be handy to have some commands for exporting and importing snapshots ┆Issue is synchronized with this [Asana task](https://app.asana.com/0/1201757896515792/1201762978708615) by [Unito](https://www.unito.io)

ledger
storage
pre-mainnet

We should replace e.g. the hard-coded default `--ledger-address` with the one from the config file ┆Issue is synchronized with this [Asana task](https://app.asana.com/0/1201757896515792/1201762914094269) by [Unito](https://www.unito.io)

cli