Cardano Updates

Resolves https://github.com/cardano-scaling/hydra/issues/2629

The root cause was in confirmedUTxO inside onOpenNetworkReqSn: it always
included `utxoToCommit` unconditionally. When a new `ReqSn` with no
deposit arrived after recovery, the recovered deposit was still part of
the base UTxO used to apply transactions, and with no `withoutUTxO` to
strip it back out, it baked into the new snapshot's utxo field.

<!-- Describe your change here -->

---

<!-- Consider each and tick it off one way or the other -->
* [ ] CHANGELOG updated or not needed
* [ ] Documentation updated or not needed
* [ ] Haddocks updated or not needed
* [ ] No new TODOs introduced or explained herafter

fix: instantiate provider lazily in resolveAdaHandle to prevent crashes in preprod environments

feat: persist hasCheckedSession in sessionStorage to avoid redundant session checks and modal displays

refactor: make NEXT_PUBLIC_BLOCKFROST_API_KEY_MAINNET optional for better environment handling

fix: ensure BlockfrostProvider is instantiated only with a valid API key

Both cardano-crypto and cardano-crypto-wallet bundle ed25519.c with the
same ED25519_FN macro prefix, producing duplicate exported symbols
(cardano_crypto_ed25519_publickey, etc.).  The GHC runtime linker aborts
on duplicate symbols, breaking TH evaluation via iserv (e.g. Windows
cross-builds) and GHCi on all platforms.

Rename the prefix in cardano-crypto-wallet from cardano_crypto_ to ccw_
so the two libraries no longer collide.  No Haskell FFI changes needed:
the FFI only imports wallet_encrypted_* and wallet_sodium_* symbols; the
ed25519 symbols are internal C-to-C calls.

cardano-crypto and cardano-crypto-wallet both bundle ed25519.c with the
same ED25519_FN macro prefix (cardano_crypto_), producing duplicate
cardano_crypto_ed25519_* symbols.  The GHC runtime linker (used by iserv
for Template Haskell evaluation) is strict about duplicates and aborts on
the first affected module, breaking every TH splice in the cross build.

Fix via postPatch: sed the macro definition and all direct call sites in
the four affected C files, renaming cardano_crypto_##fn → ccw_##fn and
cardano_crypto_ed25519 → ccw_ed25519.  No Haskell FFI changes are needed
because the Haskell bindings only import wallet_encrypted_* / wallet_sodium_*
symbols, not the ed25519 internals directly.

Upgrade yaci-store starters 0.1.2 -> 0.1.7, the latest stable release in
the 0.1.x line (Van Rossem / protocol v11). yaci-core is left to resolve
transitively from the starter (0.3.10) rather than pinned explicitly, so
the project stays on the version combination the 0.1.x starters are built
and tested against.

cardano-client-lib follows transitively to 0.6.6. Bump project version to
0.1.5.

Co-Authored-By: Claude Opus 4.8 (1M context) <[email protected]>

The root cause was in confirmedUTxO inside onOpenNetworkReqSn: it always
  included utxoToCommit unconditionally. When a new ReqSn with no deposit
  arrived after recovery, the recovered deposit was still part of the base
  UTxO used to apply transactions, and with no withoutUTxO to strip it
  back out, it baked into the new snapshot's utxo field.

* Add Nuvola Blog Interview

* Fix URL and Update Image Reference

---------

Co-authored-by: Denicio Bute <>

  The new accumulator-based headIsFinalizedWith validator checks that the
  head input value covers all distributed outputs. The test head output was
  missing UTxO.totalValue, causing H4 (HeadValueIsNotPreserved) failures.

Signed-off-by: Sasha Bogicevic <[email protected]>