Pragma

• Name: Pragma
• URL: https://www.pragma.build/
• Category: oracle / market-data infrastructure / Starknet-native financial-data and API stack
• Summary: Pragma is best cataloged as multi-surface market-data infrastructure rather than as just a Starknet oracle contract. Its current primary-source materials describe a native Starknet oracle where publishers sign and submit data directly onchain, a low-latency Node/API/WebSocket product for offchain consumption, and a newer Miden-native oracle implementation built around client-side proving and Foreign Procedure Invocation. The combined docs, blogs, and GitHub surface make Pragma look like a broader verifiable data stack centered on Starknet but expanding into API and cross-environment delivery.
• What it does:
  • Runs a Starknet-native oracle whose publishers submit signed market data directly to Starknet, with onchain aggregation and transparent feed construction
  • Exposes low-latency offchain data products through a Node API and WebSocket surface for developers who need realtime or non-contract access to prices and related market data
  • Supports more advanced “computational feeds” on Starknet, including onchain TWAP and volatility-oriented data products rather than only spot prices
  • Ships a Miden-native oracle design in which publisher accounts write prices to their own accounts and the oracle computes medians at query time through Foreign Procedure Invocation
  • Maintains an active public GitHub org under the Astraly Labs name, with repositories for the Starknet oracle, API node, SDKs, docs, and Miden implementation
• Key claims:
  • The Starknet docs describe Pragma as an enterprise-grade oracle for Starknet with transparent, verifiable, and flexible data feeds built natively for the chain
  • The architecture docs say Pragma v1 on Starknet uses a publisher registry, oracle proxy, and oracle implementation contracts, with median-based source aggregation and user-selectable downstream aggregation methods
  • The risks docs explicitly classify supported feeds by risk tier and tell integrators to back-test, monitor feeds continuously, and treat long-tail assets as more manipulation-prone, which is a useful operational signal that Pragma expects serious production integrations
  • The API docs describe a separate authenticated Node/API surface with REST and WebSocket access, millisecond-latency ambitions, onchain and offchain endpoints, and low-latency streaming products
  • The Miden docs and pragma-miden repo show Pragma is no longer only a Starknet oracle brand: it is also experimenting with a client-side-proved oracle architecture tailored to Miden’s execution model
• Whitepaper: No canonical standalone Pragma whitepaper or litepaper was found in this pass. The strongest current primary sources were the official website, Starknet docs, API docs, Miden docs, blog posts on Pragma v2 / API / security, and the Astraly Labs GitHub organization; see ../whitepapers/pragma-primary-sources-2026-04-27.md.
• Sources:
  • https://www.pragma.build/
  • https://docs.pragma.build/
  • https://docs.pragma.build/llms.txt
  • https://docs.pragma.build/starknet/introduction.md
  • https://docs.pragma.build/starknet/architecture.md
  • https://docs.pragma.build/starknet/risks.md
  • https://docs.pragma.build/api-reference/introduction.md
  • https://docs.pragma.build/miden/introduction.md
  • https://blog.pragma.build/introducing-pragma-v-2/
  • https://blog.pragma.build/pragma-empowers-starknet-sequencer-with-the-launch-of-the-api/
  • https://blog.pragma.build/exploring-pragmas-security/
  • https://github.com/astraly-labs
  • https://raw.githubusercontent.com/astraly-labs/pragma-docs/main/README.md
  • https://raw.githubusercontent.com/astraly-labs/pragma-node/main/README.md
  • https://raw.githubusercontent.com/astraly-labs/pragma-miden/main/README.md
• Last reviewed: 2026-04-27 UTC