Andrew Poelstra

Di balik rumus sering ada kebutuhan sederhana: menjaga tabungan atau tidak memperlihatkan jumlah setiap pembayaran kepada semua orang. Poelstra mengerjakan alat yang mengubah kebutuhan itu menjadi aturan yang dapat diverifikasi. Pada Februari 2023, Blockstream memperkenalkannya sebagai direktur riset. Namun, laporan kuartal kedua 2026 memakai jabatan itu untuk Jonas Nick. Gelar jabatan lama tidak otomatis menggambarkan peran saat ini. Kontribusi peneliti lebih jelas terlihat melalui karya dan kolaborasi tertentu daripada satu nama jabatan saja. [1] [2]

Bayangkan Anda biasanya membelanjakan dana dengan kunci sendiri, tetapi ingin menyiapkan jalur lain sejak awal yang tersedia setelah masa tunggu jika kunci itu hilang. Menuliskan syarat saja belum cukup; Anda perlu memeriksa apakah artinya benar-benar sesuai maksud. Miniscript membantu pekerjaan ini. Dokumentasinya menyebut Pieter Wuille, Andrew Poelstra, dan Sanket Kanjalkar sebagai pencipta, serta mengakui diskusi dengan orang lain. Ini hasil bersama; mengakui kontribusi seseorang tidak menggantikan pekerjaan para penulis lainnya. [3]

Bitcoin Script adalah bahasa untuk menentukan syarat pembelanjaan. Miniscript memberi struktur pada bagian tertentu dari bahasa itu sehingga syarat dapat digabungkan dan dianalisis. Kompiler, program yang menerjemahkan kebutuhan menjadi bentuk konkret, dapat mencari susunan yang lebih hemat. Jika jalur biasa diperkirakan dipakai lebih sering daripada jalur cadangan, frekuensinya dapat diperhitungkan dalam biaya yang diharapkan. Bobot ini tidak membuat keabsahan transaksi bergantung pada peluang. Jalur yang jarang dipakai tetap sama sahnya bila seluruh aturannya dipenuhi. [3]

Jalur cadangan juga perlu menjelaskan titik awal penantian. Miniscript after menyatakan batas mutlak melalui kolom nLockTime pada transaksi, misalnya ketinggian rantai tertentu. Sebaliknya, older memakai syarat relatif nSequence, yakni selang sejak konfirmasi keluaran yang hendak dibelanjakan. Keduanya menggunakan acuan waktu berbeda, bukan nama yang dapat dipertukarkan. Berakhirnya waktu tunggu tidak otomatis mengirim pembayaran. Sebuah jalur mungkin menjadi tersedia, tetapi tanda tangan dan syarat lain tetap diperlukan; transaksi masih harus dibuat dan dikonfirmasi. [3]

Bisakah sifat suatu jumlah diperiksa sambil merahasiakan jumlah itu sendiri? Bulletproofs memungkinkan pembuktian semacam ini. Pemeriksa dapat mengetahui bahwa angka tersembunyi berada dalam rentang yang diizinkan tanpa mengetahui nilainya. Stanford mencantumkan Benedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra, Pieter Wuille, dan Greg Maxwell sebagai penulis. Makalah penelitian berbeda dari program tertentu: halaman itu menandai beberapa implementasi sebagai pekerjaan yang belum selesai dan sebuah prototipe sebagai tidak cocok untuk penggunaan produksi. Keberadaan tautan saja bukan anjuran untuk mempercayakan uang kepada program. [4]

Sebagian sistem pembuktian membutuhkan persiapan parameter awal yang keamanannya bergantung pada penanganan informasi rahasia secara benar. Proses ini disebut trusted setup. Bulletproofs tidak membutuhkan persiapan tersebut. Meski berguna, sifat ini tidak menghapus asumsi kriptografis ataupun risiko kesalahan program. Bukti yang pendek juga belum tentu paling cepat diperiksa; itu bergantung pada tugas dan sistem pembanding. Pisahkan apa yang dibuktikan, apa dasar keamanannya, dan seberapa besar pekerjaan yang diperlukan untuk memeriksanya. [4]

Jumlah yang terlihat dapat dijumlahkan dan dibandingkan. Ketika disembunyikan, bukti matematis harus memberikan kepastian yang sepadan. Pada Februari 2018, Poelstra menjelaskan rangeproof: bukti bahwa jumlah berada dalam rentang yang diizinkan dan tidak dapat memanfaatkan luapan angka untuk mengakali pencatatan. Bulletproofs dapat menggabungkan bukti beberapa nilai menjadi satu kesatuan yang lebih ringkas. Artikel itu juga memuat pengukuran kecepatan pada perangkat tertentu, bukan kecepatan universal jaringan. Bukti yang lebih kecil mengurangi beban tertentu, tetapi tidak otomatis menyelesaikan semua keterbatasan pembayaran. [5]

Pada April 2017, Poelstra menjelaskan Confidential Assets untuk Elements, sebuah platform untuk membangun sistem blockchain. Jumlah dan jenis aset yang ditransfer dapat sama-sama disembunyikan. Pemeriksa tetap dapat memastikan bahwa transfer tidak menciptakan aset tanpa wewenang atau mengubah satu jenis menjadi jenis lain. Penerbitan awal dan penerbitan tambahan memiliki aturan serta kewenangan tersendiri. Privasi kembali berjalan bersama verifikasi publik. Namun, fitur Elements bukan bukti penerapannya pada lapisan dasar Bitcoin; bedakan penelitian, implementasi, dan jaringan yang benar-benar memakainya. [6]