# Product Overview

### Pascal Protocol - a **clearing layer for decentralised finance**

In traditional finance, **clearing** is what makes markets work. It’s the hidden engine that nets trades, manages margin, and ensures counterparties can trust the system.

But in DeFi, clearing has been an afterthought — fragmented, fragile, or missing altogether. Trading protocols optimize for liquidity, but they leave risk management to users. As leverage, volatility, and complexity grow, so does the systemic risk.

**Pascal exists to change that.** Pascal is the **clearing layer for decentralised finance** — a protocol designed to manage risk where it matters most: **at the core of the transaction flow**. It brings the **capital efficiency of traditional margin systems** together with the **transparency and composability of DeFi**.

It clears trades not just by matching buyers and sellers, but by offsetting exposures, netting portfolios, and enforcing logic-based collateral requirements — all on-chain, all deterministic, all verifiable.

This is **Pascal Wager’s:** If DeFi survives, clearing becomes its core infrastructure. If clearing becomes core, the protocol that gets it right doesn’t just win — it enables everything else to grow on top.

Pascal isn’t an exchange. It’s not a DEX. It’s not a competitor. It’s the **protocol layer that lets all of DeFi build faster, trade safer, and scale smarter**. Whether you’re a protocol, a trader, a DAO, or a developer — **Pascal clears the risk so you can build the future.**

### Core Beliefs that set Vision & Mission for Pascal

1. **Clearing is Core Infrastructure**\
   As DeFi matures, composability and capital efficiency aren't luxuries — they're prerequisites. Clearing should be treated as a shared service layer, not fragmented across protocols or hidden in black boxes.
2. **Logic Over Trust**\
   Pascal is governed by transparent, immutable smart contracts — not human discretion. Its clearing logic is verifiable and predictable, even under market stress.
3. **Capital Efficiency is Adoption**\
   Institutions and DAOs will not scale risk on-chain if every trade demands fully collateralized margin. Pascal enables portfolio-level margining and deterministic netting — making complex strategies viable.
4. **Risk Should Be Offset, Not Outsourced**\
   Pascal helps protocols, platforms, and applications mutualize risk across positions, rather than silo it within per-position margin buckets or rely on centralized intermediaries.
5. **Composability is Power**\
   Pascal is built to integrate — with DEXs, brokers, DAOs, wallets, structured products, and anything else DeFi builds. Every position cleared through Pascal strengthens the system.

### Step by Step: How Pascal Works

**1. Risk is Assessed Across the Entire Portfolio**\
Pascal uses a value-at-risk (VaR) based model to calculate potential exposure. Rather than treating each position in isolation, it evaluates correlated positions together — just like TradFi clearing houses.

**2. Collateral Requirements Are Netted**\
The protocol determines the minimum collateral needed to support the user’s full portfolio. This reduces overcollateralization and frees up capital for more trading.

**3. Smart Contracts Lock Only What’s Needed**\
The clearing engine then locks only the calculated margin via smart contracts — no more, no less. All enforcement is deterministic, transparent, and verifiable.

**4. Real-Time Risk Adjustments**\
Oracles feed in updated market data. Positions are re-evaluated in real time. If the risk profile changes, margin requirements update accordingly.

**5. Liquidations Are Protocol-Enforced**\
If a portfolio breaches its risk threshold, Pascal's liquidation bots initiate position unwinding via auction logic or pre-set fallback rules — automatically and fairly.

Pascal exists to bring **clear, transparent, and composable clearing infrastructure** to the decentralized economy. It’s not a trading venue. It’s not a frontend. It’s not a centralized counterparty hidden behind APIs. It’s the open, deterministic logic layer that makes everything else more robust.