MABRUR — DANA JAMAAH ADALAH AMANAH, BUKAN MODAL KERJA AGEN

Mabrur adalah kontrak real-world asset di Arbitrum One mainnet yang mengunci uang muka umrah setiap jamaah per pos (tiket, hotel, visa, ujrah), sehingga biro perjalanan hanya bisa membayar vendor berlisensi untuk jamaah itu sendiri, dan lewat tenggat siapa pun bisa mengembalikan sisa dana. Setiap jenis langkah demo, termasuk empat penolakan, punya transaksi publik di Arbiscan.

Coba langsung tanpa dompet: https://mabrur.edycu.dev

Jalur 30 detik untuk juri: https://mabrur.edycu.dev/judge

Pitch deck: https://mabrur.edycu.dev/pitch (PDF: https://mabrur.edycu.dev/Mabrur-pitch.pdf)

Proposal (PDF): https://mabrur.edycu.dev/Mabrur-proposal.pdf

Kode sumber: https://github.com/edycutjong/mabrur

Kontrak terverifikasi: https://arbiscan.io/address/0x36f1d899d9d4411b2DdfB60Dbbe989220336d2D5#code

INSPIRASI

Umrah dibayar di muka, sering berbulan-bulan sebelum berangkat, kepada biro perjalanan berizin (PPIU). Ketika biro memperlakukan dana itu sebagai modal kerja, setoran jamaah baru bisa berakhir membiayai keberangkatan jamaah lama sampai semuanya runtuh; pada First Travel pola ini diduga terjadi (detik, 24 Jul 2017). First Travel: 63.310 calon jamaah jadi korban, kerugian Rp 905 miliar (Kompas, 5 Jan 2023). Abu Tours: 86.720 jamaah, perkiraan Rp 1,8 triliun (Kompas, 29 Jan 2019). Sekitar 1,4 juta jamaah berangkat melalui PPIU pada 2024 (data SISKOPATUH via HIMPUH, sumber sekunder). Masalahnya bukan kurang aturan, tetapi dana yang tercampur dan tidak bisa diawasi sampai terlambat.

APA YANG DILAKUKAN

Mabrur menjadikan uang muka jamaah aset dunia nyata yang ia pegang sendiri: klaim atas layanan berizin yang tidak bisa dipindahtangankan mUMRAH), dipecah per pos TIKET · HOTEL · VISA · UJRAH.

1. Dana dipisah per jamaah — satu tanda tangan permit EIP-2612 + book(). Token mUMRAH tidak bisa ditransfer _update memblokir), jadi dana satu jamaah tidak pernah membiayai perjalanan jamaah lain.

2. Tidak ada yang memilih penerima — spend() membayar penanda tangan faktur EIP-712, dan hanya jika ia memegang klaim AIRLINE / HOTEL / VISA yang sah di ClaimRegistry (pola trusted-issuer + claim-topic ala ERC-3643, bukan implementasi penuh; pemiliknya kunci regulator, tidak pernah agen). Tidak ada kolom alamat yang bisa diisi agen dengan alamat direkturnya.

3. Ujrah setelah berangkat — ujrah agen (maksimal 20 %) hanya terbuka dengan tanda tangan Departure dari jamaah, atau dari maskapai berizin yang dibayar dari pos tiketnya.

4. Tiket lunas atau sisa dana kembali — faktur tiket harus melunasi seluruh pos tiket (tiket Rp 1 ditolak FlightNotFullyPaid). Jika tiket belum lunas sebelum batas tiket yang ditandatangani jamaah, atau setelah tanggal berangkat lewat, siapa pun (tetangga, LSM, regulator) bisa memanggil refund() dan setiap rupiah yang belum terpakai kembali ke jamaah. book menolak tanggal berangkat lebih dari 180 hari.

5. Regulator membaca langsung — regulatorView(agency) dan conservation() menunjukkan booking terbuka, kewajiban dari buku besar setoran − pembayaran yang independen, dan bahwa semua dana jamaah dijamin rupiah di dalam kontrak.

6. Tanpa kunci darurat — tidak ada owner, pause, atau jalur upgrade yang menyentuh saldo.

Aplikasi (ID/EN): buku amanah jamaah, konsol agen yang mendekode setiap penolakan kontrak (simulasi tanpa dompet), halaman tanda tangan vendor, dan panel regulator.

BUKTI ONCHAIN (ARBITRUM ONE, CHAIN ID 42161)

- MabrurPBM: https://arbiscan.io/address/0x36f1d899d9d4411b2DdfB60Dbbe989220336d2D5#code

- ClaimRegistry: https://arbiscan.io/address/0xd5B731CD0f2c91D5D64b59d9E4a2A4E4b6315ADb#code

- TIDR (token uji tanpa nilai): https://arbiscan.io/address/0x66F838be32A624f4C797483a151C7f6209A43448#code

Empat percobaan curang agen ditambang sebagai transaksi gagal, masing-masing dengan nama error:

- EarmarkMismatch (faktur hotel Ibu Siti dipakai pada booking lain): https://arbiscan.io/tx/0x9ed30e3802f988fb2219a08c9d184ab779da13d2afbc7f9314d0ab3fa0bbc316

- VendorClaimMissing (faktur ditandatangani direktur agen): https://arbiscan.io/tx/0x887d6b86d4361666b883edb9624efbd9bef0cdc6e4b0244149433d964beffa61

- InvoiceReplayed (faktur yang sudah dibayar dikirim ulang): https://arbiscan.io/tx/0x952f30adf9d7cc08982d8128c5e0de85a241d92a2d0e099799df6c7a75b9619a

- NotDeparted (agen menandatangani "keberangkatan" sendiri): https://arbiscan.io/tx/0xe4855ebd72f05a8756a814cc8fbfb963b18f70bdd16856130cff391e1df5291b

