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


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://docs.pascalprotocol.com/introduction-1/product-overview.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.