Phylax was founded in the aftermath of the $200mm Nomad hack and is backed by $4.5mm from Nascent, Figment Capital, Robot Ventures, and other leading investors and angels.
Adoption requires trust, and trust requires security.
The Credible Layer is a network extension that enables apps to define security rules and prevents transactions from violating them. These rules—called assertions—are defined in Solidity, executed off-chain, and enforced on-chain.
- Define rules in Solidity — Write assertions that specify states your protocol should never reach. No contract modifications required.
- Network validation — The network checks each transaction against your assertions before block inclusion.
- Transaction blocking — Violating transactions are dropped and never execute.
- Pre-execution prevention — Exploits are blocked before they execute, not detected after
- No contract changes — Protect any contract, including immutable ones
- Transparent & verifiable — All rules are public Solidity code, auditable by anyone
- Zero false positives — Binary enforcement based on rules, not probabilistic methods
| Repository | Description |
|---|---|
| pcl | CLI tool for testing, authenticating, storing and submitting assertions |
| phoundry | Modified Foundry with Credible Layer support—a drop-in replacement for dapp and seth |
| credible-layer-dapp | Web interface for viewing and managing Phylax projects and assertions |
| Repository | Description |
|---|---|
| credible-std | Standard library providing utilities and cheatcodes for writing assertions |
| credible-sdk | SDK for integrating with the Credible Layer |
| Repository | Description |
|---|---|
| credible-layer-contracts | On-chain smart contracts for the Credible Layer |
| assertion-da | Data availability layer for storing and serving assertions via JSON-RPC |
| assertion-executor | Executor responsible for validating assertions against transactions |
| Repository | Description |
|---|---|
| credible-layer-starter | Starter templates that work out of the box |
| assertion-examples | Collection of assertion examples including real-world hacks that could have been prevented |
Install the CLI and write your first assertion in minutes:
# Install pcl via Homebrew
brew install phylaxsystems/pcl/pclVisit our documentation for comprehensive guides on writing assertions, testing, and deployment.