Mengapa kertas adalah jangkar penghitungan yang tepercaya
Tanyakan kepada seorang pakar keamanan satu hal terpenting yang dapat dilakukan pemilu agar tepercaya, dan jawabannya biasanya satu kata: kertas. Bukan karena kertas kuno atau bernuansa nostalgia, melainkan karena kertas adalah satu-satunya bagian dari sistem yang tidak dapat ditulis ulang secara diam-diam oleh peretas atau bug perangkat lunak. Setiap perlindungan lainnya — audit, penghitungan ulang, gugatan di pengadilan — pada akhirnya bergantung pada adanya catatan fisik untuk diperiksa.
Logikanya sederhana. Penghitungan oleh komputer, jika berdiri sendiri, meminta Anda mempercayai komputer. Catatan kertas mengubah kepercayaan menjadi verifikasi: karena kertas berada di luar mesin, mesin dapat diperiksa terhadapnya. Hilangkan kertas, dan setiap perlindungan lanjutan kehilangan pijakannya, karena tidak ada lagi acuan independen untuk membandingkan hasil elektronik.
Prinsip yang sama berlaku dalam bagaimana suara dihitung: keamanan berasal dari lapisan-lapisan yang dapat Anda periksa, dan kertas adalah lapisan yang menjadi dasar bagi semuanya.
Dua jenis kertas
"Jejak kertas" mencakup dua hal yang saling terkait tetapi berbeda, dan perbedaannya penting:
| Jenis | Bagaimana suara dicatat | Pertanyaan verifikasi |
|---|---|---|
| Surat suara kertas yang ditandai tangan | Pemilih menandai kertas secara langsung | Apakah pemindai membaca tanda dengan benar? |
| Perangkat penandaan surat suara (BMD) dengan cetakan | Mesin mencetak pilihan pemilih di atas kertas | Apakah pemilih memeriksa bahwa cetakan sesuai dengan kehendaknya? |
Keduanya dapat menyediakan jejak kertas yang kuat — tetapi hanya jika kertas tersebut diverifikasi oleh pemilih. Frasa itulah inti persoalannya. Cetakan yang hanya dilirik pemilih, atau tidak pernah dilihat, tidak benar-benar terverifikasi: kesalahan atau manipulasi antara layar dan kertas dapat lolos tanpa terdeteksi. Perlindungan ini hanya bekerja jika seorang manusia memastikan bahwa kertas mencerminkan pilihannya.
Kemandirian perangkat lunak
Istilah formal untuk prinsip ini adalah kemandirian perangkat lunak: kesalahan atau gangguan yang tidak terdeteksi dalam perangkat lunak pemungutan suara tidak boleh dapat menyebabkan perubahan yang tidak terdeteksi pada hasil pemilu. Kertaslah yang mewujudkannya. Jika perangkat lunak salah menghitung — melalui bug atau serangan — catatan kertas dapat dihitung secara manual dan selisihnya terungkap.
Ini membingkai ulang seluruh ketakutan "bagaimana jika mesinnya diretas?". Dalam sistem tanpa kertas, pertanyaan itu tidak dapat dijawab, dan itulah sebabnya ia menggerus kepercayaan. Dalam sistem berbasis kertas, jawabannya konkret: hitung kertasnya. Konsensus para pakar, termasuk tinjauan penting dari U.S. National Academies, karena itu tegas — gunakan surat suara kertas yang dapat dibaca manusia, dan hentikan penggunaan mesin tanpa kertas.
Apa yang dimungkinkan oleh jejak kertas
Kertas bukanlah perlindungan itu sendiri; kertas adalah yang membuat perlindungan menjadi mungkin. Kertas menopang:
- Penghitungan ulang — menghitung kembali surat suara fisik ketika selisih tipis atau hasil dipersengketakan.
- Audit — memeriksa secara manual sampel kertas terhadap total yang dilaporkan untuk mengonfirmasi hasil.
- Pemeriksaan rantai penguasaan — mencocokkan jumlah surat suara kertas dengan jumlah pemilih yang tercatat.
Tidak satu pun dari hal ini mungkin dilakukan tanpa catatan fisik yang tepercaya. Kertas adalah bahan mentah dari setiap pemeriksaan.
Ketika tidak ada kertas
Nilai jejak kertas paling jelas terlihat ketika jejak itu tidak ada. Dua kasus menunjukkan dua cara hal itu terjadi.
- Mesin tanpa kertas. Di tempat suara diberikan melalui sistem elektronik murni yang tidak menyimpan catatan kertas, hasil yang disengketakan sama sekali tidak dapat diverifikasi secara independen — memang tidak ada yang bisa dihitung ulang. Inilah sebabnya tren di berbagai demokrasi adalah menghentikan penggunaan sistem semacam itu.
- Catatan yang ditahan. Kertas (atau padanannya) dapat ada tetapi tetap disembunyikan. Di Belarus pada 2020, otoritas tidak memublikasikan protokol tingkat TPS, sehingga hasil resmi tidak dapat diperiksa terhadap catatan dasarnya. Jejak kertas yang tidak boleh diperiksa oleh siapa pun tidak memberikan jaminan apa pun.
Jejak kertas dalam praktik
Kasus positifnya sama konkretnya. Setelah penutupan hasil 2020 di Georgia, pejabat melakukan penghitungan manual penuh atas setiap surat suara kertas. Karena ada catatan kertas yang diverifikasi pemilih untuk setiap suara, penghitungan manual dapat dibandingkan langsung dengan tally mesin — dan hasilnya cocok hingga dalam batas kesalahan manusia yang lazim. Jejak kertas mengubah klaim eksplosif "mesinnya diretas" menjadi pertanyaan dengan jawaban yang dapat diperiksa, dan pada akhirnya meyakinkan.
Itulah seluruh tujuan mempertahankan kertas. Kertas tidak mengasumsikan mesin tepercaya atau tidak tepercaya — kertas membuat jawabannya dapat diverifikasi dalam kedua keadaan. Dan alat yang melakukan verifikasi itu, secara efisien dan dalam skala besar, adalah audit pemilu.