Pembayaran tiket Rp 14.000.000 ke penanda tangan: https://arbiscan.io/tx/0x7bb513e7aa166844f26b49c2b94deb2b70ca62904de5b8afdaf23b114ac10590

Refund Rp 23.000.000 ke Ibu Siti oleh pihak ketiga: https://arbiscan.io/tx/0x13b8a1335b64ebaaef1a2e22de87c91f4c13604d224e2f06a3dcf51ca3f78666

Biaya per jamaah dari receipt asli: siklus lengkap 907.185 gas ≈ Rp 809, siklus refund 582.938 gas ≈ Rp 520 (ETH/IDR 44.563.294, CoinGecko, 9 Okt 2026) — sekitar 0,0025 % dari paket Rp 32.000.000.

CARA KAMI MEMBANGUNNYA

- Kontrak — Solidity ^0.8.24 (dikompilasi dan diverifikasi dengan solc 0.8.33), OpenZeppelin 5.6.1 ERC20Wrapper, ERC20Permit, EIP712, ECDSA, ReentrancyGuard).

- Chain — Arbitrum One mainnet: biaya per jamaah di bawah Rp 1.000, verifikasi Arbiscan.

- Tooling — Foundry: unit, fuzz, invariant, dan skrip yang di-broadcast langsung ke mainnet (Setup, SeedDemo, DemoRun, DemoRefund, proof.sh, cost.sh).

- Aplikasi — Scaffold-ETH 2: Next.js App Router, wagmi + viem, RainbowKit; error kontrak didekode lewat simulateContract.

- Uang — tIDR, rupiah uji ERC20Permit tanpa nilai (decimals 0); wrapper menerima ERC-20 standar apa pun.

Quality & Security Engineering

- Kontrak: 87 tes menurut laporan forge test (86 unit/fuzz + suite invariant yang menjalankan 7 invariant × 256 run × kedalaman 100); cakupan baris · cabang · fungsi 100 % pada ketiga kontrak; tes regresi dinamai sesuai cacat yang dicegahnya.

- Frontend: tes unit Vitest dengan cakupan 100 % per file (ditegakkan di CI), E2E Playwright yang membaca Arbitrum One; Lighthouse aksesibilitas 100 di setiap halaman (docs/LIGHTHOUSE.md).

- Keamanan: CodeQL, Dependabot, gitleaks atas seluruh riwayat, secret scanning + push protection; 0 peringatan keamanan terbuka; 3 putaran review adversarial internal atas kontrak: putaran 1-2 menemukan 4 temuan Low (diperbaiki, dengan tes regresi), putaran 3 tanpa temuan baru (docs/AUDIT.md).

- CI/CD: GitHub Actions berlapis (kontrak, frontend Node 22/24, audit dependensi, build, E2E) → deploy otomatis ke Vercel + smoke check situs langsung.

- Bukti: script/proof.sh memutar ulang setiap revert yang ditambang dan mewajibkan nama error yang diharapkan; DEMO.md dibuat dari receipt broadcast yang di-commit.

TANTANGAN YANG KAMI HADAPI

- Celah "tiket Rp 1": tanpa aturan tambahan, pembayaran tiket sekecil apa pun bisa mematikan refund batas tiket. Kami mewajibkan faktur tiket melunasi seluruh pos tiket FlightNotFullyPaid) dan mengujinya.

- Registry penerbit klaim: review adversarial menemukan empat celah (penerbit menimpa klaim penerbit lain, penerbit yang ditambahkan ulang menghidupkan klaim lama, penyempitan topik, klaim kedaluwarsa yang memblokir). Diperbaiki dengan epoch per penerbit per topik, tes regresi, lalu redeploy dan verifikasi ulang di mainnet — putaran ketiga tanpa temuan baru (docs/AUDIT.md).

- Demo tanpa vm.warp: di chain publik waktu itu nyata. Kami membuat skrip SeedDemo yang bisa dijalankan ulang sebelum setiap sesi, sehingga batas tiket Ibu Siti lewat tepat saat refund dipertunjukkan, dan memperbaiki UI agar tombol refund muncul sendiri saat tenggat lewat tanpa memuat ulang halaman.

APA YANG KAMI PELAJARI

Kepercayaan pada dana jamaah tidak perlu dibangun dari janji agen; ia bisa ditegakkan di jalur transfer token. Begitu penerima uang adalah penanda tangan faktur yang terverifikasi dan refund tidak membutuhkan izin siapa pun, pola yang diduga terjadi pada First Travel tidak lagi bisa berjalan tanpa terlihat di chain.

APA SELANJUTNYA

- Jalur uang produksi: token rupiah berizin (deposito tertokenisasi bank atau Rupiah Digital) sebagai pengganti tIDR.

- DP lalu pelunasan dan ujrah bertahap, tetap dalam satu booking yang sama.

- Integrasi regulator: penerbit klaim dari Kemenhaj (Kementerian Haji dan Umrah) dan akreditor maskapai, serta pelaporan ke sistem pengawasan umrah.

BATASAN YANG JUJUR

tIDR adalah token uji tanpa nilai. Kunci penerbit klaim adalah kunci demo pengganti Kemenhaj (Kementerian Haji dan Umrah, pengawas PPIU sejak UU 14/2025 dan Permen Haji dan Umrah No. 2/2026) / IATA. Semua nama dalam demo fiktif ("PT Amanah Contoh Wisata", "PT Contoh GSA"). Mabrur tidak menjamin kursi; ia menjamin tiket lunas, atau setiap rupiah yang belum terpakai kembali.

Top 3 de Premios del Proyecto

Top 131 de Premios del Proyecto