Editorial Ilmu Komputer & AI
Open AccessOA2026
Atestasi VDF Tantangan-Segar untuk Latensi Respons Relatif-Model
Komposisi protokol untuk bukti publik relatif-model atas tunda komputasi sekuensial
Ansar Yesmukhanov; Aruzhan Tlessova· 2026· DOI 10.48550/arXiv.2609.12727
Masalah inti
Dapatkah verifier berhingga memperoleh bukti publik relatif-model tentang latensi respons untuk komputasi sekuensial? Para penulis, Ansar Yesmukhanov dan Aruzhan Tlessova, membingkai pertanyaan ini di sekitar verifiable delay function (VDF), yang secara prinsip memungkinkan bukti semacam itu: evaluasi memerlukan langkah sekuensial, sedangkan verifikasi efisien dalam parameter keamanan dan polilogaritmik dalam nilai numerik untuk konstruksi standar. Dengan demikian, tunda dapat sangat besar untuk dievaluasi namun direpresentasikan secara ringkas dan diperiksa secara layak. Namun, bukti VDF untuk pesan yang dipilih saja tidak cukup karena dapat dihitung sebelumnya. Untuk mengatasi hal ini, makalah ini menetapkan dan menganalisis Fresh-Challenge VDF Attestations (FCLA), komposisi protokol yang mengikat VDF ke tantangan publik yang tak terprediksi, sebuah pesan, dan catatan rilis dan penerimaan yang dapat diaudit secara independen. Kontribusi ini diposisikan sebagai analisis protokol/desain dan lapisan implementasi referensi yang dijadikan tolok ukur, bukan konstruksi VDF baru atau primitif kriptografi. Karya ini berada di persimpangan kriptografi, keamanan siber, dan arsitektu
Inovasi
Tolok ukur implementasi referensi publik mengonfirmasi pemisahan empiris yang diharapkan antara evaluasi dan verifikasi pada satu mesin terdokumentasi. Meskipun hasil numerik spesifik tidak disediakan dalam abstrak, para penulis melaporkan bahwa pemisahan tersebut selaras dengan ekspektasi teoretis: evaluasi memerlukan langkah sekuensial, sedangkan verifikasi efisien dalam parameter keamanan dan polilogaritmik dalam . Validasi empiris ini mendukung kelayakan praktis protokol FCLA. Analisis keamanan menghasilkan hasil formal: di bawah asumsi yang dinyatakan, transkrip FCLA yang diterima tidak konsisten dengan pembangkitan pasca-tantangan oleh adversarial yang dibatasi oleh laju evaluasi sekuensial terkalibrasi. Hasilnya bersifat relatif-model, artinya berlaku dalam model terbatas tetapi tidak mengecualikan relai, outsourcing, atau mesin yang lebih cepat yang tidak dimodelkan. Para penulis juga mencatat bahwa protokol tidak mengidentifikasi pengklaim bernama, menyoroti batas atestasi.
Dapatkah verifier berhingga memperoleh bukti publik relatif-model tentang latensi respons untuk komputasi sekuensial? Para penulis, Ansar Yesmukhanov dan Aruzhan Tlessova, membingkai pertanyaan ini di sekitar verifiable delay function (VDF), yang secara prinsip memungkinkan bukti semacam itu: evaluasi memerlukan langkah sekuensial, sedangkan verifikasi efisien dalam parameter keamanan dan polilogaritmik dalam nilai numerik untuk konstruksi standar. Dengan demikian, tunda dapat sangat besar untuk dievaluasi namun direpresentasikan secara ringkas dan diperiksa secara layak. Namun, bukti VDF untuk pesan yang dipilih saja tidak cukup karena dapat dihitung sebelumnya. Untuk mengatasi hal ini, makalah ini menetapkan dan menganalisis Fresh-Challenge VDF Attestations (FCLA), komposisi protokol yang mengikat VDF ke tantangan publik yang tak terprediksi, sebuah pesan, dan catatan rilis dan penerimaan yang dapat diaudit secara independen. Kontribusi ini diposisikan sebagai analisis protokol/desain dan lapisan implementasi referensi yang dijadikan tolok ukur, bukan konstruksi VDF baru atau primitif kriptografi. Karya ini berada di persimpangan kriptografi, keamanan siber, dan arsitektur jaringan, menawarkan mekanisme untuk atestasi latensi relatif-model.
Protokol FCLA menyusun beberapa komponen: VDF, sumber tantangan publik yang tak terprediksi, sebuah pesan, dan catatan rilis dan penerimaan yang dapat diaudit secara independen. Analisis keamanan berlangsung di bawah asumsi eksplisit: sekuensialitas VDF, ketakterprediksian sumber tantangan, integritas log saksi, dan batas atas terkalibrasi pada laju evaluasi sekuensial adversarial. Di bawah asumsi ini, transkrip FCLA yang diterima tidak konsisten dengan pembangkitan pasca-tantangan oleh adversarial dalam model terbatas tersebut. Para penulis menekankan bahwa hasilnya tidak mengidentifikasi pengklaim bernama maupun mengecualikan relai, outsourcing, atau mesin yang lebih cepat yang tidak dimodelkan. Tolok ukur implementasi referensi publik dilakukan pada satu mesin terdokumentasi untuk mengonfirmasi pemisahan empiris yang diharapkan antara evaluasi dan verifikasi. Alur protokol dapat direpresentasikan sebagai berikut:
Mengapa penting
Protokol FCLA mengatasi celah kritis dalam atestasi berbasis VDF: kebutuhan untuk mencegah prakomputasi dengan mengikat ke tantangan segar yang tak terprediksi. Dengan memasukkan catatan rilis dan penerimaan yang dapat diaudit, protokol memungkinkan verifikasi independen atas waktu dan integritas komputasi. Namun, jaminan keamanan bersifat kondisional pada asumsi eksplisit, termasuk batas atas terkalibrasi pada laju evaluasi sekuensial adversarial. Sifat relatif-model ini berarti atestasi hanya sekuat batas yang diasumsikan. Para penulis mengakui bahwa protokol tidak mengecualikan relai atau outsourcing, juga tidak mengidentifikasi pengklaim bernama, yang dapat membatasi penerapannya dalam skenario yang memerlukan pengikatan identitas yang kuat. Tolok ukur pada satu mesin memberikan bukti awal tentang pemisahan evaluasi-verifikasi, tetapi penerapan yang lebih luas akan memerlukan validasi di berbagai perangkat keras. Kontribusi ini adalah analisis protokol/desain dan lapisan implementasi referensi yang dijadikan tolok ukur, bukan konstruksi VDF baru atau primitif kriptografi. Pekerjaan selanjutnya dapat mengeksplorasi asumsi yang lebih kuat, tantangan multi-pihak, dan integrasi dengan sistem identitas. Kandidat taksonomi meliputi Architecture, Cybersecurity, Network, dan Cryptography, mencerminkan sifat interdisipliner karya ini.
Siapa yang sebaiknya membaca
Praktisi dan peneliti ilmu komputer
Membuka konten member…