Saya sudah menyelidiki pengembangan terbaru Dusk, dan satu detail terus mengganggu saya—dengan cara yang baik: pekerjaan performa @PLONK.
Penurunan waktu proving sebesar 58% memang mengesankan, tapi bukan angka yang membuat saya terperangah.
Melainkan cara mereka mencapainya.
Mencache data deterministik prover/verifier, melakukan batching untuk inversi dan istilah MSM, memparalelkan pekerjaan FFT yang independen, serta mengurangi alokasi berulang mendorong throughput proving hingga sekitar 2,4×.
Verifikasi membaik 44%, sementara kompilasi sirkuit menjadi 25% lebih cepat.
Tapi bagian pentingnya adalah apa yang tetap tidak tersentuh.
Matematika yang mendasari, transcript, dan format bukti tidak berubah.
Jadi ini terasa kurang seperti “Better Cryptography” dan lebih seperti menghapus upaya yang terbuang dari Kriptografi yang sudah bekerja.
Lalu saya melihat pengujian DuskEM × DuskDS dan menemukan tema yang serupa. Eksekusi dan model state yang berbeda sedang diuji di bawah beban kerja campuran.
Ini penting karena sistem jarang menjadi sulit saat setiap komponen berjalan sendiri. Gesekan biasanya muncul ketika mereka harus bekerja bersama.
Dan mungkin bagian itulah yang mulai paling saya pedulikan untuk jaringan privasi.
Kriptografi yang kuat dapat membangun privasi.
Tapi jika proving lambat, verifikasi mahal, atau eksekusi menjadi tidak terduga, pengguna tetap merasakan kerumitan.
Saya bisa saja keliru, tapi mungkin tantangan nyata Dusk bukanlah membuktikan bahwa privasi bekerja.
Melainkan membuat mesin di balik privasi cukup cepat sehingga tidak ada yang perlu memikirkannya.
#dusk @Dusk $DUSK
Penurunan waktu proving sebesar 58% memang mengesankan, tapi bukan angka yang membuat saya terperangah.
Melainkan cara mereka mencapainya.
Mencache data deterministik prover/verifier, melakukan batching untuk inversi dan istilah MSM, memparalelkan pekerjaan FFT yang independen, serta mengurangi alokasi berulang mendorong throughput proving hingga sekitar 2,4×.
Verifikasi membaik 44%, sementara kompilasi sirkuit menjadi 25% lebih cepat.
Tapi bagian pentingnya adalah apa yang tetap tidak tersentuh.
Matematika yang mendasari, transcript, dan format bukti tidak berubah.
Jadi ini terasa kurang seperti “Better Cryptography” dan lebih seperti menghapus upaya yang terbuang dari Kriptografi yang sudah bekerja.
Lalu saya melihat pengujian DuskEM × DuskDS dan menemukan tema yang serupa. Eksekusi dan model state yang berbeda sedang diuji di bawah beban kerja campuran.
Ini penting karena sistem jarang menjadi sulit saat setiap komponen berjalan sendiri. Gesekan biasanya muncul ketika mereka harus bekerja bersama.
Dan mungkin bagian itulah yang mulai paling saya pedulikan untuk jaringan privasi.
Kriptografi yang kuat dapat membangun privasi.
Tapi jika proving lambat, verifikasi mahal, atau eksekusi menjadi tidak terduga, pengguna tetap merasakan kerumitan.
Saya bisa saja keliru, tapi mungkin tantangan nyata Dusk bukanlah membuktikan bahwa privasi bekerja.
Melainkan membuat mesin di balik privasi cukup cepat sehingga tidak ada yang perlu memikirkannya.
#dusk @Dusk $DUSK
