What is the Credible Layer?
The Credible Layer is security infrastructure that enables developers to link security rules to their smart contracts on-chain. Then, the network validates every transaction that interacts with their smart contracts against their security rules, dropping any invalidating transaction.Use this page to choose the right kind of documentation for what you need next:
- Learn by doing: Quickstart Tutorial
- Complete a specific task: How-to Guides
- Understand the system: High-Level Overview
- Look up commands and APIs: Reference
How It Works
Define rules in Solidity
Write assertions—security rules that define states your protocol should never reach. No contract modifications required.
Network validates every transaction
The network checks each transaction against your assertions before inclusion in a block.
Choose the Right Path
Learn by Doing
Follow a guided tutorial to write, submit, and deploy your first assertion end to end.
Complete a Task
Jump straight to task-focused guides for installation, deployment, testing, and operations.
Understand the System
Read the explanation docs for architecture, trust model, assertions, and the platform.
Look Up Details
Use the reference docs for commands, cheatcodes, glossary entries, and use-case mappings.
By Audience
Protocol Teams
See the adoption path for writing assertions, deploying them, and monitoring incidents.
Networks and Sequencers
See the high-level integration path for enforcement during block building.
Security Engineers
Browse pattern catalogs and exploit case studies in the Assertions Book.
Researchers and Auditors
Inspect deployed assertions, incidents, and public protocol coverage.
Key Benefits
- Pre-execution prevention — Exploits are blocked before they execute, not detected after
- No contract changes — Add protection to any contract, including immutable ones
- Transparent & verifiable — All rules are public Solidity, auditable by anyone
- No external execution services — Enforcement runs within the network’s block-building flow
- Zero false positives — Binary enforcement based on your rules, no AI guessing
Community & Support
Have questions or want to connect with the Phylax community?- Join our Telegram
- Follow us on X/Twitter
- Explore our GitHub
- Visit the Phylax Website

