Cardano Updates

Reuse cache GHA from cardano-api repository

Feature/hierarchical-native-script-support

Re-run string builtin benchmarks with the unified 4-byte worst-case
generator and fit new cost model parameters. Add cost model variants
D and E that use byte-based costing via TextCostingByteLength.

Update conformance test budgets to reflect the new model parameters.

Add EncodeUtf81Byte, AppendString1Byte, and EqualsString1Byte benchmarks
using ASCII text generators. These produce a second data series for
costing analysis, confirming that byte-based sizing gives consistent
costs regardless of character width.

Add interactive cost model visualization pages for AppendString,
EqualsString, EncodeUtf8, and DecodeUtf8 with configurable data
sources (branch selector, custom CSV/JSON URLs). Includes a local
dev server (serve.sh) that serves docs with /data/ mapped to the
local cost-model data directory.

Fix axis labels from "byte-words" to "characters" for string builtins
that take Text inputs (AppendString, EqualsString, EncodeUtf8).

This commit adds the vote aggregation routine used to turn sufficiently
many Peras votes for the same block into a Peras certificate.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

This commit defines ObjectDiffusion instances for Peras votes using the
PerasVoteDB as a storage backend.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

This commit introduces a new type to encapsulate the evidence for a set
of Peras votes (all targeting the same block) having reached a quorum
(given by a particular Peras configuration). This type can only be
constructed through the `votesReachQuorum` smart constructor.

In addition, this commit adds the new safety margin needed to account
for an extremely unlucky local sortition.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

This commit defined the API and implements an initial in-memory version
of the PerasVoteDB, used to keep track of Peras votes received through
object diffusion.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>