<Mengapa ZK gagal, dan apa yang ingin diubah oleh Succinct?> 1. Kesadaran akan masalah Pencipta Bitcoin Satoshi Nakamoto telah menyatakan skeptisisme tentang zero-knowledge proofs (ZKP). "Untuk membuktikan bahwa sesuatu tidak ada, Anda perlu mengetahui seluruh transaksi," katanya, dan menilai bahwa menerapkan ZKP ke blockchain secara struktural sulit. Namun, dia juga berkata, "Jika kita menemukan solusi, akan mungkin untuk menerapkan Bitcoin jauh lebih baik, lebih mudah, dan lebih nyaman." Dengan kata lain, sambil mengakui keterbatasan teknis ZK, mereka mengakui bahwa jika mereka ditangani, mereka bisa menjadi titik balik utama dalam evolusi blockchain. Sekarang, bertahun-tahun kemudian, komunitas cypherpunk dan peneliti ZK akhirnya menemukan solusi. Zcash adalah yang pertama menerapkan ZKP ke mata uang kripto dunia nyata, dan proyek-proyek seperti StarkWare, zkSync, dan Scroll sejak itu mengembangkan teknologi ini sebagai sarana utama untuk meningkatkan skalabilitas dan verifikasi Ethereum. Namun, masih ada celah dalam kenyataan. Membuat zkEVM membutuhkan keahlian yang mendalam, pengembangan bertahun-tahun, dan perangkat keras berkinerja tinggi, dan sebagian besar proyek mengandalkan penyedia bukti tertentu alih-alih mengoperasikan infrastruktur ZKP mereka sendiri. Akibatnya, ZKP tetap menjadi alat kompleks yang hanya dapat ditangani oleh segelintir orang daripada "teknologi yang dapat digunakan siapa saja." 2. Apa itu Ringkas? Ringkas (@SuccinctLabs) adalah upaya untuk mengatasi masalah ini secara langsung. Kuncinya adalah mengubah ZKP menjadi infrastruktur yang dapat dengan mudah digunakan oleh semua pengembang, dan membantu siapa pun membuat "sistem tanpa kepercayaan" tanpa memerlukan sirkuit atau infrastruktur yang rumit. Ringkas adalah infrastruktur yang mengubah cita-cita sistem 'tanpa kepercayaan' yang telah dikejar blockchain menjadi kenyataan yang benar-benar dapat direalisasikan. Trustless tidak berarti "tidak dapat dipercaya", tetapi mengacu pada struktur yang beroperasi sendiri tanpa premis kepercayaan, yaitu sistem yang dapat diverifikasi secara matematis tanpa memerlukan pihak ketiga atau otoritas pusat. Namun, ekosistem blockchain saat ini masih sangat bergantung pada kepercayaan. Peretasan jembatan, operasi multisig, dan delegasi validator terpusat adalah bukti bahwa sistem hanya berfungsi ketika kita masih mempercayai orang dan organisasi. Upaya untuk menembus batas berbasis kepercayaan ini secara langsung adalah ZKP, atau teknologi Zero-Knowledge Proof. Teknologi ini, yang memungkinkan kita untuk membuktikan secara matematis bahwa "perhitungan ini benar" tanpa harus mempercayai siapa pun, jelas merupakan fondasi utama untuk sistem terdesentralisasi. Masalahnya adalah ZKP terlalu kompleks dan berat untuk benar-benar ditulis. 3. Mengapa ZKP merasa sulit? Teknologi ZKP telah setinggi potensinya. Secara khusus, membuat zkEVM membutuhkan tim profesional, pengembangan bertahun-tahun, dan infrastruktur yang mahal. Sebagian besar proyek zk harus merancang sirkuit mereka sendiri, membangun zkVM khusus, dan bahkan mengoperasikan perangkat keras sendiri. Hanya setelah melalui semua proses ini, mereka dapat menyebut diri mereka "ZK rollup". Selain itu, zkVM tujuan umum tradisional sangat tidak efisien dalam menghasilkan bukti. Biasanya, membuktikan blok membutuhkan sekelompok lusinan mesin berkinerja tinggi, dan biayanya mencapai $10~$20 per blok. Karena beban teknis dan biaya operasional yang tinggi ini, banyak proyek telah meninggalkan pengenalan ZKP atau memilih struktur yang mengandalkan beberapa penyedia bukti terpusat. ...