Apa yang akan kita lihat dalam proyek produksi menggunakan Starks ke depannya? Ukuran bukti ganda untuk Starks di bawah keamanan yang dapat dibuktikan? Peningkatan 2-3% dalam ukuran bukti di bawah dugaan baru, seperti yang disarankan dalam Tabel 1 makalah? Tidak ada perubahan untuk saat ini karena tidak ada serangan konstruktif (aiui) pada sistem saat ini?

Saya pikir saya akhirnya mengerti Dory PCS. Sedikit kata-kata kasar di atasnya. Idenya adalah kita mulai dari antipeluru. Di BP verifikator harus "percaya" pembuktian melipat generator kiri dan kanan dengan benar, dan menggunakan kombinasi yang sesuai L+alpha R untuk putaran berikutnya. Untuk membuat suara ini, V melakukan kombinasi waktu linier pada akhirnya. Dory mengatakan - ketika kita memiliki grup berpasangan, kita dapat *melakukan dalam pra-pemrosesan* ke L dan R dalam kelompok target berpasangan, dan dengan demikian secara terverifikasi menghitung komitmen ke L+alpha R. Ini pada akhirnya memungkinkan kita untuk menghindari kombinasi waktu linier. Sejauh ini, ini telah menghapus perhitungan waktu linier V, tetapi kami mengasumsikan pasangan, jadi setidaknya modulu pengaturan tepercaya, juga bisa digunakan KZG, dan memiliki waktu konstan V. Jadi untuk memberikan "percikan" yang lebih besar, Dory menggabungkan ide ini dengan komitmen dua teird yang dimungkinkan dengan pasangan (dikenal kembali dari makalah lama Abe et. al) Artinya, pikirkan poli Anda sebagai matriks, berkomitmen pada setiap baris di G1 dan kemudian berkomitmen pada komitmen di G_t Kombinasi ini memberikan verifikator logaritmik, pemprobor pembukaan sqrt, dan ukuran komitmen const