"Pengembangan Protokol Verifikasi Berbasis ZK-STARKs untuk Sistem Pembayaran Digital [VRA]"

Abstract

Sistem pembayaran digital modern menghadapi tantangan signifikan dalam menyeimbangkan privasi pengguna, keamanan transaksi, dan skalabilitas sistem. Penelitian ini mengusulkan pengembangan protokol verifikasi berbasis Zero-Knowledge Scalable Transparent Arguments of Knowledge (ZK-STARKs) untuk mengatasi tantangan tersebut. ZK-STARKs menawarkan keunggulan sebagai teknologi kriptografi yang tidak memerlukan trusted setup dan tahan terhadap ancaman komputasi kuantum. Melalui pendekatan metodologis yang komprehensif, penelitian ini merancang, mengimplementasikan, dan mengevaluasi protokol verifikasi berbasis ZK-STARKs yang dapat diintegrasikan ke dalam sistem pembayaran digital. Protokol yang dikembangkan memungkinkan verifikasi validitas transaksi tanpa mengungkapkan data sensitif pengguna, sekaligus mempertahankan kepatuhan terhadap persyaratan regulasi. Hasil pengujian menunjukkan bahwa protokol ini dapat meningkatkan privasi pengguna secara signifikan sambil mempertahankan performa yang dapat diterima dalam hal waktu verifikasi dan overhead komputasi. Dibandingkan dengan solusi verifikasi konvensional, protokol berbasis ZK-STARKs menunjukkan keunggulan dalam aspek privasi dan keamanan, dengan trade-off yang dapat diterima pada sisi kompleksitas implementasi. Penelitian ini memberikan kontribusi penting dalam pengembangan sistem pembayaran digital yang lebih aman dan menjaga privasi, serta membuka jalan bagi implementasi teknologi zero-knowledge proof dalam aplikasi finansial mainstream.