Apakah local-first membuktikan akhir permainan? Dalam House of ZK Radio #60, Peneliti @lagrangedev Franklin Delehelle menegaskan bahwa setiap orang harus dapat menghasilkan bukti ZK sendiri - pada perangkat keras sehari-hari - daripada mengandalkan mesin khusus yang mahal atau layanan pembuktian terpusat. Biaya dan latensi pembuktian saat ini masih mendorong tim ke jaringan outsourcing; dia ingin ketergantungan itu menghilang. Menurut Franklin, kemajuan tidak akan datang dari satu peluru perak tetapi dari perolehan majemuk di seluruh tumpukan: • Matematika: aritmetisasi yang lebih ramping, pencarian, strategi rekursi yang mengecilkan kendala. • Perangkat lunak: kompiler / VM yang lebih baik, desain sadar RAM, pengujian dan verifikasi yang ketat sehingga sistem dapat mengeras dan menstandarisasi. • Perangkat keras: penggunaan GPU yang lebih cerdas sekarang dan, seiring waktu, akselerator khusus. Sementara itu, jaringan pembuktian modular, sistem bukti-agnostik adalah jembatan praktis - menskalakan beban kerja saat ini sementara teknologi inti menjadi cukup cepat untuk pembuktian lokal yang sebenarnya. Tonton episode lengkapnya untuk eksposisi tentang keadaan ZK saat ini vs ideal: