Use Case

Explanation

Code Example

Website

Blog

Phylax Documentation

General

Assertions Book

Credible Layer

Phylax STD

Community

Farcaster Rate Limits

We solve security so that crypto can win.

Introduction to Phylax

Introduction

Resource for assertion use cases and patterns

Introduction to Assertions

Overview of the precompiles made available for the Phylax Credible Layer

PhEVM Precompiles

Assert that an address of an implementation has changed

Implementation / Address Change

Assert if the owner of a contract has changed

Owner Change

Assert that a constant product is maintained in an AMM pool

Constant Product

Assert that the health factor of a lending protocol is above a certain threshold

Lending Health Factor

Assert that the sum of all positions is the same as the total supply reported by the protocol

Sum of all positions

Make sure that a timelock has been correctly triggered for governance actions

Timelock Verification

Assert that an oracle is working as expected

Oracle Validation

Make sure that the TWAP price doesn't deviate more than X% from the TWAP price.

TWAP Deviation

Make sure that the total shares are not more than the total assets

ERC4626 Assets to Shares

Make sure that deposit and withdraw are correct

ERC4626 Deposit and Withdraw

Make sure that the fee calculations are correct for the given protocol

Fee Calculations

Make sure that the price is within the tick range

Price Within Ticks

Make sure that the health factor is above the liquidation threshold

Liquidation Health Factor

Make sure that pool works as expected in panic state

Panic State Validation

Make sure that the balance increases after a harvest

Harvest Increases Balance

Make sure that the tokens borrowed are not more than the tokens deposited

Tokens Borrowed Invariant

Make sure that all tokens are drained from a contract

ERC20 Drain

Make sure that ether is not drained from a contract

Ether Drain

Farcaster Message Validity

Farcaster Unique Username

Make sure that a recovery address is valid

Farcaster Recovery Address Check

Make sure that a user cannot withdraw more than they should

Correct Withdraw

A collection of patterns that can be used to create assertions

A collection of previous hacks that could have been prevented with assertions

Ownership change of lending pools lead to drain

Introduction

Assertions

​Use Case

​Explanation

​Code Example

Use Case

Explanation

Code Example