Penulis: Vitalik

Pengorganisasian & Terjemahan | RuoYan

Tautan asli: https://vitalik.eth.limo/general/2025/09/24/openness_and_verifiability.html

Pernyataan: Artikel ini adalah konten yang diteruskan, pembaca dapat memperoleh informasi lebih lanjut melalui tautan asli. Jika penulis memiliki keberatan terhadap bentuk penerusan, silakan hubungi kami, kami akan melakukan modifikasi sesuai permintaan penulis. Penerusan hanya untuk berbagi informasi, tidak membentuk saran investasi, tidak mewakili pandangan dan posisi Wu.

Tren terbesar abad ini dapat diringkas sebagai "internet telah menjadi kehidupan nyata". Dari email hingga komunikasi instan, dari keuangan digital hingga pelacakan kesehatan, hingga antarmuka otak-mesin yang akan datang, kehidupan sehari-hari kita sedang sepenuhnya didigitalisasi. Namun, digitalisasi ini membawa peluang dan risiko besar. Vitalik Buterin dalam artikel ini mendalami mengapa kita perlu mencapai keterbukaan dan verifikasi yang nyata di seluruh tumpukan teknologi (perangkat lunak, perangkat keras, dan bioteknologi), dan bagaimana membangun masa depan digital yang lebih aman, lebih bebas, dan lebih setara.

Internet adalah kehidupan nyata

Tren terbesar hingga saat ini di abad ini dapat diringkas sebagai "internet telah menjadi kehidupan nyata". Ini dimulai dengan email dan komunikasi instan. Percakapan pribadi yang dilakukan selama ribuan tahun dengan mulut, telinga, pena, dan kertas kini dijalankan di infrastruktur digital. Kemudian, kita menyambut keuangan digital—termasuk keuangan kripto dan digitalisasi keuangan tradisional itu sendiri. Selanjutnya adalah kesehatan kita: berkat smartphone, jam tangan pelacak kesehatan pribadi, dan data yang disimpulkan dari perilaku pembelian, berbagai informasi tentang tubuh kita sedang diproses melalui komputer dan jaringan komputer. Dalam dua puluh tahun ke depan, saya memperkirakan tren ini akan meresap ke berbagai bidang lain, termasuk berbagai proses pemerintah (akhirnya bahkan termasuk pemungutan suara), pemantauan indikator fisik dan biologis serta ancaman terhadap lingkungan publik, dan akhirnya, melalui antarmuka otak-mesin, bahkan pikiran kita sendiri.

Saya percaya tren ini tidak dapat dihindari; manfaatnya terlalu besar, dalam lingkungan global yang sangat kompetitif, peradaban yang menolak teknologi ini akan kehilangan daya saing terlebih dahulu, kemudian kehilangan kedaulatan. Namun, selain memberikan manfaat yang kuat, teknologi ini secara mendalam mempengaruhi dinamika kekuasaan di dalam dan antar negara.

Peradaban yang paling diuntungkan dari gelombang teknologi baru bukanlah peradaban yang mengkonsumsi teknologi, tetapi peradaban yang memproduksi teknologi. Rencana akses setara untuk platform terkunci dan API hanya dapat menyediakan sebagian kecil dari itu, dan akan gagal dalam kondisi yang melampaui "normal" yang ditentukan. Selain itu, masa depan ini melibatkan kepercayaan yang besar terhadap teknologi. Jika kepercayaan ini dilanggar (misalnya, melalui pintu belakang atau kegagalan keamanan), kita akan menghadapi masalah besar. Bahkan kemungkinan bahwa kepercayaan ini mungkin dilanggar akan memaksa orang untuk kembali ke model kepercayaan sosial yang secara eksklusif ("Apakah ini dibangun oleh orang yang saya percayai?"). Ini menciptakan insentif untuk menyebar ke atas: mereka yang memiliki kedaulatan adalah orang yang memutuskan keadaan pengecualian.

Menghindari masalah ini memerlukan teknologi dengan dua atribut yang saling terkait di seluruh tumpukan teknologi—perangkat lunak, perangkat keras, dan biologi: keterbukaan yang nyata (yaitu sumber terbuka, termasuk lisensi gratis) dan verifikasi (termasuk, idealnya, verifikasi langsung oleh pengguna akhir).

Internet adalah kehidupan nyata. Kami ingin itu menjadi utopia, bukan distopia.

Pentingnya keterbukaan dan verifikasi di bidang kesehatan

Kami melihat akibat dari akses yang tidak setara ke alat produksi teknologi selama pandemi COVID-19. Vaksin hanya diproduksi di beberapa negara, yang menyebabkan perbedaan besar dalam waktu akses vaksin di berbagai negara [1]. Negara-negara yang lebih kaya memperoleh vaksin terbaik pada tahun 2021, sementara negara lain mendapatkan vaksin berkualitas lebih rendah pada tahun 2022 atau 2023. Ada inisiatif yang berusaha memastikan akses setara [2], tetapi karena vaksin dirancang untuk bergantung pada proses manufaktur yang padat modal dan eksklusif yang hanya dapat dilakukan di beberapa tempat, inisiatif ini hanya dapat melakukan begitu banyak.

