Merge pull request #947 from Plutonomicon/koz/946
'Connect up' `PBuiltinValue` with existing ledger types
'Connect up' `PBuiltinValue` with existing ledger types
Signed-off-by: Chris Gianelloni <[email protected]>
Signed-off-by: cryptodj413 <[email protected]>
- Update site title to "Mithril | Trustless state proofs for Cardano" - Rewrite hero standfirst to lead with the tech and include use-case examples - Make hero section full-viewport-height on tablet with centered layout - Reduce hero heading font size slightly (4rem → 3.5rem) for better fit Co-Authored-By: Claude Sonnet 4.6 <[email protected]>
- CHaP and hackage index-states updated - ouroboros-consensus 1.0.0.0 → 3.0.1.0 - cardano-ledger-core 1.19 → 1.20, conway 1.21 → 1.22 - Removed version bounds from .cabal (managed in cabal.project) - Updated flake.lock (CHaP, haskellNix)
feat: migrate message exchange demo to async-icq
This is not ideal, but seems to make the prototype more resilient.
This could be further improved by having only one writer thread.
Also uses BEGIN IMMEDIATE queries to detect contention when starting a transaction.