#dusk $DUSK habis semalam membaca ulang bagian whitepaper dusk tentang plonk dan ada sesuatu yang terpikir yang aku lewatkan...

dua kali pertama aku membacanya.
skema buktinya bukan sekadar menyembunyikan nilai; ia memisahkan apa yang dibuktikan dari apa yang diungkapkan. public input mengalir ke satu arah, yang privat tetap.

terkunci, dan verifier hanya belajar apakah pernyataannya benar.
ada tiga properti yang harus terpenuhi agar semuanya bermakna: completeness (kelengkapan), soundness (kekedapan), dan zero (nol).

knowledgeness (pengetahuan).
lewatkan satu saja dan klaim privasi langsung runtuh.
yang menarik adalah ini bukan ditempelkan ke fungsi transisi state setelah jadi.

ini bawaan dari rusk vm. setiap jalur eksekusi bisa membawa

bukti kebenaran tanpa mengekspos komputasinya sendiri.
aku belum bisa sepenuhnya memahami bagaimana biaya pembuatan bukti skalanya saat logika kontrak makin kompleks.

kompleks, memang. bagian itulah yang terus berputar di kepalaku.
penasaran apakah ada yang lain yang sudah menggali penyiapan verifier key di sini??

#dusk @Dusk $DUSK