#dusk $DUSK @Dusk
Saya membaca perubahan teknik terbaru Dusk dan mengira bagian menariknya adalah peningkatan lain pada sistem pembuktian.
Namun, yang terus saya pikirkan justru sesuatu yang jauh kurang glamor: apa yang terjadi sebelum sebuah bukti bahkan diproses..
Salah satu perubahan terbaru terkait Plonk berfokus pada penolakan data prover yang rusak sejak lebih awal. Pada awalnya, itu terdengar seperti pembersihan rutin.
Tapi semakin saya memikirkannya, semakin jelas bahwa ini menjadi lebih penting.
Ada perbedaan antara merusak kriptografi dan memberi data buruk ke infrastruktur kriptografis.
Sebuah bukti bisa saja valid secara matematis, sementara data di sekelilingnya salah format saat diserialisasi atau strukturnya tidak sesuai dengan yang pernah diantisipasi oleh sistem. Jika masukan tersebut dibiarkan melangkah lebih dalam ke pipeline pembuktian, kegagalan akhirnya akan menjadi lebih sulit untuk diisolasi dan berpotensi lebih mahal untuk ditangani.
Jadi, peningkatan yang sesungguhnya tidak selalu soal matematika yang lebih kuat.
Ini tentang memindahkan titik penolakan lebih dekat ke sumbernya.
Itu penting secara operasional.
Dalam infrastruktur proving jaringan yang berjalan, sistem tidak dijalankan secara terisolasi. Sistem harus menangani input dari sisi serialisasi, decoding, jalur eksekusi memori, dan semua kasus tepi aneh yang muncul ketika perangkat lunak bertemu data dunia nyata.
Kriptografinya bisa saja sudah benar, sementara implementasi di sekelilingnya masih memiliki asumsi yang lemah.
Itulah mengapa saya merasa perubahan kecil seperti ini lebih mengungkap daripada pengumuman fitur.
Mereka menunjukkan di mana tim engineering menghabiskan waktu untuk mengurangi jumlah hal yang sistem bersedia proses secara membabi buta.
Bagi Dusk, saya pikir arah ini penting: bukan hanya membuktikan bahwa data valid bekerja, tetapi membuat data invalid gagal lebih cepat, lebih bersih, dan lebih dekat ke tempat kesalahan dimulai.
Lapisan validasi yang membosankan pada akhirnya mungkin akan memberi tahu kita lebih banyak tentang kesiapan produksi daripada kriptografi yang terlihat lebih menarik.
Saya membaca perubahan teknik terbaru Dusk dan mengira bagian menariknya adalah peningkatan lain pada sistem pembuktian.
Namun, yang terus saya pikirkan justru sesuatu yang jauh kurang glamor: apa yang terjadi sebelum sebuah bukti bahkan diproses..
Salah satu perubahan terbaru terkait Plonk berfokus pada penolakan data prover yang rusak sejak lebih awal. Pada awalnya, itu terdengar seperti pembersihan rutin.
Tapi semakin saya memikirkannya, semakin jelas bahwa ini menjadi lebih penting.
Ada perbedaan antara merusak kriptografi dan memberi data buruk ke infrastruktur kriptografis.
Sebuah bukti bisa saja valid secara matematis, sementara data di sekelilingnya salah format saat diserialisasi atau strukturnya tidak sesuai dengan yang pernah diantisipasi oleh sistem. Jika masukan tersebut dibiarkan melangkah lebih dalam ke pipeline pembuktian, kegagalan akhirnya akan menjadi lebih sulit untuk diisolasi dan berpotensi lebih mahal untuk ditangani.
Jadi, peningkatan yang sesungguhnya tidak selalu soal matematika yang lebih kuat.
Ini tentang memindahkan titik penolakan lebih dekat ke sumbernya.
Itu penting secara operasional.
Dalam infrastruktur proving jaringan yang berjalan, sistem tidak dijalankan secara terisolasi. Sistem harus menangani input dari sisi serialisasi, decoding, jalur eksekusi memori, dan semua kasus tepi aneh yang muncul ketika perangkat lunak bertemu data dunia nyata.
Kriptografinya bisa saja sudah benar, sementara implementasi di sekelilingnya masih memiliki asumsi yang lemah.
Itulah mengapa saya merasa perubahan kecil seperti ini lebih mengungkap daripada pengumuman fitur.
Mereka menunjukkan di mana tim engineering menghabiskan waktu untuk mengurangi jumlah hal yang sistem bersedia proses secara membabi buta.
Bagi Dusk, saya pikir arah ini penting: bukan hanya membuktikan bahwa data valid bekerja, tetapi membuat data invalid gagal lebih cepat, lebih bersih, dan lebih dekat ke tempat kesalahan dimulai.
Lapisan validasi yang membosankan pada akhirnya mungkin akan memberi tahu kita lebih banyak tentang kesiapan produksi daripada kriptografi yang terlihat lebih menarik.
