Arsitektur Append-Only Ledger: Rahasia Integritas Finansial Sistem Pembayaran Modern

Salah satu kesalahan paling mahal dalam rekayasa perangkat lunak finansial adalah memperbarui saldo pengguna melalui satu perintah update sederhana. Pendekatan itu rentan terhadap kondisi balapan dan menghapus jejak audit yang justru paling dibutuhkan ketika terjadi sengketa.

Apa yang hilang ketika saldo ditimpa

Kolom saldo yang ditimpa hanya menyimpan satu fakta: nilainya sekarang. Ia tidak menyimpan bagaimana nilai itu terbentuk. Ketika pengguna mengklaim seharusnya menerima lebih banyak, tidak ada apa pun untuk diperiksa.

Ledger append-only membalik hubungan ini. Setiap mutasi dana dicatat sebagai baris yang tidak pernah diubah atau dihapus, dan saldo dihitung sebagai agregasi deterministik dari seluruh mutasi yang valid. Saldo menjadi kesimpulan, bukan sumber kebenaran.

Koreksi tanpa penghapusan

Pertanyaan yang selalu muncul: bagaimana memperbaiki entri yang salah jika tidak boleh dihapus? Jawabannya sama dengan yang dipakai akuntansi selama berabad-abad — dengan entri pembalik. Kesalahan dan koreksinya sama-sama tercatat, dan catatan menunjukkan dengan jujur bahwa kesalahan pernah terjadi lalu diperbaiki.

Akuntansi double-entry menambahkan pengaman berikutnya: setiap transaksi menyentuh setidaknya dua akun, dan jumlah seluruh mutasi harus selalu nol. Uang tidak pernah muncul atau lenyap, hanya berpindah. Pemeriksaan sederhana ini menangkap sebagian besar galat logika sebelum sempat merugikan.

Uang bukan bilangan pecahan

Merepresentasikan nilai uang dengan bilangan pecahan floating-point adalah kesalahan yang selalu terungkap terlambat. Bilangan floating-point biner tidak dapat merepresentasikan nilai seperti 0,10 secara persis, dan galat sekecil apa pun akan terakumulasi di seluruh basis pengguna.

Gunakan bilangan bulat dalam satuan terkecil — sen, atau mikro-unit untuk presisi lebih tinggi. Pembulatan kemudian menjadi keputusan yang eksplisit dan tercatat, bukan sesuatu yang terjadi diam-diam di dalam prosesor.

Menjaga agar tetap benar

Menghitung ulang seluruh ledger pada setiap pembacaan tidak praktis pada volume besar, sehingga saldo biasanya disimpan sebagai nilai turunan yang di-cache. Kuncinya adalah memperlakukannya persis sebagai cache: pekerjaan berkala harus menghitung ulang dari ledger dan membandingkan, lalu membunyikan alarm pada selisih sekecil apa pun.

Pemeriksaan itulah yang membedakan sistem yang benar dari sistem yang kebetulan belum ketahuan salah. Integritas data adalah aset termahal dalam bisnis digital, dan ledger yang disiplin adalah fondasi kepercayaan pengguna.