Siddharth Suresh

Look into using read only LedgerTxns for the LedgerTxns that were introduced in the config upgrade change.

1

The LedgerTxns added in the [config upgrade PR](https://github.com/stellar/stellar-core/pull/3674/files) should be using `READ_ONLY_WITHOUT_SQL_TXN` since they should all be read only. If we do this, we should make sure there are no...

Implement SQL invariants in BucketDB

1

We have certain invariants enforced in our ledger SQL logic like - https://github.com/stellar/stellar-core/blob/5a6d8502b6b6b12a40b133bcbae9e1abf1901041/src/ledger/LedgerTxnTrustLineSQL.cpp#L22 These invariants should be reflected in BucketDB as well.

Add a test to catch the bug exposed in https://github.com/stellar/stellar-core/pull/3945

- [x] Mint - [x] Burn - [x] Clawback - [ ] Update admin to non-issuer and try mint, burn, clawback, etc... - [ ] mint, burn, clawback on issuer

Allow soroban transactions in the tx fuzzer

1

https://github.com/stellar/stellar-core/pull/4032 filters out Soroban transactions when generating tests for the tx fuzzer. We should instead allow them and make sure the generation step creates valid transactions by not mixing soroban...

Prefetch entries in Soroban ops

3

InvokeHostFunctionOp, BumpFootprintExpirationOp, and RestoreFootprintOp does not prefetch any entries, leading to each entry in the footprint being fetched individually.

Enable checkStellarCoreMajorVersionProtocolIdentity check

2

The `checkStellarCoreMajorVersionProtocolIdentity` check [here](https://github.com/stellar/stellar-core/blob/master/src/main/main.cpp#L262-L267) was commented out in https://github.com/stellar/stellar-core/pull/3808, but needs to be re-enabled in a way that works.

The Next github checks are taking ~90 minutes.

3

You can see [here](https://github.com/stellar/stellar-core/actions/runs/4198078548/jobs/7281232311) that both GCC Next and Clang next took around 90 minutes, while GCC current and Clang Current took around 15 minutes. This results in a much...

The test cases update `LedgerInfo` to [advance](https://github.com/stellar/soroban-example-dapp/blob/006db5943b96c0a131f3fa1ef1480c22a43479ac/contracts/crowdfund/src/test.rs#L54) the ledger timestamp. You can see in that link that the `base_reserve` and `network_passphrase` are not updated correctly. This doesn't matter for these...

# Description Resolves https://github.com/stellar/stellar-core/issues/4391/. # Checklist - [ ] Reviewed the [contributing](https://github.com/stellar/stellar-core/blob/master/CONTRIBUTING.md#submitting-changes) document - [ ] Rebased on top of master (no merge commits) - [ ] Ran `clang-format` v8.0.0...