Situasi cakupan vaksin COVID-19 2021-2023

Masalah utama kedua vaksin adalah ketidaktransparanan [3] dalam sains dan strategi penyebaran [4], mencoba berpura-pura kepada publik bahwa mereka membawa risiko atau cacat nol secara harfiah, yang tidak benar, dan akhirnya sangat memperburuk [5] ketidakpercayaan [6]. Hari ini, ketidakpercayaan ini telah meningkat secara spiral, terasa seperti penolakan terhadap setengah abad sains.

Sebenarnya, kedua masalah ini dapat diselesaikan. Vaksin yang didanai oleh Balvi [7] seperti PopVax [8] memiliki biaya pengembangan lebih rendah, proses produksi yang lebih terbuka, mengurangi ketidaksetaraan akses, sekaligus memudahkan analisis dan verifikasi keamanan dan efektivitasnya. Kita dapat melangkah lebih jauh dalam merancang vaksin untuk verifikasi.

Masalah serupa juga berlaku untuk aspek digital bioteknologi. Ketika Anda berbicara dengan peneliti tentang umur panjang, hal pertama yang biasanya Anda dengar adalah masa depan kedokteran anti-penuaan bersifat personal dan berbasis data. Untuk mengetahui obat apa yang harus direkomendasikan kepada seseorang dan perubahan nutrisi apa yang harus dilakukan, Anda perlu memahami kondisi tubuh mereka saat ini. Jika bisa mengumpulkan dan memproses sejumlah besar data digital secara real-time, itu akan lebih efektif.

Internet adalah kehidupan nyata. Kami ingin itu menjadi utopia, bukan distopia.

Pikiran yang sama juga berlaku untuk bioteknologi defensif yang bertujuan mencegah risiko, seperti melawan epidemi. Semakin cepat epidemi terdeteksi, semakin besar kemungkinan untuk menghentikannya di sumbernya—meskipun jika tidak, setiap minggu memberi lebih banyak waktu untuk bersiap dan mulai merumuskan tanggapan. Selama epidemi, kemampuan untuk mengetahui di mana orang sakit sehingga tanggapan dapat diterapkan secara real-time memiliki nilai besar. Jika orang biasa yang terinfeksi epidemi mengetahuinya dan mengisolasi diri dalam satu jam, itu berarti penyebaran jauh lebih sedikit dibandingkan jika mereka berkeliling menularkan kepada orang lain selama tiga hari. Jika kita tahu lokasi 20% yang bertanggung jawab atas 80% penyebaran, memperbaiki kualitas udara di sana dapat memberikan keuntungan lebih lanjut. Semua ini memerlukan (i) banyak sensor, dan (ii) kemampuan sensor untuk berkomunikasi secara real-time untuk memberikan informasi kepada sistem lain.

Jika kita maju ke arah "fiksi ilmiah", kita akan menemui antarmuka otak-mesin yang dapat mewujudkan produktivitas besar, membantu orang memahami satu sama lain lebih baik melalui komunikasi telepati, dan membuka jalur yang lebih aman menuju AI yang sangat cerdas.

Jika infrastruktur pelacakan kesehatan (pribadi dan ruang) bersifat eksklusif, maka data secara default masuk ke tangan perusahaan besar. Perusahaan-perusahaan ini memiliki kemampuan untuk membangun berbagai aplikasi di atasnya, sementara yang lain tidak. Mereka mungkin menyediakan akses melalui API, tetapi akses API akan dibatasi dan digunakan untuk pemungutan sewa monopoli, dan dapat dicabut kapan saja. Ini berarti bahwa sejumlah kecil orang dan perusahaan mampu mengakses komponen terpenting di bidang teknologi utama abad ke-21, yang pada gilirannya membatasi siapa yang dapat mendapatkan manfaat ekonomi darinya.

Di sisi lain, jika data kesehatan pribadi ini tidak aman, peretas dapat memanfaatkan masalah kesehatan untuk memeras Anda, mengoptimalkan penetapan harga produk asuransi dan perawatan kesehatan untuk mengekstrak nilai dari Anda, dan jika data mencakup pelacakan lokasi, mereka tahu di mana menunggu untuk menculik Anda. Di arah lain, data lokasi Anda (sangat [9] sering diretas [10]) dapat digunakan untuk menyimpulkan informasi tentang kesehatan Anda. Jika BCI Anda diretas, itu berarti pelaku bermusuhan secara harfiah sedang membaca (atau lebih buruk, menulis) pikiran Anda. Ini bukan lagi fiksi ilmiah: lihat di sini [11] untuk memahami bagaimana serangan peretasan BCI dapat menyebabkan seseorang kehilangan kontrol gerakan.

Secara keseluruhan, manfaat besar, tetapi juga risiko signifikan: penekanan pada keterbukaan dan verifikasi sangat cocok untuk mengurangi risiko tersebut.

