Skip to main content
ZadFi

TESTNET ONLY - Sepolia Testnet

Project Status

Latest test/build snapshot: July 13, 2026

Sepolia testnet only

Smart contracts are deployed on Sepolia. Foundry tests, frontend unit tests, production build, and type-checking are current. The formal verification panel below is generated from the current proof inventory and the latest wrapper snapshot. Mainnet is not live yet.

Mainnet is not live yet.

Smart Contracts

PASSING

Tests

493/493

Contracts

4

Formal Proofs

Current snapshot

  • ✓ MurabahaContract - P2P financing
  • ✓ MurabahaFactory - Offer/request marketplace
  • ✓ CollateralWhitelist - Shariah governance
  • ✓ ShariahCouncil - Scholar attestation

Formal Verification

VERIFIED

Verified Rules

Current snapshot

Specs

Current snapshot

Proven Invariants

27/35

Open Properties

0

Proof status update: July 1, 2026

Last wrapper snapshot: April 18, 2026

  • ✓ MurabahaContract now directly proves delinquency and exact grace-boundary behavior
  • ✓ Factory model proofs now cover whitelist revalidation at accept and fund time
  • ✓ Factory model proofs now cover distinct-token constraints across asset, payment, and collateral
  • ✓ If the wrapper-generated formal snapshot lags, the docs remain the authoritative proof record

Frontend

PASSING

Unit Tests

313/313

API Routes

11

Pages

10

  • ✓ Homepage with features and FAQ
  • ✓ Marketplace for offers/requests
  • ✓ Dashboard for contracts
  • ✓ Documentation, FAQ, Roadmap, Status

Security

HARDENED
  • ✓ Input validation (Zod schemas)
  • ✓ Abuse protection
  • ✓ Wallet signature authentication
  • ✓ CORS protection
  • ✓ SQL injection protection
  • ✓ BigInt serialization
  • ✓ Connection pooling

Deployment

TESTNET

Current Sepolia deployment

Protocol release

v22

Factory version

v2

Deployment block

11265571

Factory address: 0xc7f76a83d12e10a48faa411b46910e37b44db449

Fee safety: The samsarah fee is a fixed per-token ujrah. The interface reads the current on-chain value, requests its payment-token allowance separately, and signs a maximum fee cap with the match transaction.

NetworkStatus
Anvil Local✓ Deployed
Sepolia Testnet✓ Deployed
Ethereum Mainnet○ After testnet