Pragma V2

Rust

Theoros

Request the API to construct the calldata necessary for cross-chain updates.

• Listens for live data feeds update
• Retrieves the signatures of the Hyperlane Validators
• Constructs the calldata for data feeds requested through HTTP/WebSocket

Cairo

Pragma Oracle

Core Contacts of the Pragma Oracle.

Pragma Dispatcher

Wrapper around the Pragma Oracle that allows us to dispatch feed updates through Hyperlane.

Solidity

Solidity SDK

Solidity contracts & libraries.

• Set of contracts used to store data relayed from Pragma chain using Hyperlane.
• SDK that can be used by EVM protocols looking to integrate Pragma.

Typescript

Theoros SDK

A SDK used to query data from Theoros in a simple way.

• Fetch the latest calldata using either REST or Websocket endpoints.

Pragma Deployer

The main scripts used to deploy all our contracts (Cairo, Solidity, ...) are located there.

Pragma Scripts

Utils scripts that we use to make some actions on-chain.