Pragma, Starknet's native provable oracle.
Pragma is a decentralized oracle built natively on Starknet. It leverages cairo to make data feeds computation fully trustless.
- Pragma is built from the ground up to remove any trust assumptions in current oracles' design. There isn't any off-chain infrastructure, raw-data is directly pushed on-chain by whitelisted data providers. Then the aggregation happens at the smart contract level.
- Pragma offers a top-notch developer experience, reviewed by key actors of DeFi on Starknet. The goal is to make the life of DeFi protocols as easy as possible.
- Account contract mostly use for testing purposes and as a reference.
- Ownable contract used for access control.
- Entry & Data Structures defines data structures used within the protocol along with generic aggregations methods. It is designed from the ground up to ensure that adding new entry types is done seamlessly without involving any breaking changes.
- Operations defines a few utilities libraries (time series, sorting, bits manipulation) that will be used for different aggregation methods and optimizing storage operations.
- Oracle is the main entrypoint of the protocol. It is the contract that end developers will interact with to fetch any kind of data. It's been thought and built for retro-compatibility and heavily leverages unique aspects of Cairo, notably enums, traits and generics.
- Publisher Registry handles the registration of different publishers along with the sources they are allowed to push data from.
- Summary Stats acts as a proxy contract for more sophisticated kind of data aggregation such as volatility and mean.
- Randomness is the VRF requestor implementation, also includes an example on how to request random words.
- Test suite, unit tests are provided under the functions' implementations directly whereas full flow integration tests lie within this test suite. It uses cairo-test for now and test thoroughly for any edge case.
A few key testing features are missing such as fuzzing and proper hooks, mocking cheatcodes. This will come as cairo tooling matures and improves.
More extensive documentation can be found on our official website.
Pragma Starknet has been peer-reviewed by many other key-projects in the industries. It has also been audited by Nethermind, you can find the full report under the audits folder.
This repo will gradually replace the previous Pragma implementation in Cairo 0 which you can find here.
Starknet Sepolia
- Oracle : 0x36031daa264c24520b11d93af622c848b2499b66b41d611bac95e13cfca131a
- Publisher Registry : 0x1b08e27ab436cd491631156da5f3aa7ff04aee1e6ca925eb2ca84397c22b74d
- Summary Stats : 0x54563a0537b3ae0ba91032d674a6d468f30a59dc4deb8f0dce4e642b94be15c
- VRF : 0x60c69136b39319547a4df303b6b3a26fab8b2d78de90b6bd215ce82e9cb515c
Starknet Mainnet
- Oracle : 0x2a85bd616f912537c50a49a4076db02c00b29b2cdc8a197ce92ed1837fa875b
- Publisher Registry : 0x24a55b928496ef83468fdb9a5430fe031ac386b8f62f5c2eb7dd20ef7237415
- Summary Stats : 0x49eefafae944d07744d07cc72a5bf14728a6fb463c3eae5bca13552f5d455fd
- VRF : 0x4fb09ce7113bbdf568f225bc757a29cb2b72959c21ca63a7d59bdb9026da661
Prerequisites:
- Install dependencies
poetry install- Compile contracts
scarb build- Deploy contracts & setup
Make sure your local devnet is running, see latest instructions here.
You can also specify a different network by setting STARKNET_NETWORK to a different value e.g sepolia | testnet | mainnet.
STARKNET_NETWORK=katana poetry run python3 scripts/deploy_pragma.py
STARKNET_NETWORK=katana poetry run python3 scripts/deploy_summary_stats.py
STARKNET_NETWORK=katana poetry run python3 scripts/register_publishers.py
Once the contracts are declared/deployed you'll find them under the deployments/ folder at the root of the repo.
For any question or feedback you can send an email to matthias@pragma.build
The code is under the GNU AFFERO GENERAL PUBLIC LICENSE v3.0, see LICENSE.