menghabiskan waktu untuk memikirkan mengapa bitcoin membutuhkan banyak “mesin” kriptografi hanya untuk memeriksa bahwa sebuah pinjaman telah dibayar kembali.
bahasa skrip bitcoin tidak pernah dirancang untuk mengevaluasi logika kontrak yang sewenang-wenang, jadi tbv tidak bisa begitu saja meminta rantai untuk memverifikasi kondisi pelunasan secara langsung. sebagai gantinya, logikanya dihitung di luar rantai sebagai garbled circuit, dan bitcoin hanya pernah memastikan apakah bukti singkat tentang hasil komputasi tersebut valid atau tidak.
itu sebuah solusi alternatif, bukan fitur bawaan.
proses garbling menyembunyikan komputasi yang sebenarnya dari bitcoin sepenuhnya, artinya rantai tersebut menegakkan suatu hasil yang pada dasarnya tidak pernah benar-benar dipahaminya.
awal-awalnya, hal itu terasa seperti sesuatu yang aneh untuk diterima.
tetapi teknik cut-and-choose membuat pemalsuan rangkaian menjadi sangat mahal secara statistik tanpa perlu bitcoin menafsirkan logika yang mendasarinya.
jadi, kepercayaan bergeser dari membaca kontrak menjadi mempercayai metode konstruksi yang membuatnya.
itu asumsi yang secara bermakna berbeda dibandingkan jenis asumsi yang biasa dibuat oleh sebagian besar pengguna defi.
itu juga berarti mengaudit tbv bukan seperti mengaudit smart contract normal.
keahlian yang dibutuhkan benar-benar berbeda.
memverifikasi kebenaran di sini menuntut pemahaman desain protokol kriptografi, bukan sekadar membaca solidity atau meninjau baris per baris skrip bitcoin.
jadi, apakah menyembunyikan logika agar bitcoin bisa kompatibel dengannya justru membuat sistem lebih sulit untuk benar-benar diverifikasi?
@BabylonLabs_io
#baby $BABY
bahasa skrip bitcoin tidak pernah dirancang untuk mengevaluasi logika kontrak yang sewenang-wenang, jadi tbv tidak bisa begitu saja meminta rantai untuk memverifikasi kondisi pelunasan secara langsung. sebagai gantinya, logikanya dihitung di luar rantai sebagai garbled circuit, dan bitcoin hanya pernah memastikan apakah bukti singkat tentang hasil komputasi tersebut valid atau tidak.
itu sebuah solusi alternatif, bukan fitur bawaan.
proses garbling menyembunyikan komputasi yang sebenarnya dari bitcoin sepenuhnya, artinya rantai tersebut menegakkan suatu hasil yang pada dasarnya tidak pernah benar-benar dipahaminya.
awal-awalnya, hal itu terasa seperti sesuatu yang aneh untuk diterima.
tetapi teknik cut-and-choose membuat pemalsuan rangkaian menjadi sangat mahal secara statistik tanpa perlu bitcoin menafsirkan logika yang mendasarinya.
jadi, kepercayaan bergeser dari membaca kontrak menjadi mempercayai metode konstruksi yang membuatnya.
itu asumsi yang secara bermakna berbeda dibandingkan jenis asumsi yang biasa dibuat oleh sebagian besar pengguna defi.
itu juga berarti mengaudit tbv bukan seperti mengaudit smart contract normal.
keahlian yang dibutuhkan benar-benar berbeda.
memverifikasi kebenaran di sini menuntut pemahaman desain protokol kriptografi, bukan sekadar membaca solidity atau meninjau baris per baris skrip bitcoin.
jadi, apakah menyembunyikan logika agar bitcoin bisa kompatibel dengannya justru membuat sistem lebih sulit untuk benar-benar diverifikasi?
@BabylonLabs_io
#baby $BABY
