Izinkan saya menceritakan sebuah kisah. Pertengahan 2023. Saya baru saja memutuskan untuk memulai Fermah. Saya menelepon beberapa orang yang sangat saya percayai, termasuk Amit Sahai, seorang kriptografer terkenal di dunia dengan kontribusi mendasar untuk ruang ZK. Saya berbagi visi: ZK harus mudah bagi pengembang. Tidak ada yang harus berjuang untuk menyiapkan infrastruktur dan mengoptimalkannya; mereka seharusnya bisa mendelegasikan pembuktian ke platform yang menyelesaikannya. Amit: "Bagaimana dengan data saksi? Bagaimana seseorang bisa mempercayai GPU acak dengan data saksi sensitif?" Saya: "Sebagian besar aplikasi dalam produksi saat ini bahkan tidak menggunakan bagian zero-knowledge dari ZKP - hanya keringkasannya." Amit tertawa: "Jadi seperti ZK tanpa ZK! Jadi apa yang dilakukan aplikasi yang peduli dengan privasi untuk menghasilkan bukti?" Saya:... Setelah panggilan, saya mengadakan banyak pertemuan dan gelisah sepanjang hari. Saya menulis kepada Amit seperti: "Teknologi ZK tidak dapat diakses oleh orang-orang yang awalnya dirancang untuk dilindungi adalah liar. Tapi saya tidak yakin apakah ini waktu yang tepat untuk membangun solusi. Saya harus melakukan riset pasar." Jadi saya mulai dengan pendekatan sederhana: Langkah 1. Buat daftar aplikasi yang mulai menjanjikan menjadi besar Langkah 2. Lihat mana dari mereka yang membutuhkan ZK dengan privasi Benar saja, dua aplikasi teratas adalah ZK-identity dan zkTLS. Izinkan saya dengan cepat memberi tahu Anda mengapa saya optimis pada mereka sebelum kita melanjutkan cerita. Saya tercengang betapa meyakinkannya bukti kepribadian untuk mengamankan masa depan yang digerakkan oleh AI -- dan bagaimana Sam Altman, yang memimpin dalam AI, menekankan perlunya identitas ZK dengan @worldcoin. zkTLS adalah cerita yang lebih pribadi. Saya melompat ke kereta musik ini ketika hanya ada beberapa orang di dalamnya. Ini bagus 5 tahun yang lalu. Saya memimpin produk dan implementasi proyek zkTLS di @MinaProtocol . Saya mengerti bahkan saat itu bahwa saatnya akan tiba ketika adopsi kripto akan didorong dengan memanfaatkan di mana adopsi sudah ada — Web2. Dan jembatan itu adalah zkTLS. Saya yakin kami harus menyelesaikan ini. Jelas kami perlu menempuh rute MPC - FHE masih terlalu optimis untuk pekerjaan berat semacam ini. Saya menggali makalah penelitian dan menemukan makalah kolaboratif SNARKs Dan Boneh dan Alex Ozdemir dan garis pekerjaan yang mengikutinya. Idenya adalah bahwa beberapa mesin melakukan pembuatan bukti melalui protokol MPC, memastikan tidak ada satu mesin pun yang memiliki akses ke data sensitif. Maju cepat ke Oktober/November 2023, saya menjalankan seluruh visi Fermah oleh Dan. Sungguh indah mendapatkan berkahnya pada Fermah dan visinya. Dari sana, saya melanjutkan peningkatan benih kami, dengan tesis inti: membangun apa yang dikenal Fermah saat ini - pasar bukti universal - dan melapisi ceri emas di atasnya: MPC-zkVM. Visi saya adalah membangun ZKVM yang ramah MPC dan dilengkapi dengan delegasi pembuktian rahasia yang dipanggang. Idenya adalah: A. Pengembang dapat menulis komputasi dalam bahasa populer seperti Rust B. Mereka tidak perlu khawatir tentang UX -- tidak ada lagi pembuktian sisi klien C. Mereka tidak harus mengelola pembuktian infra Klien mereka hanya mengirim transaksi "buktikan ini dengan privasi" ke Fermah - dan keluar bukti, yang dihasilkan secara rahasia Itulah inti dari protokol Delegasi Pembuktian Rahasia (CPD) kami. Saya sangat senang untuk membagikan langkah kecil pertama kami menuju visi itu: CPD untuk bukti Groth16 — masih menjadi salah satu sistem bukti yang paling banyak digunakan di luar sana. Kami berdiri di pundak raksasa: - @Ingo_zk's Icicle, yang turbocharger terbukti pada GPU - Taceo, yang membawa MPC ke Circom - Boneh-Ozdemir, yang menambahkan MPC ke Arkworks Protokol CPD kami bekerja beriringan dengan lapisan perjodohan Fermah untuk menawarkan solusi lengkap bagi siapa saja yang membangun dengan mempertimbangkan ZK dan privasi. Kami juga sangat berterima kasih kepada @worldcoin karena percaya pada visi ini sejak dini. Mereka memberi kami hibah untuk mengeksplorasi CPD untuk sistem bukti Remainder, yang sangat berarti mengingat betapa bullishnya kami di Fermah pada identitas ZK. Terima kasih banyak kepada @recmo dan @DCbuild3r atas dukungan dan kepercayaan mereka. Kami juga berterima kasih kepada @nico_mnbl yang luar biasa, Ryan & Daniel dari mantan Modulus Labs dan sekarang di World karena menjadi papan suara! Kami sudah bekerja dengan beberapa pelanggan fenomenal dan ingin membantu semua orang yang memiliki visi yang sama dengan ZK dengan privasi. Seterusnya!