Pentingnya keterbukaan dan verifikasi dalam teknologi digital pribadi dan komersial

Awal bulan ini, saya harus mengisi dan menandatangani formulir yang diperlukan untuk fungsi hukum. Saat itu saya tidak berada di dalam negeri. Ada sistem tanda tangan elektronik negara, tetapi saya belum mengaturnya saat itu. Saya harus mencetak formulir, menandatangani, pergi ke DHL terdekat, menghabiskan banyak waktu mengisi formulir kertas, lalu membayar biaya formulir untuk mengirimkannya ke ujung dunia lain. Waktu yang dibutuhkan: setengah jam, biaya: 119 dolar. Pada hari yang sama, saya harus menandatangani transaksi (digital) untuk melakukan operasi di blockchain Ethereum. Waktu yang dibutuhkan: 5 detik, biaya: 0,10 dolar (adil untuk mengatakan, tanpa blockchain, tanda tangan bisa sepenuhnya gratis).

Kisah-kisah ini mudah ditemukan dalam tata kelola perusahaan atau nirlaba, manajemen kekayaan intelektual, dll. Dalam sepuluh tahun terakhir, Anda dapat menemukan sebagian besar bahan presentasi di semua perusahaan rintisan blockchain yang cukup besar. Selain itu, ada semua kasus penggunaan "melaksanakan otoritas pribadi secara digital": pembayaran dan keuangan.

Tentu saja, semua ini memiliki risiko besar: bagaimana jika perangkat lunak atau perangkat keras diretas? Ini adalah risiko yang diakui lebih awal di ruang kripto: blockchain adalah tanpa izin dan terdesentralisasi, jadi jika Anda kehilangan akses ke dana [12], tidak ada sumber daya, tidak ada "paman di langit" yang bisa dimintai bantuan. Bukan kunci Anda, bukan koin Anda. Untuk alasan ini, ruang kripto berpikir lebih awal tentang tanda tangan multi [13] dan dompet pemulihan sosial [14], serta dompet perangkat keras [15]. Namun, dalam kenyataannya, ada banyak situasi di mana kurangnya "paman di langit" yang terpercaya bukanlah pilihan ideologis, melainkan bagian yang melekat dari skenario. Sebenarnya, bahkan dalam keuangan tradisional, "paman di langit" tidak dapat melindungi sebagian besar orang: misalnya, hanya 4% korban penipuan yang mendapatkan kembali kerugian mereka [16]. Dalam kasus penggunaan yang melibatkan penyimpanan data pribadi, bahkan secara prinsip tidak mungkin untuk memulihkan kebocoran. Oleh karena itu, kita memerlukan verifikasi dan keamanan yang nyata—verifikasi dan keamanan perangkat lunak dan perangkat keras pada akhirnya.

Sebuah teknologi yang diusulkan untuk memeriksa apakah chip komputer diproduksi dengan benar

Penting untuk dicatat bahwa, dalam kasus perangkat keras, risiko yang kita coba cegah jauh melampaui "apakah pembuatnya jahat?". Sebaliknya, masalahnya adalah adanya banyak ketergantungan, sebagian besar bersifat tertutup, di mana kelalaian satu saja dapat menyebabkan hasil keamanan yang tidak dapat diterima. Makalah ini menunjukkan contoh terbaru [18] yang menunjukkan bagaimana pilihan mikroarsitektur dapat merusak ketahanan saluran samping dari desain yang dapat dibuktikan aman hanya dengan melihat perangkat lunak. Serangan seperti EUCLEAK [19] bergantung pada kerentanan yang lebih sulit ditemukan karena banyaknya komponen yang bersifat eksklusif. Model AI, jika dilatih pada perangkat keras yang terkompromi [20], dapat disisipkan pintu belakang saat pelatihan.

Masalah lain di antara semua situasi ini adalah kekurangan sistem yang tertutup dan terpusat, meskipun semuanya sepenuhnya aman. Sentralisasi menciptakan leverage yang berkelanjutan di antara individu, perusahaan, atau negara: jika infrastruktur inti Anda dibangun dan dikelola oleh perusahaan yang berpotensi tidak dapat dipercaya dari negara yang berpotensi tidak dapat dipercaya, Anda rentan terhadap tekanan (lihat Henry Farrell tentang senjata ketergantungan [21]). Ini adalah masalah yang ingin dipecahkan oleh kripto—tetapi itu ada di lebih banyak bidang daripada keuangan.

Pentingnya keterbukaan dan verifikasi dalam teknologi kewarganegaraan digital

