Testnet Live — Arbitrum Sepolia
Baraka

The World's First
Islamic Financial Protocol

Four Shariah-compliant financial products on one protocol — perpetual futures, sukuk, takaful insurance, and credit default swaps — all powered by a single mathematical engine with ι = 0.

No riba. No gharar. No maysir. Proven in Ackerer, Hugonnier & Jermann (2025, Mathematical Finance).

Open TradeShariah Proof
0
Interest Parameter (ι)
Proven — Ackerer et al. (2025)
21
Smart Contracts
All verified on Arbiscan
759/759
Tests Passing
21-pass audit, 302 findings fixed
7
SSRN Papers
Peer-reviewed research

PROTOCOL SUITE

Four Products. One Framework.

Every product uses the same ι = 0 everlasting option formula — no interest rate anywhere in the stack.

Layer 1
Live Testnet

Perpetual Futures DEX

World's first mathematically-proven halal perpetual futures exchange. On-chain CLOB with cross-margin subaccounts. Funding formula with ι = 0 — no interest floor, no riba. Max 5× leverage enforced immutably.

ι = 0 from Theorem 3On-chain CLOB (price-time priority)Max 5× leverage — immutableCross-margin subaccounts
MatchingEngine.sol
Layer 2
Testnet

Perpetual Sukuk

Shariah-compliant sukuk with embedded everlasting call option. Investors subscribe at par, receive periodic ijarah-style profit, plus call upside at maturity.

Embedded everlasting call (Prop. 6)Periodic profit — ijarah structurePrincipal guaranteed by collateralAAOIFI Std. 17 compliant
PerpetualSukuk.sol
Layer 3
Testnet

Takaful — Mutual Insurance

On-chain takaful pool priced with the everlasting put. Tabarru contribution is actuarially fair. 10% wakala fee to operator per AAOIFI Std. 26.

Fair tabarru via Ackerer Prop. 610% wakala — AAOIFI compliantKeeper-controlled claimsSurplus to charity
TakafulPool.sol
Layer 4
Testnet

iCDS — Islamic Credit Default Swaps

First Shariah-compliant CDS. Protection seller deposits full notional — no naked positions. Premium is dynamic and market-implied, not a fixed riba rate.

Dynamic put-priced premiumFull collateral requiredOn-chain oracle breach triggerQuarterly settlement cycle
iCDS.sol

CORE MATHEMATICS

Proposition 6 — Ackerer, Hugonnier & Jermann (2025, Mathematical Finance)
F = (Mark − Index) / Index
Π(x,K) = [K1−β / denom] · xβ
ι = 0— no interest term

One formula — zero interest — powers perpetual futures, sukuk, takaful, and credit protection. The interest parameter ι is mathematically separable from convergence (t = 59.95, p < 10−300).

PROTOCOL INFRASTRUCTURE

The Foundation

Everlasting Option Engine

The mathematical core powering all 4 layers. Implements Ackerer Proposition 6 at ι = 0. One formula prices everything — tabarru, sukuk upside, CDS premium — without any interest rate.

κ-Signal Oracle

Real-time convergence intensity signal replacing the interest rate r. Riba-free, market-implied, on-chain observable. Foundation for all credit pricing across Layers 2–4.

Governance Token (BRKX)

100M fixed supply. Hold-based fee discounts from 5 bps to 2.5 bps. Governance votes weighted by balance. No lock-up required.

Shariah Registry

On-chain enforcement of Islamic finance rules. MAX_LEVERAGE = 5 is an immutable constant. Asset whitelist requires dual approval: DAO + Shariah board multisig.

SHARIAH COMPLIANCE

Every Prohibition Addressed

Riba (Interest)
ربا
ι = 0 hardcoded — no interest term anywhere in the protocol stack
Gharar (Uncertainty)
غرر
Credit events are verifiable on-chain oracle breaches — no committee ambiguity
Maysir (Gambling)
ميسر
Max 5× leverage is immutable. CDS sellers must post full notional collateral
Qabdh (Possession)
قبض
USDC, PAXG, XAUT — real-asset backed collateral. No rehypothecation

ACADEMIC RESEARCH

7 Papers. All on SSRN.

Every design decision is grounded in peer-reviewed mathematics — all published and citable.

Paper 1SSRN 6322778↗

The Interest Parameter in Perpetual Futures

40,218 funding intervals — ι=0 is mathematically separable from convergence (t = 59.95, p < 10⁻³⁰⁰)

Paper 2SSRN 6322858↗

From Perpetual Contracts to Islamic Credit

Stopping time θ_t ≡ credit event τ at ι=0 — enables riba-free pricing across sukuk, takaful, and credit

Paper 2ASSRN 6322938↗

The κ-Yield Curve from Sovereign Sukuk Data

8,232 observations across 7 GCC & SE Asian markets — κ outperforms SOFR benchmark by 13.4%

Paper 2BSSRN 6323459↗

κ-Rate Stochastic Hazard: Agricultural Takaful

Model κ̂ = 12.06% matches India PMFBY rate exactly. Riba loading = 7.4% at 8% discount rate

Paper 2CSSRN 6323519↗

Islamic CDS on Smart-Contract Infrastructure

Mean riba premium 109 bps across 1,176 country-periods. Full lifecycle costs $0.14 on Arbitrum

Paper 3SSRN 6323618↗

Integrated Simulation Framework for DeFi

0 insolvency events, Nash leverage 2.72×–3.28× (below 5× cap), net transfer ≈ $0 confirming ι=0

Start Trading — Halal, Proven, On-Chain

Baraka Protocol is live on Arbitrum Sepolia testnet. Connect your wallet and open your first Shariah-compliant perpetual position.

Open TradeRead the ProofGitHub