Lefteris Karapetsas

Utilize the solidity SMT Checker for our contracts

2

The slides by @axic are here: https://drive.google.com/file/d/1AniKaHdhmDG3nkKP9jbyuE_-pjmFCl4n/view In order to use the SMTChecker we need to add the following pragma: ```solidity pragma experimentalSMTChecker; ``` We should use it in order...

Premium DB syncing allow choice of automatic handling sync errors

1

## Abstract Quite often rotki may inform users it has not uploaded the local DB to the rotki server due to a size discrepancy. And ask user to confirm they...

## Abstract We have kyberswap support only for ethereum mainnet. We need to turn the decoder of kyberswap swaps multichain. ## Task Do it

## Abstract We used to have the "historical" value of ETH in the staking view for all staking rewards as an option. We need it back. ## Task Many people...

## Abstract Fren @Buttaa reported this.  At the moment if the fee recipient for a validator's block/mev (EL rewards) is not tracked by rotki, then the reward won't be...

Support EigenLayer Native restaking

1

## Abstract We have some support for EigenLayer detection of LST restaking. But no support for Native restaking. - https://app.eigenlayer.xyz/token/ETH - https://docs.eigenlayer.xyz/eigenlayer/restaking-guides/restaking-user-guide/native-restaking/ ## Motivation Many people are gonna be using...

## Abstract Support centralized exchange futures trades where possible Related for margin: https://github.com/rotki/rotki/issues/1980 Kraken subissue: https://github.com/rotki/rotki/issues/7714 ## Task Do it per exchange possibly with sub issues for each one.

## Abstract Once evm transactions are queried for a range, then they are no longer queried for this range again. Once queried and saved, we save them in the DB...

## Task Add proper support for Stargate protocol. https://stargate.finance/f https://stargateprotocol.gitbook.io/stargate ## Specification - [ ] add support for decoding all pool LPing transactions across supported networks - [ ] detect...

## Abstract The Odos router is another router for amm swaps used across multiple chains: https://docs.odos.xyz/product/sor/v2/ We need to support it. Example (optimism) transaction: https://optimistic.etherscan.io/tx/0x125741a9097e4204f80682d77ae6ffd0cbcf143b608e4a56d779b49822f87459 Router address in optimism: https://optimistic.etherscan.io/address/0xca423977156bb05b13a2ba3b76bc5419e2fe9680...