Saya sering berbicara dengan berbagai orang yang mencoba menemukan bentuk pemerintahan yang lebih baik untuk berbagai situasi abad ke-21. Beberapa orang, seperti Audrey Tang [22], berusaha membawa sistem politik yang sudah berfungsi ke tingkat berikutnya, memberdayakan komunitas sumber terbuka lokal dan menggunakan mekanisme seperti dewan warga, undian, dan pemungutan suara kedua. Yang lain memulai dari awal: ini adalah konstitusi [23] yang baru-baru ini diajukan oleh beberapa ilmuwan politik kelahiran Rusia untuk Rusia, dengan perlindungan kebebasan individu dan otonomi lokal yang kuat, kecenderungan institusional yang kuat terhadap perdamaian dan penolakan terhadap agresi, serta peran demokrasi langsung yang belum pernah terjadi sebelumnya. Yang lain, seperti ekonom yang terlibat dalam pajak nilai tanah [24] atau penetapan harga kemacetan, berusaha memperbaiki ekonomi negara mereka.

Orang-orang yang berbeda mungkin memiliki tingkat antusiasme yang berbeda terhadap setiap ide. Tetapi mereka semua memiliki kesamaan, yaitu melibatkan partisipasi bandwidth tinggi, sehingga setiap implementasi yang realistis harus bersifat digital. Pena dan kertas dapat diterima untuk catatan dasar tentang siapa yang memiliki apa dan pemilihan yang diadakan setiap empat tahun, tetapi tidak untuk hal-hal yang meminta kita untuk memasukkan pada bandwidth atau frekuensi yang lebih tinggi.

Namun, secara historis, tingkat penerimaan peneliti keamanan terhadap gagasan seperti pemungutan suara elektronik berkisar dari skeptisisme hingga permusuhan. Ini adalah ringkasan yang baik [25] tentang kasus menentang pemungutan suara elektronik. Mengutip dokumen tersebut:

Pertama-tama, teknologi adalah "perangkat lunak kotak hitam", yang berarti publik tidak diizinkan mengakses perangkat lunak yang mengontrol mesin pemungutan suara. Sementara perusahaan melindungi perangkat lunak mereka untuk mencegah penipuan (dan mengalahkan kompetisi), hal ini juga membuat publik tidak tahu bagaimana perangkat lunak pemungutan suara bekerja. Manipulasi perangkat lunak oleh perusahaan untuk menghasilkan hasil yang menipu akan menjadi mudah. Selain itu, vendor yang menjual mesin saling bersaing, tidak ada jaminan bahwa mereka memproduksi mesin demi kepentingan terbaik pemilih dan keakuratan suara.

Ada banyak contoh nyata di dunia [26] yang menunjukkan bahwa skeptisisme ini adalah masuk akal.

Analisis kritis terhadap pemungutan suara elektronik Estonia tahun 2014 [27]

Argumen ini berlaku secara harfiah untuk semua situasi lainnya. Tetapi saya memprediksi bahwa seiring dengan kemajuan teknologi, respons "mari kita jangan lakukan sama sekali" akan menjadi semakin tidak realistis di banyak bidang. Dunia menjadi jauh lebih efisien dengan teknologi (baik baik atau buruk), saya memprediksi bahwa sistem yang tidak mengikuti tren ini akan semakin tidak relevan seiring dengan orang-orang yang menghindarinya. Oleh karena itu, kita membutuhkan alternatif: benar-benar melakukan hal-hal yang sulit, mencari tahu bagaimana membuat solusi teknis yang kompleks aman dan dapat diverifikasi.

Secara teoretis, "aman dan dapat diverifikasi" dan "sumber terbuka" adalah dua hal yang berbeda. Sesuatu yang bersifat eksklusif dan aman adalah mungkin: pesawat adalah teknologi yang sangat eksklusif, tetapi secara keseluruhan penerbangan komersial adalah cara perjalanan yang sangat aman [28]. Namun, apa yang tidak dapat dicapai oleh model eksklusif adalah pengetahuan bersama tentang keamanan—kemampuan untuk dipercaya oleh aktor yang saling tidak percaya.

Sistem kewarganegaraan seperti pemilihan adalah situasi di mana keamanan pengetahuan bersama sangat penting. Satu lagi adalah pengumpulan bukti di pengadilan. Baru-baru ini, di Massachusetts, sejumlah besar bukti pengujian napas ditentukan tidak sah [29] karena ditemukan bahwa informasi tentang kesalahan pengujian disembunyikan. Mengutip artikel tersebut:

Dan seterusnya, jadi semua hasil memiliki kesalahan? Tidak. Sebenarnya, dalam kebanyakan kasus, pengujian napas tidak memiliki masalah kalibrasi. Namun, karena penyelidik kemudian menemukan bahwa laboratorium kriminal negara menyembunyikan bukti, menunjukkan bahwa masalahnya lebih luas daripada yang mereka katakan, Hakim Frank Gaziano menulis bahwa semua hak proses yang adil para terdakwa ini telah dilanggar.

Proses yang adil di pengadilan pada dasarnya adalah bidang yang tidak hanya perlu adil dan akurat, tetapi juga memerlukan pengetahuan bersama yang adil dan akurat—karena jika tidak ada pengetahuan bersama, pengadilan dengan mudah dapat jatuh ke dalam spiral di mana orang-orang bertindak sendiri.

