mlabs-haskell / cardanow

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Cardanow

The goal of this project is to reduce the friction Cardano developers encounter when trying to provision or maintain the necessary infrastructure for a DApp.

The first step in this direction is to provide a caching service for three key components in almost any DApp: the cardano node, cardano-db-sync and kupo.

Although here we use the term cache for consistency with the original proposal, it is more illuminating to think of this service as a snapshot provider. The goal of this service is to produce and host snapshots that users can fetch to spin up an environment rapidly. In the remaining of this document we will stick with the term snapshot provider.

We also produced a video that contains an introduction and a high-level description of this architecture.

Architecture

The goal of this system is to build snapshots for the three components listed above, and then upload them to some location where they will be retrievable by end users.

Using one of these snapshots to initialise the node - or one of the indexers - is significantly faster than letting it sync up the state of the ledger from scratch. This video by the Mithril team shows the difference in speed between spinning up a node from scratch, vs using one of the Mithril snapshots.

We can almost view this as a CI project, where we have to regularly build some artifact (the snapshot), and push it to some service where users can consume it (usually a registry, or some cloud storage).

As a goal, we want to make these builds as deterministic as possible, so each user always has the option to run this service themself and verify the authenticity of each snapshot.

As a starting point, we need to produce, or obtain, some trustable snapshots of the state of the cardano-node. The [Mithril Network][1] has recently been established with this very goal, and currently produces several snapshots of the node db per epoch, across different networks (mainnet, preprod and preview).

We can focus our attention on one single network from now on: and assume that we will be running an instance of this system for each network we need to cover.

The following diagram shows the different components involved in producing these snapshots.

We will have a component called Builder, which represents some machine that will periodically be spun up to run this build

Arch

At the end of each epoch, we can fetch the latest snapshot for that epoch through the Mithril network. This will be the state of the cardano-node that all of our other snapshots will be based on.

We will now provision a cardano-node using the snapshot, this node and all the indexers will be provisioned on a network with no outbound access, this means components have no connection to the internet, thus the node can not receive any other blocks than the ones in the mithril snapshot.

Once the node is ready, we can spin up instances of each indexer we want to build a snapshot for. These components will all connect to the same cardano-node.

Once this is done, we will have snapshots of the databases for all the supported indexers, alongside the snapshot of the cardano-node we fetched from the Mithril network.

All the generated snapshots can finally be uploaded back to our snapshot storage servers. To be able to fully identify each snapshot, we have to keep around some metadata about how it was generated. Here is an example record:

{
  "Key": "https://pub-b887f41ffaa944ebaae543199d43421c.r2.dev/mainnet/kupo/kupo-mainnet-484-5742.tgz",
  "Network": "mainnet",
  "DataSource": "kupo",
  "Epoch": "484",
  "ImmutableFileNumber": "5742",
  "LastModified": "2024-05-16T08:31:30.504000+00:00"
}

We also have to account for the fact of periodically having to update versions of the node and indexers. Sometimes this will also mean that snapshots that were produced with an earlier version of the indexer, will not work with a later version of it. We will attempt to always use the latest (major) cardano-node version to build the snapshots and - for each indexer - the latest (major) version supporting the node we are running.

Hosting the snapshots

The snapshots are currently hosted on a Cloudflare R2 bucket.

Notes

  • This Architecture document adds some details on how this system should be deployed to make it secure and isolate different parts from each other.

  • The build script for each indexer will need a way to query the indexer and detect if it is done processing all the data from the node [example][2].

  • Snapshots produced by cardano-db-sync are dependent on [the architecture][3]. We will initially only support x86_64.

  • Rollbacks could happen across epoch boundaries. In this case, the node might contain data that has been rolled-back, and since the node is not connected to the internet, it won't be able to detect the rollback has happened. In this case, the indexer snapshots will also contain this rolled-back data. Luckily the indexers (and node) are built to deal with this possibility, so they should be able to replace the small portion of data that has been rolled-back, as soon as they detect it. Nevertheless, we want to build a test suite that specifically tests these scenarios to catch any unexpected behavior in the presence of rollbacks.

Using the snapshots

We can provide several ways of using the snapshots for the supported components.

  • Cardano-node
  • Kupo
  • cardano-db-sync

We will provide tools to easily download snapshots for each service and start it with the snapshotted data. Each component will provide a docker image that can be run to fetch the desired snapshot and then start off the service from there. We will also provide a script to achieve the same without docker.

Available snapshots

You can view the current snapshot list here. This list enumerates all available snapshots along with corresponding links for retrieval.

Snapshot Naming Convention

Each snapshot follows a specific naming convention, structured as follows:

  • {NETWORK}-{EPOCH}-{IMMUTABLE-FILE-NUMBER}

The exported snapshot will have the prefix of the data source.

Example Snapshot

For instance, a valid snapshot name for 'kupo' would be: kupo-preprod-136-2642.

About

License:Apache License 2.0


Languages

Language:Nix 43.7%Language:TypeScript 29.4%Language:Shell 25.5%Language:Dockerfile 1.2%Language:JavaScript 0.3%