Tadi malam aku membuka lagi beberapa kode lama, duduk menonton terminal menjalankan pembuktian demi pembuktian dan lupa dengan kopi... kepikiran @Dusk.
Saat aku membaca SBA Consensus, aku justru lebih tertarik pada Blind Bid, Proof-of-Blind Bid, dan Private Leader Election daripada Privacy.
Block Generator ikut berperan dalam Non-interactive Sortition, sedangkan bid yang Confidential berada di balik Zero-Knowledge Proof.
Tidak ada Signaling.
Tidak ada Targeting.
Tidak ada Stake-Based Surveillance.
Tapi jujur saja, setelah debugging sendiri beberapa kali, aku jadi tidak mudah diyakinkan oleh kata “private”...
Aku melihat Prover, Verifier, Circuit Constraints, Polynomial Evaluation, dan dusk-plonk.
Misalkan 1.000 proof berhasil dilewati, setiap proof punya 4 Polynomial Evaluations yang perlu dicek, artinya ada 4.000 titik verifikasi.
Bagaimana jika ada sebuah Verification Gap yang tepat berada di tempat asumsi Keamanan yang paling penting?
Malicious Prover tidak perlu merusak seluruh sistem.
Ia hanya perlu celah yang cukup kecil agar Forged Proof bisa menyusup; lalu BlindBidProof, Sortition Correctness, dan Consensus Security berubah menjadi cerita yang berbeda.
Itulah yang paling aku takutkan tentang Cryptographic Implementation: Attack Surface kadang tidak seluas yang kita kira...
MEV Resistance benar-benar kuat.
Targeted-Attack Resistance juga sangat bernilai.
Tapi semakin sebuah Privacy Layer menyembunyikan diri dari pandangan pengguna, semakin aku menuntut Battle Testing yang benar-benar brutal—semakin berat Verifier harus dijalankan, dan Verification Correctness harus menjadi sesuatu yang nyaris obsesif.
OtterSec pernah tepat menyorot Polynomial Evaluations yang tidak dicek, dan itu membuatku mengubah cara pandang: sebuah protokol tidak dipercaya karena memakai PLONK, melainkan karena asumsi-asumsi di bawah PLONK sudah ditumbuk terus-menerus cukup lama dan masih berdiri.
Aku tetap suka arah yang DUSK ambil... hanya saja sekarang aku tidak lagi bertanya “seberapa banyak privasi yang kita dapat”.
Aku bertanya: berapa banyak pukulan yang sudah diambil oleh bagian yang tidak bisa kita lihat?
Kalau kamu harus memilih, apakah kamu akan mempercayai sebuah sistem karena desainnya paling indah, atau karena Verifier-nya sudah bertahan dari pengujian terburuk?
#dusk $DUSK @Dusk
Saat aku membaca SBA Consensus, aku justru lebih tertarik pada Blind Bid, Proof-of-Blind Bid, dan Private Leader Election daripada Privacy.
Block Generator ikut berperan dalam Non-interactive Sortition, sedangkan bid yang Confidential berada di balik Zero-Knowledge Proof.
Tidak ada Signaling.
Tidak ada Targeting.
Tidak ada Stake-Based Surveillance.
Tapi jujur saja, setelah debugging sendiri beberapa kali, aku jadi tidak mudah diyakinkan oleh kata “private”...
Aku melihat Prover, Verifier, Circuit Constraints, Polynomial Evaluation, dan dusk-plonk.
Misalkan 1.000 proof berhasil dilewati, setiap proof punya 4 Polynomial Evaluations yang perlu dicek, artinya ada 4.000 titik verifikasi.
Bagaimana jika ada sebuah Verification Gap yang tepat berada di tempat asumsi Keamanan yang paling penting?
Malicious Prover tidak perlu merusak seluruh sistem.
Ia hanya perlu celah yang cukup kecil agar Forged Proof bisa menyusup; lalu BlindBidProof, Sortition Correctness, dan Consensus Security berubah menjadi cerita yang berbeda.
Itulah yang paling aku takutkan tentang Cryptographic Implementation: Attack Surface kadang tidak seluas yang kita kira...
MEV Resistance benar-benar kuat.
Targeted-Attack Resistance juga sangat bernilai.
Tapi semakin sebuah Privacy Layer menyembunyikan diri dari pandangan pengguna, semakin aku menuntut Battle Testing yang benar-benar brutal—semakin berat Verifier harus dijalankan, dan Verification Correctness harus menjadi sesuatu yang nyaris obsesif.
OtterSec pernah tepat menyorot Polynomial Evaluations yang tidak dicek, dan itu membuatku mengubah cara pandang: sebuah protokol tidak dipercaya karena memakai PLONK, melainkan karena asumsi-asumsi di bawah PLONK sudah ditumbuk terus-menerus cukup lama dan masih berdiri.
Aku tetap suka arah yang DUSK ambil... hanya saja sekarang aku tidak lagi bertanya “seberapa banyak privasi yang kita dapat”.
Aku bertanya: berapa banyak pukulan yang sudah diambil oleh bagian yang tidak bisa kita lihat?
Kalau kamu harus memilih, apakah kamu akan mempercayai sebuah sistem karena desainnya paling indah, atau karena Verifier-nya sudah bertahan dari pengujian terburuk?
#dusk $DUSK @Dusk