Selain verifikasi, keterbukaan itu sendiri juga memiliki manfaat inherent. Keterbukaan memungkinkan komunitas lokal untuk merancang sistem pemerintahan, identitas, dan kebutuhan lain dengan cara yang kompatibel dengan tujuan lokal. Jika sistem pemungutan suara bersifat eksklusif, maka negara (atau provinsi atau kota) yang ingin mencoba sistem baru akan menghadapi kesulitan yang lebih besar: mereka harus meyakinkan perusahaan untuk menerapkan aturan yang mereka sukai sebagai fungsi, atau mulai dari awal dan menyelesaikan semua pekerjaan untuk membuatnya aman. Ini menambah biaya tinggi pada inovasi sistem politik.

Di salah satu dari bidang ini, pendekatan etika peretasan yang lebih terbuka akan memberikan lebih banyak kekuasaan kepada pelaksana lokal, baik mereka bertindak sebagai individu atau sebagai bagian dari pemerintah atau perusahaan. Untuk memungkinkan ini, alat terbuka yang dibangun perlu tersedia secara luas, dan infrastruktur dan repositori kode perlu memiliki lisensi gratis untuk memungkinkan orang lain membangun di atasnya. Dalam hal mengurangi kesenjangan kekuasaan, copyleft sangat berharga [30].

Bidang terakhir teknologi kewarganegaraan yang penting dalam beberapa tahun mendatang adalah keamanan fisik. Kamera pengawas telah muncul di mana-mana dalam dua puluh tahun terakhir, menimbulkan banyak kekhawatiran tentang kebebasan sipil. Sayangnya, saya memprediksi bahwa munculnya perang drone baru-baru ini akan membuat "tidak melakukan keamanan berteknologi tinggi" menjadi pilihan yang tidak lagi layak. Bahkan jika hukum negara tidak melanggar kebebasan individu, jika negara tersebut tidak dapat melindungi Anda dari tindakan hukum yang dikenakan oleh negara lain (atau perusahaan atau individu yang nakal), itu juga tidak ada artinya. Drone membuat serangan semacam ini jauh lebih mudah. Oleh karena itu, kita perlu memiliki langkah-langkah, mungkin melibatkan banyak sistem dan sensor anti-drone [31].

Jika alat-alat ini bersifat eksklusif, pengumpulan data akan tidak transparan dan terpusat. Jika alat-alat ini bersifat terbuka dan dapat diverifikasi, maka kita memiliki kesempatan untuk mengadopsi pendekatan yang lebih baik: perangkat aman yang terbukti hanya mengeluarkan data terbatas dalam situasi terbatas dan menghapus sisanya. Kita bisa memiliki masa depan keamanan fisik yang terdigitalkan, lebih seperti anjing penjaga digital daripada penjara digital. Orang-orang dapat membayangkan dunia di mana perangkat pengawasan publik diminta untuk bersifat sumber terbuka dan dapat diverifikasi, di mana siapa pun memiliki hak hukum untuk secara acak memilih perangkat pengawasan publik dan membongkarnya untuk memverifikasinya. Klub komputer universitas dapat sering menggunakannya sebagai latihan pendidikan.

Cara sumber terbuka dan dapat diverifikasi

Kita tidak bisa menghindari penetrasi mendalam dari hal-hal komputer digital dalam semua aspek kehidupan (pribadi dan kolektif). Secara default, kita mungkin mendapatkan hal-hal komputer digital yang dibangun dan dijalankan oleh perusahaan terpusat, dioptimalkan untuk motivasi keuntungan sedikit orang, yang di belakangnya ada pintu belakang pemerintah negara tuan rumah, di mana sebagian besar dunia tidak dapat berpartisipasi dalam penciptaannya atau mengetahui apakah itu aman. Tetapi kita bisa berusaha menuju alternatif yang lebih baik. Bayangkan sebuah dunia:

· Anda memiliki perangkat elektronik pribadi yang aman—sesuatu yang memiliki fitur ponsel, keamanan dompet keras terenkripsi, dan tingkat keterverifikasiannya setara dengan jam tangan mekanis.

· Aplikasi pesan Anda semua terenkripsi, pola pesan dicampur, semua kode diverifikasi secara resmi. Anda dapat yakin bahwa komunikasi pribadi Anda benar-benar bersifat pribadi.

· Keuangan Anda adalah aset ERC20 yang distandarisasi (atau memposting hash dan bukti ke rantai untuk menjamin kebenaran) di dompet yang dikelola oleh perangkat elektronik pribadi Anda. Jika Anda kehilangan perangkat, mereka dapat dipulihkan melalui kombinasi perangkat lain yang Anda pilih, anggota keluarga, teman, atau perangkat lembaga (tidak harus pemerintah: jika siapa pun dapat melakukan ini, misalnya, gereja juga mungkin dapat menyediakannya).

· Ada infrastruktur berbasis Starlink versi sumber terbuka, sehingga kita mendapatkan koneksi global yang kuat tanpa bergantung pada sedikit pelaku individu.

