Pragma - The Provable Oracle Network

Company Overview

Pragma is the leading decentralized oracle on Starknet, built from the ground up to remove trust assumptions in oracle design. Leveraging Cairo and STARK proofs, Pragma makes data feed computation fully trustless with no off-chain infrastructure—raw data is directly pushed on-chain by whitelisted data providers including major market makers and liquid exchanges.

Core Technology

STARK Proof Verification

Pragma leverages zero-knowledge cryptography to provide verifiable, transparent, and secure data feeds. Every piece of data can be cryptographically verified, ensuring data correctness without requiring trust in intermediaries.

Native Starknet Integration

Built natively on Starknet using Cairo, Pragma benefits from the L2's high throughput and low costs while maintaining Ethereum-level security guarantees.

Direct On-Chain Data

Unlike traditional oracles with off-chain infrastructure, Pragma's data providers sign and timestamp their data, sending it directly on-chain. This eliminates centralized points of failure.

Key Products

Price Feeds

Real-time, verifiable price data for DeFi applications with 200ms latency.

Computational Feeds

Complex on-chain computations with verifiable outputs.

Optimistic Oracle (v1)

Flexible oracle system for diverse data types.

Verifiable Random Function (VRF)

Cryptographically secure randomness for gaming and NFT applications.

Pragma API

Developer-friendly API for seamless integration.

Data Providers

Argent, Braavos, Equilibrium, Skynet, Flowdesk, and other major market makers.

Notable Clients

zkLend, Nostra, Serity, CurveZero, Carmine Options

Key Achievements

• Leading oracle on Starknet for over 1.5 years
• Powers major DeFi protocols including zkLend and Nostra
• 200ms latency on oracle operations
• Open-source liquidation bot with Vesu

Why Choose Pragma

Pragma represents the next generation of oracle design—provable, transparent, and truly decentralized. By leveraging STARK proofs and Starknet's native capabilities, Pragma delivers oracle services as verifiable as the smart contracts they serve.