> ## Documentation Index
> Fetch the complete documentation index at: https://phylaxsystems-docs-project-incidents.mintlify.site/llms.txt
> Use this file to discover all available pages before exploring further.

# Introduction

> Block exploits before they execute by linking security rules to your smart contracts on-chain.

## 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.

## How It Works

<Steps>
  <Step title="Define rules in Solidity">
    Write assertions—security rules that define states your protocol should never reach. No contract modifications required.
  </Step>

  <Step title="Network validates every transaction">
    The network checks each transaction against your assertions before inclusion in a block.
  </Step>

  <Step title="Invalid transactions are dropped">
    Transactions that violate your rules are dropped by the network and never execute.
  </Step>
</Steps>

## I Want To...

<CardGroup cols={2}>
  <Card title="Start Building" icon="rocket" href="/credible/pcl-quickstart">
    Write and deploy your first assertion. Get from zero to protected in minutes.
  </Card>

  <Card title="Evaluate Credible Layer" icon="list-check" href="/credible/evaluate-credible-layer">
    A quick checklist for dApps and networks.
  </Card>

  <Card title="Understand at a High Level" icon="compass" href="/credible/credible-layer-overview">
    Non-technical overview of how the Credible Layer prevents exploits.
  </Card>

  <Card title="Evaluate the Architecture" icon="gears" href="/credible/architecture-overview">
    Technical deep dive into system design, transaction flow, and integration requirements.
  </Card>

  <Card title="Integrate as a Protocol" icon="browser" href="/credible/dapp-integration">
    High-level adoption flow for protocol teams.
  </Card>

  <Card title="Browse Examples" icon="book" href="/assertions-book/assertions-book-intro">
    Explore assertion patterns and see how real-world hacks could have been prevented.
  </Card>

  <Card title="Integrate as a Network" icon="sitemap" href="/credible/network-integration">
    High-level integration for networks and sequencers.
  </Card>
</CardGroup>

## 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](https://t.me/phylax_credible_layer)
* Follow us on [X/Twitter](https://x.com/phylaxsystems)
* Explore our [GitHub](https://github.com/phylaxsystems)
* Visit the [Phylax Website](https://phylax.systems)

## Learn More

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

<iframe className="w-full aspect-video rounded-xl" src="https://www.youtube.com/embed/J7uPS1ruR04?si=GkQEASccP6BHoPGt" title="YouTube video player" frameBorder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" referrerPolicy="strict-origin-when-cross-origin" allowFullScreen />