Definition
Bay' al-ma'dum (بيع المعدوم) is the Shariah term for the prohibited "sale of what does not exist" or "sale of what is not possessed." Classical fiqh is emphatic: a seller cannot sell what they do not own at the time of contract. The Prophet ﷺ explicitly prohibited the sale of fruit before it appears on a tree, and the sale of any commodity before the seller has taken possession of it (Sahih Muslim 1532, Sahih Bukhari 2167).
The principle is closely related to qabd (possession): if the seller does not possess the asset, the basic ownership condition for a valid sale is missing.
Three categories where this matters in crypto
- Short-selling. Borrowing an asset to sell it, planning to buy it back later at a lower price, is the textbook bay' al-ma'dum case. The seller does not possess what they are selling. Most short-selling structures in crypto also involve a borrowing fee — adding a riba layer on top of the underlying ma'dum problem.
- Dated futures. A futures contract is, by design, an agreement to deliver an asset at a future date. At contract time, neither party may possess it. Modern cash-settled futures additionally never result in real delivery — the "asset" is never possessed at any point.
- Pre-mine and ICO commitments. Selling tokens that have not yet been minted, or selling tokens "to be issued at protocol launch," can fall under bay' al-ma'dum. AAOIFI working groups have flagged early-stage ICO sales as concerning when the token does not yet exist as a fungible economic instrument.
How HalalCrypto avoids the issue
The bot only places spot market orders or spot limit orders against existing on-chain assets that the customer's exchange has in deliverable inventory. Every buy is an immediate transfer of an existing asset; every sell is a transfer of an asset the customer's account holds at the moment of the order. There is no scenario in our trade flow where the customer (or HalalCrypto on their behalf) sells what they do not possess.
Spot trades are therefore not subject to the bay' al-ma'dum prohibition — possession exists at contract time on both sides.
Launch-screening implication
In a production screening system, bay' al-ma'dum is treated as a hard structural rule rather than a discretionary warning. It is not enough for an asset to be popular, liquid, or technologically useful. The trade path itself must prove that the asset exists, is deliverable, and is already controlled by the seller at the moment of sale. This is why HalalCrypto keeps the public onboarding language tied to spot execution and authenticated exchange accounts: customers should never be encouraged into a synthetic claim before the contract mechanics are known.