Skip to main content
Use this page to understand what the Credible Layer is and choose the right documentation path for your goal.

​
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:

​
How It Works

1

Define rules in Solidity

Write assertions—security rules that define states your protocol should never reach. No contract modifications required.
2

Network validates every transaction

The network checks each transaction against your assertions before inclusion in a block.
3

Invalid transactions are dropped

Transactions that violate your rules are dropped by the network and never execute.

​
Choose the Right Path

Learn by Doing

Follow a guided tutorial to write, test, 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 invalidations.

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, invalidations, 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
  • Readable security posture — Understand circuit breakers and verifiable operational risks through clear, plain-English breakdowns
  • No external execution services — Enforcement runs within the network’s block-building flow
  • Deterministic decisions — Binary enforcement based on your rules, not opaque scoring

​
Community & Support

Have questions or want to connect with the Phylax community?

​
Learn More

For the visual learners, here’s a video introduction to the Credible Layer: