Skip to main content

Phylax Credible Layer Documentation home page

Credible Layer
Assertions Book

Getting Started

Introduction
Installation
Quickstart
High-Level Overview

Architecture

General Design
Assertion Enforcer
PhEVM
Credible Layer Contracts
OP Stack
Assertion Data Availability
System Requirements
Neutrality & Decentralization

Assertions

Overview
Development Effort
Cheatcodes
Triggers

dApp

dApp Overview
Transparency Dashboard
Projects
Incidents
Ownership Verification

Guides

Write Your First Assertion
From Invariant to Assertion
Store and Submit Assertions
Deploy Assertions with the dApp
Accelerate Development with AI

Reference

Cheatcodes API Reference
Backtesting Reference
pcl Reference
credible-std Library

Resources

Glossary
Frequently Asked Questions (FAQ)
Troubleshooting

Community
Blog
Website
GitHub
Quickstart

Phylax Credible Layer Documentation home page

Community
Blog
Website
GitHub
Quickstart
Quickstart

404

Page Not Found

We couldn't find the page. Maybe you were looking for one of these pages below?

Cheatcodes Glossary PhEVM