arXiv preprint ·

Tokenised Sukuk: A Verifiable Architecture for Asset Evidence and Programmable Shariah Compliance

Rischan Mafrur, Khadijah and Gun Gun Febrianza

Published
Source
arXiv preprint, posted before peer review
Original
Read it at arXiv
Topics
Computational Finance

Abstract

Security-token standards such as ERC-3643 decide who may hold a token, not what stands behind it. For a sukuk this gap matters: whether a certificate may trade at a negotiated price depends on what its portfolio contains, and a token that checks only investor identity keeps trading after every non-debt asset has been sold. We ask whether this tradability condition can be enforced on-chain, and at what cost. We encode the tradability conditions of the 2023 resolution of the Shariah Advisory Council of the Securities Commission Malaysia on Sukuk Wakalah bi al-Istithmar as issuance and transfer policies that read EIP-712 claims, signed by separate institutional roles, about each asset's rights, valuation, encumbrance and Shariah classification and about the allocation of proceeds. Across 26 scenarios that we constructed on a synthetic instrument, an identity-only baseline wrongly allowed 13 operations that the encoded policy denies, and asset evidence without the Shariah rule still allowed 6. The full policy matched every expected outcome and added 35,834 gas (71.0%) per transfer, independent of portfolio size. Our evaluation also exposes a trade-off that the constructed scenarios had missed. Checking the continuing condition through a single nominated asset keeps the cost of a transfer constant but can block trades the ruling allows, and a bounded fallback scan narrows this gap at about 12,050 gas per scanned asset. Our results indicate that Shariah tradability conditions can be enforced on-chain against attributable asset evidence, and that the way a ruling is encoded shapes which lawful trades a token permits. GitHub repo: https://github.com/rischanlab/tokenized_sukuk

The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.

Read it on ReadSearch

Each opens after you create an account, and brings you back to this paper.

Already a reader? Sign in

All new papers in Computational Finance

Get the few papers worth your time in Computational Finance every morning.

ReadSearch reads the new papers in your field each day and brings you the few worth reading, each with its key finding in a sentence.

Papers belong to their authors and publishers; every page here links to the original. All research topics