Deterministic Clearing Logic
Every margin requirement, risk calculation, and settlement process is governed by smart contracts. No human discretion. No black boxes. Just transparent, verifiable clearing.
Every margin requirement, risk calculation, and settlement process is governed by smart contracts. No human discretion. No black boxes. Just transparent, verifiable clearing.
Pascal uses advanced value-at-risk (VaR) models to calculate margin at the portfolio level. This allows significant capital efficiency:
Pascal is built as an open protocol. Any platform — whether a DEX, DAO, broker, or RWA exchange — can integrate it as their clearing backend.
Pascal runs in a dedicated Arbitrum Orbit environment optimized for speed and throughput.
Market data is streamed into Pascal via decentralized oracles. The protocol recalculates risk dynamically to ensure portfolios remain within bounds.
Each integrated platform can define its own eligible collateral types, margin haircut logic, and settlement tokens.
Pascal isn’t limited to one asset class or instrument. It supports clearing for:
Pascal’s smart contracts are open source. All margin logic, collateral flows, and liquidation actions are publicly traceable.
Pascal’s smart contracts are open source. All margin logic, collateral flows, and liquidation actions are publicly traceable.