· Anda memiliki perangkat yang menjalankan LLM berbasis sumber terbuka yang memindai aktivitas Anda, memberikan saran dan menyelesaikan tugas, serta memperingatkan Anda ketika Anda mungkin mendapatkan informasi yang salah atau melakukan kesalahan.

· Anda mengenakan perangkat pelacak kesehatan pribadi 24x7 yang juga bersifat sumber terbuka dan dapat diperiksa, memungkinkan Anda mendapatkan data dan memastikan tidak ada yang mengaksesnya tanpa izin Anda.

· Kami memiliki bentuk pemerintahan yang lebih maju, menggunakan undian, dewan warga, pemungutan suara kedua, serta kombinasi pemungutan suara demokratis yang cerdik untuk menetapkan tujuan, serta metode tertentu untuk memilih ide dari para ahli untuk menentukan bagaimana mencapai tujuan tersebut. Sebagai peserta, Anda dapat benar-benar yakin bahwa sistem sedang menerapkan aturan dengan cara yang Anda pahami.

· Ruang publik dilengkapi dengan perangkat pemantauan untuk melacak variabel biologis (seperti tingkat CO2 dan AQI, keberadaan penyakit yang ditularkan melalui udara, limbah). Namun, perangkat ini (serta kamera pemantauan dan drone pertahanan) bersifat sumber terbuka dan dapat diverifikasi, dengan sistem hukum yang memungkinkan publik untuk melakukan pemeriksaan acak terhadapnya.

· Ini adalah dunia di mana kita memiliki akses yang lebih aman, lebih bebas, dan lebih setara secara global daripada hari ini. Tetapi untuk mencapai dunia ini, diperlukan lebih banyak investasi dalam berbagai teknologi: bentuk kriptografi yang lebih maju. Saya menyebutnya ZK-SNARK kartu dewa Mesir kriptografi, enkripsi homomorfik penuh dan kebingungan yang begitu kuat, karena memungkinkan Anda menghitung program data secara arbitrer dalam lingkungan multipihak dan memberikan jaminan tentang output, sambil menjaga data dan perhitungan tetap pribadi. Ini mewujudkan aplikasi perlindungan privasi yang lebih kuat. Alat-alat yang berdekatan dengan kriptografi (seperti blockchain untuk memungkinkan aplikasi dengan jaminan kuat bahwa data tidak dimanipulasi dan pengguna tidak dikecualikan, serta privasi diferensial untuk menambahkan noise pada data untuk lebih melindungi privasi) juga berlaku di sini.

· Keamanan aplikasi dan tingkat pengguna. Aplikasi hanya aman jika jaminan keamanan yang mereka berikan benar-benar dapat dipahami dan diverifikasi oleh pengguna. Ini akan melibatkan membuat kerangka kerja perangkat lunak yang memudahkan untuk membangun aplikasi dengan atribut keamanan yang kuat. Penting juga bahwa ini melibatkan browser, sistem operasi, dan perantara lainnya (seperti LLM yang berjalan secara lokal) melakukan semua yang mereka bisa untuk memverifikasi aplikasi, menentukan tingkat risikonya, dan menyajikan informasi ini kepada pengguna.

· Verifikasi resmi. Kita dapat menggunakan metode pembuktian otomatis untuk memverifikasi program memenuhi atribut yang kita khawatirkan, seperti tidak membocorkan data atau tidak rentan terhadap modifikasi oleh pihak ketiga yang tidak sah. Lean baru-baru ini menjadi bahasa yang populer untuk ini. Teknologi ini telah mulai digunakan untuk memverifikasi algoritma pembuktian ZK-SNARK untuk mesin virtual Ethereum (EVM) dan penggunaan berisiko tinggi bernilai tinggi lainnya dalam kripto, serta penggunaan serupa di dunia yang lebih luas. Selain itu, kita perlu mencapai kemajuan lebih lanjut dalam praktik keamanan yang lebih sepele.

Pessimisme keamanan di tahun 2000-an itu salah: kerentanan (dan pintu belakang) bisa diatasi. Kita "hanya perlu" belajar menempatkan keamanan di atas tujuan persaingan lainnya.

· Sistem operasi yang bersifat sumber terbuka dan berorientasi keamanan. Semakin banyak dari ini mulai muncul: GrapheneOS sebagai versi berorientasi keamanan Android, kernel berorientasi keamanan minimal seperti Asterinas, HarmonyOS Huawei (dengan versi sumber terbuka) sedang menggunakan verifikasi resmi (saya memperkirakan banyak pembaca akan berpikir "jika itu Huawei, pasti ada pintu belakang", tetapi ini mengabaikan poinnya: selama itu terbuka, siapa pun dapat memverifikasinya, siapa yang memproduksinya seharusnya tidak penting. Ini adalah contoh bagus tentang bagaimana keterbukaan dan verifikasi dapat melawan fragmentasi global.)

