RWA Tokenization Platform (D11)

A permissioned bond-unit lifecycle: identity registry with expiry, jurisdiction policy, holding limits, dual-party issuance, and reserved redemption settled against unique offchain receipt digests. Three-role on-chain acceptance passed on Base Sepolia.

Web3RWAComplianceTokenization

Live Demo Source Code

Key Results

48 contract tests plus Halmos/Echidna critical-property checks

7 contracts Sourcify exact-match verified on Base Sepolia

Three-role issuance/transfer/redemption workflow accepted on-chain

Read-only role-separation checks: 5 unauthorized calls rejected on-chain

Tech Stack

SolidityFoundryNext.jsHalmosEchidna