1h lalu
1/ Ada banyak proyek ZK – Zcash, Polygon, StarkNet – masing-masing dengan bahasa frontend, sistem bukti backend, atau aplikasinya sendiri.
Tetapi mereka semua berbagi satu lapisan yang sama:
Frontend → Sirkuit Aljabar (IR)→ Backend
Representasi Menengah (IR) atau sirkuit aljabar adalah benang merah.
Meminimalkan IR bisa menjadi kunci dalam mencapai bukti ZK waktu nyata, bukan untuk aplikasi tunggal, tetapi di seluruh ekosistem ZK.
3/ Karena menulis IR yang dioptimalkan itu sulit.
Memperluas kendala dapat meledak dalam memori, dan desain IR di ZK masih merupakan bidang muda, tidak seperti matematika tradisional atau teori kompiler, yang telah memiliki pekerjaan pengoptimalan selama beberapa dekade.
Kami percaya bahwa dengan memetakan ide-ide yang telah terbukti dari aljabar dan bidang matematika lainnya ke dalam domain ZK, kami dapat membuka gelombang efisiensi baru.
4,67 rb
75
Konten pada halaman ini disediakan oleh pihak ketiga. Kecuali dinyatakan lain, OKX bukanlah penulis artikel yang dikutip dan tidak mengklaim hak cipta atas materi tersebut. Konten ini disediakan hanya untuk tujuan informasi dan tidak mewakili pandangan OKX. Konten ini tidak dimaksudkan sebagai dukungan dalam bentuk apa pun dan tidak dapat dianggap sebagai nasihat investasi atau ajakan untuk membeli atau menjual aset digital. Sejauh AI generatif digunakan untuk menyediakan ringkasan atau informasi lainnya, konten yang dihasilkan AI mungkin tidak akurat atau tidak konsisten. Silakan baca artikel yang terkait untuk informasi lebih lanjut. OKX tidak bertanggung jawab atas konten yang dihosting di situs pihak ketiga. Kepemilikan aset digital, termasuk stablecoin dan NFT, melibatkan risiko tinggi dan dapat berfluktuasi secara signifikan. Anda perlu mempertimbangkan dengan hati-hati apakah trading atau menyimpan aset digital sesuai untuk Anda dengan mempertimbangkan kondisi keuangan Anda.