Keamanan perangkat keras sumber terbuka. Jika Anda tidak dapat memastikan bahwa perangkat keras Anda benar-benar menjalankan perangkat lunak tersebut, dan tidak ada yang mengungkapkan data secara terpisah, maka tidak ada perangkat lunak yang aman. Dalam hal ini, dua tujuan jangka pendek yang paling menarik bagi saya:

· Perangkat elektronik pribadi yang aman—apa yang disebut dompet perangkat keras oleh orang blockchain, yang disebut ponsel aman oleh penggemar sumber terbuka, dan begitu Anda memahami kebutuhan akan keamanan dan utilitas, keduanya pada akhirnya akan menyatu menjadi satu hal.

· Infrastruktur fisik ruang publik—kunci pintar, perangkat pemantauan biologis yang saya gambarkan di atas, serta teknologi "internet of things" secara umum. Kita perlu dapat mempercayainya. Ini memerlukan keterbukaan dan verifikasi.

· Membangun rantai alat sumber terbuka untuk perangkat keras yang aman. Hari ini, desain perangkat keras tergantung pada serangkaian ketergantungan tertutup. Ini sangat meningkatkan biaya pembuatan perangkat keras dan membuat prosesnya lebih terlisensi. Ini juga membuat verifikasi perangkat keras menjadi tidak praktis: jika alat untuk menghasilkan desain chip bersifat tertutup, Anda tidak tahu apa yang sedang Anda verifikasi. Bahkan alat seperti rantai pemindaian yang ada saat ini sering kali tidak dapat digunakan dalam praktik karena terlalu banyak alat yang diperlukan bersifat tertutup. Semua ini dapat berubah.

· Verifikasi perangkat keras (seperti pemindaian IRIS dan X-ray). Kita perlu memiliki metode untuk memindai chip untuk memverifikasi bahwa mereka benar-benar memiliki logika yang seharusnya mereka miliki, dan tidak memiliki komponen tambahan yang memungkinkan bentuk manipulasi dan pengambilan data yang tidak diinginkan. Ini bisa dilakukan secara destruktif: auditor secara acak memesan produk yang mengandung chip komputer (menggunakan identitas yang tampak seperti pengguna akhir biasa), kemudian membongkar chip dan memverifikasi apakah logikanya cocok. Dengan menggunakan pemindaian IRIS atau X-ray, ini dapat dilakukan secara non-destruktif, memungkinkan setiap chip untuk dipindai.

Keterbukaan dan verifikasi di seluruh lapisan tumpukan teknologi sangat penting

Dari sini ke sana

Perbedaan kunci antara visi ini dan visi teknologi yang lebih "tradisional" adalah bahwa ini lebih ramah terhadap kedaulatan lokal dan pemberdayaan serta kebebasan individu. Keamanan bukanlah tentang mencari seluruh dunia dan memastikan tidak ada orang jahat di mana pun, tetapi tentang membuat dunia lebih tangguh di setiap level. Keterbukaan berarti keterbukaan untuk membangun dan meningkatkan setiap lapisan teknologi, bukan hanya API akses terbuka yang direncanakan secara sentral. Verifikasi bukanlah hak yang diperuntukkan bagi auditor yang mungkin berkolusi dengan perusahaan dan pemerintah yang meluncurkan teknologi—itu adalah hak rakyat dan hobi yang didorong secara sosial.

Saya percaya visi ini lebih tangguh dan lebih sesuai dengan abad ke-21 kita yang terpecah. Tetapi kita tidak memiliki waktu tak terbatas untuk menjalankan visi ini. Pendekatan yang lebih terpusat yang melibatkan pengumpulan data dan pintu belakang, yang sepenuhnya menyederhanakan verifikasi menjadi "apakah ini dibuat oleh pengembang atau produsen yang terpercaya?" sedang berkembang dengan cepat. Upaya terpusat yang benar-benar terbuka telah mencoba selama beberapa dekade. Itu mungkin dimulai dengan internet.org Facebook, dan akan terus berlanjut, setiap upaya lebih rumit daripada yang terakhir. Kita perlu bertindak cepat untuk bersaing dengan pendekatan ini dan menunjukkan kepada orang-orang dan lembaga bahwa solusi yang lebih baik adalah mungkin.

Jika kita dapat berhasil mewujudkan visi ini, cara lain untuk memahami dunia yang kita dapatkan adalah sebagai bentuk futurisme retro. Di satu sisi, kita mendapatkan manfaat dari teknologi yang lebih kuat, yang memungkinkan kita meningkatkan kesehatan, mengorganisir diri kita dengan cara yang lebih efisien dan fleksibel, serta melindungi diri kita dari ancaman baru dan lama. Di sisi lain, kita mendapatkan dunia yang mengembalikan atribut kedua alam setiap orang pada tahun 1900: infrastruktur yang gratis bagi orang-orang, dapat dibongkar, diverifikasi, dan dimodifikasi untuk memenuhi kebutuhan mereka sendiri, di mana siapa pun dapat berpartisipasi tidak hanya sebagai konsumen atau "pembuat aplikasi", tetapi di setiap lapisan tumpukan teknologi, siapa pun dapat yakin bahwa perangkat melakukan apa yang dikatakannya.

Merancang untuk verifikasi memiliki biaya: banyak optimasi perangkat keras dan perangkat lunak memberikan peningkatan kecepatan yang sangat dibutuhkan, tetapi dengan biaya membuat desain lebih sulit dipahami atau lebih rentan. Sumber terbuka membuat menghasilkan uang di bawah banyak model bisnis standar menjadi lebih menantang. Saya percaya kedua masalah ini telah dibesar-besarkan—tetapi ini bukan sesuatu yang akan diyakini dunia dalam semalam. Ini mengarah pada satu pertanyaan: apa tujuan jangka pendek yang realistis?

Saya akan memberikan satu jawaban: berusaha untuk mencapai tumpukan teknologi yang sepenuhnya sumber terbuka dan ramah verifikasi, untuk aplikasi yang sangat aman, non-kritis terhadap kinerja—termasuk konsumen serta lembaga, baik jarak jauh maupun tatap muka. Ini akan mencakup perangkat keras, perangkat lunak, dan biologi. Sebagian besar komputasi yang benar-benar memerlukan keamanan sebenarnya tidak memerlukan kecepatan yang benar-benar tinggi, bahkan dalam kasus di mana diperlukan, biasanya ada cara untuk menggabungkan komponen yang berkinerja tinggi tetapi tidak dapat dipercaya dan komponen yang dapat dipercaya tetapi tidak berkinerja tinggi [32], untuk mencapai tingkat kinerja dan kepercayaan yang tinggi untuk banyak aplikasi. Mencapai tingkat keamanan dan keterbukaan maksimum untuk segalanya tidak realistis. Namun, kita bisa memastikan bahwa atribut ini tersedia di bidang-bidang yang benar-benar penting.

Tautan dalam teks asli

[1] https://www.ucl.ac.uk/bartlett/news/2025/apr/new-research-finds-substantial-global-disparities-covid-19-vaccine-accessibility

[2] https://www.who.int/initiatives/act-accelerator/covax

[3] https://www.nytimes.com/2021/01/28/world/europe/vaccine-secret-contracts-prices.html

[4] https://jphe.amegroups.org/article/view/9331/html

[5] https://www.transparency.org/en/press/covid-19-vaccines-lack-of-transparency-trials-secretive-contracts-science-by-press-release-risk-success-of-global-response

[6] https://www.sciencedirect.com/science/article/pii/S0264410X24007217

[7] https://x.com/VitalikButerin/status/1567908552714616832

[8] https://popvax.com/

[9] https://www.nbcnews.com/tech/security/location-data-broker-gravy-analytics-was-seemingly-hacked-experts-say-rcna187038

[10] https://www.nytimes.com/interactive/2019/12/19/opinion/location-tracking-cell-phone.html

[11] https://www.sciencedirect.com/science/article/abs/pii/S0165027022002357

[12] https://bitcoinmagazine.com/culture/bitcoin-self-defense-part-i-wallet-protection-1368758841

[13] https://bitcoinmagazine.com/technical/multisig-future-bitcoin-1394686504

[14] https://vitalik.eth.limo/general/2021/01/11/recovery.html

[15] https://www.coinbase.com/en-sg/learn/crypto-basics/what-is-a-hardware-wallet

[16] https://www.gasa.org/post/global-state-of-scams-report-2024-1-trillion-stolen-in-12-months-gasa-feedzai#:~:text=Only%204%25%20of%20Victims%20Recover,more%20effective%20financial%20recovery%20processes.

[17] https://www.bunniestudios.com/blog/2023/infra-red-in-situ-iris-inspection-of-silicon/

[18] https://eprint.iacr.org/2024/574.pdf

[19] https://ninjalab.io/eucleak/

[20] https://arxiv.org/pdf/2304.08411

[21] https://www.brookings.edu/wp-content/uploads/2020/05/9780815738374_ch1.pdf

[22] https://6pack.care/manifesto

[23] https://www.igrec.io/constitution-project

[24] https://www.landisabigdeal.com/

[25] https://cs.stanford.edu/people/eroberts/cs181/projects/2006-07/electronic-voting/index_files/page0002.html

[26] https://apnews.com/article/f6876669cb6b4e4c9850844f8e015b4c

[27] https://jhalderm.com/pub/papers/ivoting-ccs14.pdf

[28] https://www.linkedin.com/pulse/beyond-intuition-why-flying-really-safer-than-driving-philip-mann-15tee

[29] https://www.wbur.org/news/2023/04/27/massachusetts-breathalyzer-court-ruling-newsletter

[30] https://vitalik.eth.limo/general/2025/07/07/copyleft.html

[31] https://www.robinradar.com/resources/10-counter-drone-technologies-to-detect-and-stop-drones-today

[32] https://vitalik.eth.limo/general/2024/09/02/gluecp.html