A16z merilis sistem pemungutan suara anonim untuk Ethereum

Dana modal ventura Andreessen Horowitz, juga dikenal sebagai A16z, telah merilis perpustakaan Soliditas yang dapat digunakan untuk pemungutan suara anonim di Ethereum. Disebut "Cicada," perpustakaan mencegah pilihan pemilih individu diketahui sebelum jajak pendapat berakhir. Ketika dikombinasikan dengan sistem keanggotaan grup tanpa pengetahuan seperti Semaphore, itu juga dapat membuat identitas pemilih tidak dapat diketahui secara permanen, menurut posting blog 24 Mei dari insinyur A16z Michael Zhu.

Bersemangat untuk mengumumkan Cicada: blok bangunan baru untuk voting on-chain pribadi. https://t.co/hxE4KL4Se6

— moodle zoup (@moodlezoup) 24 Mei 2023

Cicada bergantung pada teka-teki kunci waktu, sejenis kriptografi yang memungkinkan pengguna untuk mengenkripsi nilai rahasia yang hanya dapat didekripsi setelah periode waktu tertentu berlalu, kata Zhu.

Teka-teki ini telah ada sejak tahun 1996. Namun sebelum tahun 2019, mereka akan meminta pengguna untuk mengungkapkan nilai rahasia mereka setelah jangka waktu tersebut berlalu. Dalam sistem pemungutan suara, hal ini dapat menyebabkan masalah dengan pengguna yang mengirimkan suara dan kemudian offline, mencegah semua suara dihitung.

Pada tahun 2019, konsep teka-teki kunci waktu "homomorfik" diusulkan oleh kriptografer Giulio Malavolta dan Aravind Thyagarajan. Ini memungkinkan teka-teki untuk ditambahkan bersama untuk menghasilkan teka-teki akhir yang jauh lebih mudah dipecahkan daripada jumlah teka-teki individu. Solusi untuk teka-teki terakhir hanya mengungkapkan jumlah dari nilai-nilai individu tanpa mengungkapkan nilai-nilai individu yang membentuk jumlah ini.

Menurut postingan A16z, Cicada menggunakan teka-teki homomorfik ini, memungkinkan suara dihitung meskipun pengguna sedang offline.

Saat mencoba mentransfer sistem Malavolta dan Thyagarajan ke blockchain, peneliti A16z mengalami kendala untuk menciptakan sistem pemungutan suara yang adil: Setiap pilihan harus dikodekan sebagai nilai boolean "1" atau "0". Ini berarti bahwa penyerang dapat mencoba untuk meningkatkan kekuatan voting mereka dengan salah menyandikan suara — dengan mengkodekan “100” sebagai nilainya, misalnya.

Untuk mengatasi masalah ini, Cicada mewajibkan pemilih untuk menyerahkan bukti validitas surat suara tanpa pengetahuan bersama dengan setiap surat suara, kata postingan itu. Buktinya, suara itu dikodekan dengan benar, tetapi tanpa mengungkapkan isi suara.

Terkait: Anchorage Digital membuka pemungutan suara DeFi untuk klien hak asuh

Cicada hanya mencegah suara diketahui saat pemungutan suara dilakukan. Setelah "jajak pendapat ditutup" atau periode kunci waktu telah berlalu, siapa pun dapat menentukan isi suara dengan memaksakan solusi teka-teki. Namun, A16z menyarankan bahwa masalah ini dapat diselesaikan dengan menggabungkan Cicada dengan sistem keanggotaan kelompok tanpa pengetahuan seperti Semaphore, Semacaulk, atau pembuktian keadaan tanpa pengetahuan. Dalam kasus ini, pemaksaan teka-teki secara kasar hanya akan mengungkapkan bahwa suara diberikan oleh pemilih yang memenuhi syarat tetapi tidak akan mengungkapkan kredensial yang digunakan untuk membuktikan kelayakan pemilih.

Sebagai contoh, Zhu memberikan tautan ke contoh kontrak yang dibuat menggunakan Cicada yang juga mengandalkan Semaphore untuk membuktikan kelayakan pemilih.

Sistem pemungutan suara telah lama menjadi komponen organisasi otonom terdesentralisasi (DAO), badan pengatur yang sering mengelola aplikasi blockchain. Tetapi dalam kebanyakan kasus, DAO menggunakan token untuk mewakili suara, yang berarti bahwa pengguna individu dapat memiliki pengaruh yang sangat besar jika mereka memiliki banyak token. Misalnya, pada tanggal 22 Mei, seorang penyerang menguasai Tornado Cash dengan memberikan suara ekstra pada proposal jahat, menggunakannya untuk menguras semua dana kontrak tata kelola. Penyerang kemudian menawarkan untuk memberikan kembali kendali kepada pengguna.

Pendiri Waves Sasha Ivanov berpendapat bahwa DAO harus pindah ke sistem pemungutan suara yang lebih demokratis jika serangan tata kelola seperti ini ingin dihindari.