Wawancara = nil_ Fondasi: Bangun pasar Proof dan wujudkan visi "semuanya bisa ZK"

Sejak EDCON di Montenegro pada bulan April, "ZK" telah menjadi kata terpanas tahun ini, dan perluasan ruang naratif yang dibawa oleh Ethereum telah mencapai titik tertinggi baru. Banyak orang percaya bahwa ini akan menjadi pasar baru bernilai ratusan miliar dolar, menciptakan lebih banyak peluang dan kisah kekayaan, seperti "penambangan ZK". Tentunya sebagai era baru yang belum tiba, ZK juga berarti banyak peluang yang sulit kita identifikasi secara akurat saat ini.

Seperti apa masa depan ZK masih membutuhkan lebih banyak imajinasi. Dan pasar Proof yang dibangun oleh =nil; Foundation telah membangkitkan fantasi tak terbatas saya tentang era ratusan miliar dolar ini. Baru-baru ini, saya melakukan percakapan mendalam dengan =nil; salah satu pendiri Foundation, Mikhail Komarov (selanjutnya disebut sebagai Misha), berbicara tentang =nil; Foundation, zkLLVM, dan topik terkait pasar Proof.

Ringkasan Wawancara

1. Orang menggunakan ZK untuk kompresi informasi, yang merupakan "penyalahgunaan" paling menarik dari kumpulan teknologi ini.

2. Pembuatan bukti ZK harus dialihdayakan ke produsen yang menyediakan layanan profesional tersebut, membentuk jaringan produsen profesional untuk menanggapi permintaan pasar.

3. Di pasar Proof saat ini, fenomena PEV (prover extractable value) telah muncul.

4. Pasar Proof belum sepenuhnya terdesentralisasi, dan ini akan menjadi pusat kerja tim untuk beberapa waktu mendatang.

= nihil; asal

Misha telah berkecimpung di industri enkripsi sejak 2013. Hal pertama yang dia lakukan setelah memasuki lingkaran tersebut adalah mempelajari implementasi C++ dari Bitmessage. Ini adalah protokol perpesanan Bitcoin, dan meskipun sejak itu telah dilanggar beberapa kali, banyak orang tergila-gila pada saat itu. Belakangan, Misha mulai melakukan serangkaian pekerjaan pengembangan dengan Dan Larimer (yaitu BM, pendiri Steemit, Bitshares, dan EOS) seputar BitShares, dan bertemu dengan Konstantin Lomashuk yang kemudian membuat Lido dalam prosesnya. Pada saat itu, Konstantin memiliki beberapa proyek enkripsi terkait Bitshares di tangannya dan ingin membuat cabang Steemit khusus untuk Rusia, yaitu Jaringan Golos.

Saat itu tahun 2016, dan Misha memulai perjalanan baru dengan Dan dan Konstantin sebagai CTO Golos. Namun setelah dua tahun, Misha bosan dengan Golos, menurutnya produk yang dirancang Dan tidak memuaskan, struktur internalnya tidak sesuai, dan kualitasnya kurang. Akibatnya, Misha meninggalkan proyek terkait seperti Golos dan Steemit dan mendirikan Nil bersama Konstantin pada April 2018.

Ide awal Misha adalah untuk mencegah orang menghadapi masalah ketidakstabilan yang ada di Golos dan Steemit, seperti kurangnya pengelolaan data, arsitektur, keamanan, dll. Oleh karena itu, tujuan Nil adalah membawa pencapaian industri manajemen basis data ke industri enkripsi, membawa lebih banyak keandalan, keamanan, skalabilitas, dll. ke bidang ini. Tentu saja, apa yang tidak diharapkan Misha adalah bahwa perjalanan barunya akan mengarah ke pusat masa depan dunia terenkripsi yang dapat diskalakan.

**BlockBeats: Perkenalkan secara singkat latar belakang Anda, seperti bagaimana Anda memulai bisnis enkripsi, dan mengapa Anda bergabung dengan industri enkripsi? **

Misha: Itu sudah lama sekali. Saya terlibat dalam industri crypto sekitar tahun 2013, ketika saya mengerjakan implementasi C++ dari Bitmessage. Anda mungkin ingat bahwa protokol perpesanan seperti Bitcoin yang digilai semua orang saat itu, dan diretas beberapa kali, tetapi saat itu masih panas.

Kemudian saya mulai mengembangkan segala sesuatu di sekitar BitShares dan Dan Larimer (yaitu BM, pencipta Steemit, Bitshares dan EOS) dan kemudian saya bertemu dengan Konstantin Lomashuk, sekarang Anda mungkin mengenalnya karena Lido. Pada saat itu, dia memiliki beberapa proyek enkripsi terkait Bitshares dan ingin membuat cabang Steemit khusus untuk Rusia. Jadi kami melakukan Golos, saya menjadi CTO pada tahun 2016, dan kami telah bekerja sama sejak saat itu.

Tetapi pada bulan April 2018, saya bosan dengan Golos karena Dan merancang produk yang tidak memuaskan, produknya tidak pernah berjalan lama, dan meskipun berhasil, menurut saya arsitektur internalnya tidak cocok dan kualitasnya tidak cocok. cukup, jadi saya meninggalkan Golos dan Steemit dan semua proyek lainnya dan memulai Nihil pada April 2018.

Tujuan saya di awal adalah untuk menghentikan orang menghadapi masalah yang saya alami dengan Golos dan Steemit, seperti tidak memiliki manajemen data yang tepat, arsitektur, keamanan, dll., semuanya sangat tidak stabil. Menurut saya itu bukan solusi yang baik, jadi saya mendirikan Nil dengan Kosta untuk membawa pekerjaan industri manajemen basis data ke industri enkripsi, karena itu berarti keandalan, keamanan, skalabilitas, dll. Cerita setelah itu adalah perkembangan Nil.

**BlockBeats:=nil; Kapan Yayasan mulai memperhatikan bukti tanpa pengetahuan? **

Misha: Melihat ke belakang, sekitar tahun 2020, ketika kami menyelesaikan prototipe DBMS (sistem manajemen basis data) pertama, kami menyadari beberapa masalah. Sejujurnya tidak ada yang benar-benar mencoba melakukan itu sebelum kami mencoba mengintegrasikan sistem manajemen basis data dengan industri enkripsi, dan ketika kami selesai dengan proyek ini, kami menyadari bahwa asumsi kepercayaan bukanlah yang kami inginkan.

Setiap orang harus mempercayai kami jika itu akan berhasil, apakah itu menggunakan data kami atau sebaliknya. Kami berpikir tentang bagaimana mengurangi asumsi ketidakpercayaan ini, bagaimana membuatnya sedapat mungkin tidak dapat dipercaya, kemudian kami menyadari bahwa kami mungkin perlu menggunakan beberapa jenis teknologi, kami memerlukan alat kriptografi untuk mencapai tujuan ini, jadi kami untuk tujuan ini A suite kriptografi dibangun.

Saat itu, industri masih dalam tahap awal pengembangan, dan belum ada lingkungan pengembangan seperti Arc Works, kami pikir karena kami memiliki konsep teoretis dan beberapa eksperimen, kami harus mencobanya. Kami membangun suite dan membangun sistem pembuktian kami sendiri. Kemudian kami bekerja dengan orang-orang dari Ethereum Foundation dan Mina Foundation untuk membangun kompiler sirkuit. Agar tidak menghasilkan bukti sendiri, kami telah membentuk Pasar Bukti untuk memperkenalkan dinamika pasar ke dalam pembuatan bukti.

Dalam membangun kompiler dengan orang-orang di Yayasan Mina, kami juga bekerja sama dengan orang-orang di Yayasan Solana. Dalam proses itu kami menyadari bahwa kami membutuhkan Bukti Negara, dan Bukti Negara adalah sesuatu yang dicari oleh orang-orang di Mina dan Ethereum saat itu. Sekitar awal tahun 2021, saat kami mengembangkan bukti status yang diperlukan untuk sistem manajemen basis data, orang-orang dari Mina, Ethereum, dan Solana merasa bahwa ini adalah "zk Bridging". Karena Justin Drake, Evan Shapiro, dan Anatoly berpikir bahwa kita membutuhkan teknologi Bridge yang lebih aman, lalu mereka mengatakan apa pun namanya, itu zkBridge.

**BlockBeats: Mengenai bukti tanpa pengetahuan, bidang enkripsi telah meneliti dan mencoba cukup lama, tetapi belum dapat membuat kemajuan yang signifikan. Namun sejak awal tahun ini, pengembangan lapangan ZK sepertinya sudah memasuki kondisi blow out, kenapa? **

Misha: Sebenarnya hanya ada dua metode yang dapat diterapkan ke seluruh teknologi zk. Metode pertama jelas digunakan untuk tujuan privasi, dan metode kedua digunakan untuk kompresi, seperti perluasan yang dibicarakan semua orang , dan munculnya zk -Rollups, zk-Bridges, zk-MLS, zk-Oracles, dll. Orang-orang "menyalahgunakan" tumpukan ini untuk kompresi, dan menurut saya ini adalah "penyalahgunaan" paling menarik yang pernah saya lihat. Jadi pertanyaannya adalah, mengapa sekarang? Kami dapat mencapai ini beberapa tahun yang lalu, dan mungkin ada beberapa tonggak perkembangan teknologi utama yang membuatnya dapat digunakan, layak, dan menarik untuk digunakan.

Tonggak pertama datang pada tahun 2016, ketika teknologi menjadi semakin berguna bagi industri kripto. Pada saat itu, sistem kendala Peringkat-1 (R1CSs) menjadi sangat umum dan berbagai aplikasi mulai bermunculan. Pada dasarnya, ketika memungkinkan untuk menjaga privasi, hal ini menjadi mungkin. Misalnya Zcash, Tornado Cash, dll. Proyek-proyek ini lahir di era itu, atau ide proyek ini lahir di era itu.

Yang kedua antara 2019 dan 2021, yang merupakan periode kritis kedua untuk teknologi ini. Saat itu, filter Bloom (Blunt argumentations) menjadi semakin populer. Orang-orang mulai membangun sistem pembuktian berdasarkan filter Bloom. Kami juga memiliki sistem pembuktian sendiri yang disebut placeholder. Mengapa periode waktu ini penting? Karena berkat sistem bukti berbasis filter Bloom ini, memungkinkan proyek menggunakan tumpukan ini untuk kompresi. Ini meningkatkan kompresi, menjadikannya lebih murah dan lebih layak untuk melakukan penskalaan Rollups dan zkBridge yang tepat pada tahun 2021.

Saat ini, kami telah membuat beberapa kemajuan dalam mengembangkan sistem pembuktian lebih lanjut, dan kami juga telah membuat terobosan tertentu dalam proyek kami. Cukuplah untuk mengatakan, menulis batasan dan perhitungan matematis yang kompleks juga cukup menantang dalam lingkungan di mana informasi dibagikan dari waktu ke waktu. Banyak orang telah mengabdikan diri untuk masalah ini, seperti pengenalan STARK, pengenalan zkVM untuk mengatasi masalah kompleksitas ini, dan pengenalan kompiler zkLLVM kami, yang juga mempermudah pembuatan aplikasi. Dari 2019 hingga 2021, sistem pembuktian telah berkembang, dan dari akhir 2020 hingga awal 2021 hingga akhir 2022, pengembangan alat juga mengalami kemajuan. Semua kemajuan ini membuatnya cukup efisien dan layak secara ekonomi untuk membangun bukti perhitungan yang kompleks.

Tentu saja, pengembangan sistem pembuktian masih jauh dari selesai. Untuk mewujudkan lebih banyak skenario aplikasi, masih banyak pekerjaan yang harus dilakukan untuk membuktikan sistem. Misalnya, mungkin tahun ini atau tahun depan, kami akan melihat perkembangan sistem pembuktian, dan kami juga melakukan penelitian dan pengembangan terkait di sini. Pengembangan sistem pembuktian ini akan memungkinkan aplikasi zkLLVM yang layak secara ekonomi, dan kami berharap menjadi tim pertama yang melakukannya. Tapi bagaimanapun, saat ini semua orang sedang mencoba untuk meningkatkan sistem pembuktian.

**BlockBeats: Anda menyebutkan zkLLVM, yang merupakan kompiler yang dibuat untuk pengembang untuk membuat sirkuit zk mereka sendiri. Menurut Anda, di mana zkLLVM penting dan apa kematangan produk saat ini? **

Misha: zkLLVM mungkin bukan yang pertama, tetapi ini adalah salah satu kompiler sirkuit pertama. Saya telah melihat beberapa prototipe sebelumnya, saya telah melihat beberapa proyek DSL, tetapi dengan kompiler sirkuit yang berfungsi penuh alih-alih mesin virtual, saya belum pernah melihat banyak sebelumnya. Ada beberapa, tapi saya tidak yakin apakah ada yang benar-benar menggunakannya, jadi menurut saya ini penting. Dan cukup banyak orang di industri ini yang mencoba menghilangkan dilema "Saya tidak menciptakannya", yang sangat menguras energi. Jelas, orang pada akhirnya menciptakan produk yang sangat bagus, tetapi dilema "Saya tidak membuatnya" ini membuat pengembangan memakan waktu dan mahal.

Misalnya, kami berkomunikasi melalui Zoom sekarang, dan hampir semua perangkat lunak di laptop kami dikompilasi dengan LLVM. Kami hanya mengambil semua itu dan membuatnya dapat dibuktikan. Jadi saya pikir kami hanya membawa seluruh ekosistem kompiler ke dalam industri crypto sehingga upaya ini dapat digunakan kembali di ruang crypto untuk efisiensi dan kelayakan ekonomi. Ini juga menghasilkan bahasa pemrograman yang banyak digunakan. Ada banyak perangkat lunak di dunia yang ditulis dalam Rust, C++, Go, TypeScript, dll. Yang mungkin ingin dijalankan di dalam Ethereum dan di lingkungan tanpa kepercayaan.

Contoh favorit saya adalah ketika orang mengambil kode sumber Doom (kode sumber C/C++), mereka membuktikannya ke Ethereum melalui zkLLVM, lalu menyeretnya di antara satu sama lain untuk menunjukkan berapa lama waktu yang dibutuhkan untuk menyelesaikannya. Misalnya, saya menyelesaikan tantangan kecepatan Doom dalam 20 menit, ini buktinya dan Ethereum NFT Anda, membuktikan bahwa Anda menyelesaikan tantangan kecepatan Doom dalam 20 menit.

**BlockBeats: Grup pengguna mana yang saat ini menggunakan zkLLVM, dan produk apa yang dibuat? **

Misha: Berbagai jenis proyek menggunakan teknologi ini, dan beberapa proyek mungkin hanya membangun sesuatu untuk dicoba diterapkan, atau mungkin sudah berjalan. Kasus penggunaan yang paling jelas adalah zkBridge buatan kompiler kami, diamankan oleh sistem pembuktiannya. Mungkin inilah salah satu alasan kami mengenali kebutuhan akan kompiler dan mulai membangunnya sejak awal. Itu juga sedang dicoba untuk menggunakannya untuk verifikasi formal pernyataan bukti, agar tidak mencoba untuk memasukkan spesifikasi formal program dengan mereka, tetapi untuk menyingkatnya menjadi bukti dengan menggunakan kompiler zkLLVM yang mengkompilasi pernyataan formal. Faktanya, orang mengkompilasi kompiler.

Ambil contoh aplikasi seperti zkOracles, orang telah membangun zkOracles untuk mengambil data historis Ethereum atau Lido untuk mengamankan penerbitan taruhan Ethereum. Orang-orang menangani masalah di mana ada banyak asumsi kepercayaan, meskipun telah berjalan selama lebih dari dua tahun. Saat kami mendesain Lido pada tahun 2020, ini dapat diterima, tetapi kemudian kami ingin mengurangi asumsi kepercayaan, karena kami tidak dapat mengambil risiko TVL pengguna, jadi kami memutuskan untuk melindunginya dengan bukti kerja ZK. Ada banyak proyek lain selain itu, sejujurnya saya bisa melanjutkan selamanya, saya memiliki sekitar 80 proyek di CRM saat ini.

**BlockBeats:=nil; Foundation sebelumnya menerima investasi dari StarkWare, Mina, dan tim L2 lainnya serta VC lainnya dengan penilaian lebih dari 200 juta dolar AS. Apakah uang ini digunakan untuk membangun pasar Bukti, dan apakah investasi dari StarkWare dan Mina berarti Anda akan lebih cenderung bekerja sama dengan ekosistem tertentu? **

Misha: Ini adalah putaran pertama dan satu-satunya pendanaan kami dalam lima tahun, karena kami tidak membutuhkannya sebelumnya, dan sekaranglah waktunya untuk melakukannya. Kami telah melakukan cukup banyak pembuatan prototipe, kami telah mendukung cukup banyak proyek, kami telah cukup belajar bahwa kami merasa cukup kuat dan percaya diri untuk meluncurkan produk dengan cara yang menurut kami seharusnya dibuat.

Putaran pendanaan ini ditutup sekitar setahun yang lalu, dan kami mengumumkannya berbulan-bulan setelah itu benar-benar terjadi. Kami tidak mengumumkan pendanaan sampai kami merasa nyaman mulai berbicara tentang "ini adalah sesuatu yang kami bangun". Karena mengumpulkan uang, Anda mulai menjanjikan sesuatu satu sama lain, dan kemudian mereka bertanya untuk apa Anda mengumpulkan uang, apa yang akan kami berikan? Apa itu produk? Apakah seseorang menggunakan produk Anda? Jadi kami sengaja menunda diskusi apa pun tentang topik ini sampai setidaknya kami melakukan sesuatu tentangnya.

Kami benar-benar bekerja dengan seluruh ekosistem Mina dan tim Starkware, sudah ada banyak aplikasi dari ekosistem Mina yang dibangun di atas kami, dibangun bersama kami, atau bermitra dengan kami. Baru-baru ini, tim Mina mulai meneliti dan mengembangkan roll-up, yang membutuhkan banyak kemampuan verifikasi. Selain itu, kami membangun verifikasi bukti negara berbasis kompiler dengan Mina pada tahun 2021, proyek ekosistem Mina lain yang bekerja sama dengan kami.

Ada juga banyak hal yang terjadi saat bekerja dengan ekosistem Starkware. Tentunya ini tujuan kerjasama kita agar kita juga berguna untuk aplikasi yang bisa dibuktikan di ekosistem Starknet. Misalnya, ada beberapa proyek jembatan ke Starknet yang menggunakan tumpukan teknologi kami sebagai jembatan tanpa pengetahuan. Beberapa proyek game memberi tahu kami bahwa kemampuan verifikasi diperlukan.

Ada beberapa proyek lain yang mencoba menggunakan teknologi penghubung yang lebih lama, memanfaatkan verifikasi bukti keadaan dan membangun aplikasi Ethereum di atasnya. Beberapa orang sedang membangun L3 di StarkNet, dan mereka berkata bahwa memiliki kemampuan verifikasi akan menjadi pilihan yang baik. Bagaimanapun, untuk itulah kami berkumpul bersama mereka. Sejujurnya, saya senang dengan kemitraan ini.

Pasar Sekunder untuk Bukti ZK

Bukti tanpa pengetahuan (ZK Proof) adalah inti absolut dari bidang ZK di pasar enkripsi saat ini.Keberadaannya memberikan kemungkinan tak terbatas untuk banyak skenario seperti ZK Rollup dan zkEVM. Namun, menghasilkan bukti ZK juga merupakan tugas komputasi yang berat, dan seringkali membutuhkan waktu berjam-jam untuk menyelesaikan bukti, itulah sebabnya sebagian besar penyortir saat ini masih belum menyelesaikan masalah sentralisasi. Untuk menghasilkan bukti ZK yang andal dan hemat biaya, kita tidak hanya perlu mengembangkan dan memelihara infrastruktur komputasi, tetapi juga perlu mengembangkannya. Dalam pandangan Misha, memperkenalkan mekanisme pasar adalah solusi optimal untuk masalah ini.

=nil; Tim Yayasan percaya bahwa menghasilkan bukti ZK adalah tugas yang harus dialihdayakan ke produsen yang menyediakan layanan khusus tersebut. Di bawah premis ini, kami memerlukan pasar Bukti, di mana setiap orang dapat meminta untuk menghasilkan bukti ZK yang diperlukan, dan kemudian jaringan produsen profesional akan menanggapi permintaan tersebut.

**BlockBeats: Sekarang mari kita bicara secara khusus tentang Proof Marketplace, dari mana ide itu berasal, dan apa cerita di baliknya? **

Misha: Idenya berasal dari partisipasi ekstensif kami dalam aplikasi protokol dan berbagai hal terkait Filecoin dari tahun 2020 hingga akhir tahun 2021. Kami tidak hanya menyaksikan kegilaan yang terjadi di sekitar Filecoin secara langsung, tetapi kami juga berpartisipasi di dalamnya dari sudut pandang kami. Saat itulah kami mempelajari cara mendapatkan semua sistem bukti dengan benar, cara melakukan argumen yang tepat, dll., dan menerapkan pembukti Filecoin yang 10x lebih cepat daripada versi publik, memungkinkan penambang memanfaatkan perangkat keras mereka sepenuhnya. Kami sebenarnya adalah hub yang melihat semua eksperimen mencoba mengurangi biaya dari sudut pandang penambang.

Selama waktu itu, kami mempelajari banyak data pasar aktual seperti seberapa berharganya dan berapa lama waktu yang dibutuhkan untuk menghasilkan bukti khusus ini dengan perangkat keras ini; siapa yang menggunakan perangkat keras mana, pusat data mana yang dibuat untuknya, dll. Dan kemudian bekerja dengan Yayasan Ethereum, Yayasan Mina, dan banyak lainnya, kami menemukan bukti negara dan bukti konsensus ini sangat berat, dan kami sama sekali tidak mengizinkan siapa pun untuk membuktikannya sendiri.

Karena jujur saja, tidak ada yang memiliki perangkat keras semacam ini yang dapat dibuat dengan cepat karena terlalu masif. Misalnya, seperti konsensus Mina, bukti negara Mina adalah kurva investor kebijakan dikalikan sekitar $35 miliar, yang cukup banyak. Atau Solana Proof of Consensus, yang antara lain berisi sekitar 4000 tanda tangan ECDSA, dan membutuhkan banyak waktu untuk membuatnya.

Ketika ini diperhatikan, kami memutuskan untuk tidak melakukannya lagi. Kami pikir, oke, kami akan mengalihdayakan pekerjaan ini. Kami akan membangun pasar untuk ini, karena kami sudah memiliki banyak data terkait Filecoin, mari bangun pasar, mari jadikan komoditas, biarkan dinamika pasar berlaku untuk ini, sehingga orang dapat pergi ke Terkoordinasi dengan protokol terpusat, mereka bersaing satu sama lain sehingga alih-alih menjadi hub, kami membiarkan protokol menjadi hub. Ternyata pemikiran kami benar. Semua orang sedang membangun pasar Bukti sekarang, dan kami menebak arahnya.

**BlockBeats: Saat Anda membangun pasar Proof, apakah Anda mempertimbangkan dinamikanya dengan zkLLVM yang telah Anda bangun? **

Misha: Awalnya kedua proyek ini sebenarnya terpisah, keduanya adalah dua hal yang terpisah. Sebagai contoh, kita hanya membutuhkan toolchain untuk membuat sirkuit, karena kita tidak akan membuatnya secara manual, terlalu besar. Kemudian kami mengetahui bahwa orang lain juga membutuhkan toolchain ini, jadi kami memutuskan untuk membuatnya menjadi open source sehingga semua orang dapat menggunakannya.

Dan Proof market juga merupakan hal tersendiri, karena menurut kami ini hanyalah pasar proof generation. Kami bahkan tidak memikirkan orang yang mencoba berspekulasi dengan bukti. Mereka sebenarnya mencoba untuk membeli rendah dan menjual tinggi atau sesuatu, yang cukup menggelikan karena tidak seharusnya seperti itu, tapi bagaimanapun, begitulah adanya.

Protokol yang mendukung pasar Bukti harus merupakan protokol yang sangat khusus, karena kami membutuhkan banyak verifikasi dan perlu menangani banyak beban pada aspek ini. Ketika orang datang dengan data yang perlu diverifikasi, kami perlu menangani banyak data karena mereka akan memuat data tersebut ke dalam buku pesanan pasar Bukti, yang membuat protokol sangat intensif data, seperti jumlah data yang menggambarkan bukti negara rata-rata. Setelah deskripsi bukti keadaan rata-rata yang dilakukan dengan baik membutuhkan sekitar 2GB data, cobalah untuk menemukan protokol yang dapat menangani data 2GB. Hampir tidak mungkin.

Tapi kemudian, orang-orang mulai membuktikan beberapa hal yang sangat besar dengan zkLLVM, dan basis kode seperti Ross dan C++ cukup besar dibandingkan dengan apa yang dilakukan orang di Solidity. Jadi kami menyatukannya, membuatnya saling berhubungan, dan kemudian membuatnya dapat digunakan sebagai layanan. Kami masih berpikir bahwa kompiler melakukan pekerjaan yang cukup baik untuk menjadi efisien dan berharap tetap seperti itu.

**BlockBeats: Saat ini, siapa kelompok pengguna utama dan peserta di pasar Proof? **

Misha: Jenis pengguna pertama sebagian besar adalah zkBridge, dan beberapa bukti konsensus dan bukti status cukup berat untuk dibuat. Jika Anda menghasilkan verifikasi yang benar dan aman seperti bukti konsensus Ethereum, misalnya, dengan verifikasi konsensus Ethereum lengkap, dan semua 100.000 verifikasi validator tanda tangan node, Anda perlu beberapa saat untuk membuatnya.

Kategori kedua adalah zk oracle, seperti aplikasi yang perlu mengakses data historis Ethereum, atau memproses data Ethereum dengan cara tertentu, dan kemudian menggunakannya dengan EVM. Beberapa aplikasi mencoba untuk mengurangi biaya gas mereka dengan cara ini, seperti protokol peminjaman yang mencoba menghitung dan memuat parameter risiko aset agunan mereka ke dalam EVM, tetapi tidak dapat dihitung dalam EVM dalam hal biaya.

Mereka mengambil semua data Ethereum yang diperlukan dari bursa yang berbeda, dari indeks yang berbeda, memasukkannya ke dalam EVM, dan kemudian menggunakannya sebagai seperangkat parameter risiko untuk agunan. Ini seperti oracle Lido lainnya, menunjukkan bagaimana protokol dapat meningkatkan keamanannya dan mengurangi biaya eksekusi dengan melakukan outsourcing serangkaian perhitungan (seperti keamanan di pasar Proof dan zkLLVM saja). Tidak ada keraguan bahwa oracle tanpa pengetahuan sangat penting.

Kategori ketiga adalah Rollup, yang dapat digunakan oleh Rollup yang sudah ada atau Rollup baru, bahkan ada yang mencoba melakukannya. Siapa pun yang berniat menjadi validator Rollup akan datang dengan keinginan untuk mengimplementasikan semacam bukti di pasar Proof. Berurusan dengan perangkat keras khusus dan menjalankan node pada server AWS sewaan sangat menantang bagi validator. Fakta bahwa AWS saat ini tidak menawarkan ATX, juga tidak menawarkan GPU yang sangat kuat, jadi pada dasarnya validator akan hadir dengan kasus penggunaan zkLLVM ini. Jelas, kami sudah memiliki beberapa kasus penggunaan untuk zkLLVM, tetapi harus saya akui, mereka belum diproduksi.

kasus penggunaan zkLLVM juga sangat berlaku untuk model besar atau sangat kompleks, karena mereka perlu membenarkan kompleksitas model yang ada. Ini juga sesuatu yang sedang dalam proses, tetapi sekali lagi, itu belum diproduksi, itu hanya dalam tahap percobaan. Setelah berproduksi, kami akan dapat mengubah pasar Proof menjadi pasar komputasi AI yang dapat dibuktikan, yang terdengar konyol.

**BlockBeats: Jika saya ingin menjadi Proof Generator di Proof Market, apa persyaratannya? **

Misha: Sebenarnya tidak banyak persyaratan atau batasan untuk menjadi generator bukti, semuanya tergantung pada rangkaian spesifik dan pernyataan spesifik yang ingin Anda buktikan. Kami telah secara khusus menyiapkan sesuatu yang disebut "Proof Market Toolchain". Ketika seorang pembukti memproses berbagai bukti di pasar, dia hanya perlu memulainya sebagai layanan, atau menggunakannya sebagai rangkaian alat yang berjalan di mesin Anda. proses di belakang panggung.

Jika tidak ada pasokan perangkat keras yang lebih baik di pasar untuk pernyataan tertentu, sirkuit tertentu, aplikasi tertentu, bukti khusus, maka Anda dapat memesan dan membuat bukti. Jika Anda memiliki perangkat keras terbaik, jika Anda dapat membuat janji untuk menghasilkan bukti tercepat, dan tidak ada pesaing lain yang lebih baik, Anda dapat menerima pesanan, membuat bukti, dan mendapatkan imbalan.

**BlockBeats: Semua pengguna yang menggunakan =nil; Yayasan perlu mendaftarkan akun. Jika bukti yang dihasilkan itu sendiri atau informasi transaksi dan kepemilikannya disimpan di server pribadi, apakah akan menimbulkan beberapa masalah sentralisasi? **

Misha: Inilah yang kami rencanakan untuk dibahas pada akhir tahun. Ya, bukti pasar saat ini tidak terdesentralisasi, kami belum merilis simpul protokol untuk mendukungnya, dan belum membicarakan protokol ini di depan umum. Berikut cara kerjanya saat ini: Dengan beberapa orang yang juga berpartisipasi dalam Lido dan bertindak sebagai validator dan operator validator sebagai validator, kami dapat menghostingnya untuk sementara dan melihat bagaimana kelanjutannya. Kemudian kami membagikan kode sumber kepada mereka, dan benar-benar menjalankan enam atau delapan sebagai mode uji coba.

Saat ini, sistem agak terdesentralisasi, tetapi tidak bersifat publik atau benar-benar terdesentralisasi. Tidak semua orang dapat bergabung dan menjalankan node Proof Market mereka. Itu pertanyaan bagi kami juga, kami menyukai aplikasi yang menanyakan tentang keamanan, seberapa terdesentralisasi mereka, dapatkah kami mengandalkannya? Apakah ini sesuatu yang saat ini dapat kita gunakan? Saya menjawab, ya Anda bisa, tetapi tidak cukup terdesentralisasi karena kami menjalankannya dalam mode uji coba. Kami akan bekerja keras untuk menyelesaikan masalah ini, yang merupakan tugas terpenting kami saat ini.

**BlockBeats: Langkah apa yang Anda ambil untuk mengatasi masalah ini? **

Misha: Pertama, kami merancang bukti pasar berdasarkan protokol terdesentralisasi, menggunakan protokol terdesentralisasi tertentu sejak awal. Kami membahas beberapa opsi untuk penerapan dan pengoperasian, kami mencoba menerapkannya langsung di Ethereum, tetapi ketika kami menghitung kelayakan ekonomi, kami menemukan bahwa jika kami melakukan ini, kami perlu membayar sekitar $2,5 miliar biaya Ethereum per tahun. Jadi menjalankan pasar di Ethereum terbukti tidak layak secara finansial sama sekali.

Kemudian kami mencoba menjalankannya di sesuatu seperti Rollup. Namun meskipun kami mencoba beberapa Rollup yang berbeda, biayanya tetap tinggi. Saat kami menghitung biaya pembuktian pasar dan melakukan arbitrase, kami menemukan bahwa biaya tahunan pembuktian pasar saja adalah 250 juta dolar AS, yang juga merupakan biaya yang sangat tinggi. Jadi kami harus membuat protokol kami sendiri yang dapat menangani beban, biaya, intensif data, dll.

Tujuan kami adalah membuat protokol ini sedekat mungkin dengan keamanan Ethereum, karena tidak ada cara lain bagi aplikasi untuk mengandalkannya. Ternyata protokol ini juga sangat berguna untuk operasi seperti serialisasi, karena saat serialisasi, beban yang akan diproses pada dasarnya sama. Seseorang ingin mengurangi latensi antara pemesan dan pembukti sehingga mereka dapat segera mengirim data ke pembukti dan dengan demikian memenangkan blok.

Bagaimana menerapkan sequencer pada protokol ini juga menjadi salah satu perhatian utama kami saat ini, kami berharap dapat membangun platform yang dapat digunakan oleh pengembang pihak ketiga, sehingga siapa pun dapat memulai dan menjalankan node yang mendukung protokol ini. Dan pastikan aplikasi proof-of-market seaman Ethereum dalam hal penyebaran kode.

**BlockBeats: Bisakah Anda berbagi lebih banyak tentang mekanisme insentif protokol? **

Misha: Kami tentu saja lebih suka menggunakan berbagai token untuk membayar bukti, jadi kami tidak dapat memaksa semua orang untuk menggunakan token tertentu, yang berarti kami harus senetral mungkin, karena kami bersikap netral dengan produk dan aplikasi apapun. Misalnya, mungkin mirip dengan cara kerja Arbitrum dengan Ethereum, Anda dapat memiliki Ethereum dan Arbitrum, mengapa tidak?

Langkah pertama ke arah ini jelas merupakan EVM Endpoint Approval Marketplace, yang kami gunakan beberapa hari yang lalu. Ini adalah solusi pembayaran yang memungkinkan semua aset yang diterapkan Ethereum untuk digunakan di Pasar Bukti sebagai insentif bagi pemberi persetujuan atau untuk aplikasi yang bersedia membayar token mereka sendiri di Pasar Bukti, dan ini adalah langkah pertama ke arah ini. melangkah.

Imajinasi Pasar Bukti

Karena ini adalah pasar, pasti ada variabilitas dan kompleksitas yang tidak dapat diprediksi dan dikendalikan orang. Apakah dan bagaimana orang akan berspekulasi tentang bukti ZK adalah data penting yang perlu dipantau dan dicatat oleh tim. Setelah beberapa bulan pengujian aktual, fenomena menarik apa yang muncul di pasar Proof? Apa rencana yang dimiliki tim untuk masa depan?

**BlockBeats: Apakah memperkenalkan mekanisme pasar akan memperpanjang proses pembuatan bukti? **

Misha: Lelang, atau menemukan penawar terbaik untuk pekerjaan itu, memang membutuhkan waktu, mungkin bukan beberapa detik di pihak kita, tetapi beberapa saat. Biasanya, proses ini memakan waktu beberapa detik, dalam kebanyakan kasus kurang dari satu detik. Menurut saya, penawaran dan permintaan cukup melimpah, jadi ini menimbulkan latensi sub-detik.

Bahkan dengan penundaan sub-detik, dalam kasus terburuk yang pernah saya lihat, aplikasi tidak dapat menemukan penyedia selama tiga atau empat detik. Namun demikian, penundaan ini tidak sebanding dengan waktu pembuatan bukti secara keseluruhan. Jadi, menurut saya itu bukan masalah dibandingkan dengan keuntungan generasi kerumunan yang diberikan oleh dinamika pasar.

**BlockBeats: Jika seseorang ingin berspekulasi dengan bukti yang dihasilkan, apakah itu hal yang baik atau buruk? Akankah tim melakukan intervensi dengan cara tertentu? **

Misha: Ada banyak hal aneh yang terjadi di situs kami, yang baru saja disebutkan bukanlah yang paling aneh, bahkan ada hal yang lebih aneh terjadi di pasar Proof, tapi mari kita bicarakan dulu Pertanyaan tentang spekulasi . Kami tidak memiliki kendali atas ini karena kami tidak bisa. Setelah kami mendorong proyek ini ke publik, setelah kami membuat protokol ini tersedia untuk semua orang, biarkan semua orang menjalankannya seminggu sekali, mungkin sebagai rollup, atau sebaliknya, kami tidak lagi dapat mengontrol semua ini.

Kami mencoba sekarang untuk tidak ikut campur, tidak mencoba melakukan sesuatu, karena pada titik tertentu kami tidak akan dapat melakukannya lagi, jadi apa gunanya? Jadi mari kita berspekulasi. Seseorang dapat membangun aplikasi seperti sirkuit, seperti aplikasi yang dapat dibuktikan, pada dasarnya hanya itu, jadi spekulasi bahkan mungkin terjadi. Tidak ada gunanya selain spekulasi di pasar Proof.

Salah satu kasus penggunaan paling aneh yang pernah saya lihat adalah seseorang mencoba memperdagangkan masa depan untuk daya komputasi dan kemudian menggunakan masa depan tersebut untuk berdiskusi spekulatif. Ini seperti masa depan tingkat hash bitcoin, tetapi untuk bukti zk juga. Pernahkah Anda bertanya-tanya tentang MEV? Bagaimana jika saya memberi tahu Anda bahwa sebenarnya ada Prover Extract Value (PEV)?

Itu tidak berfungsi seperti aplikasi membawa beberapa data dan kemudian sesuatu membutuhkan bukti dan pembukti melakukannya. Mereka memasukkan data, mulai membuat bukti, dan semuanya berfungsi seperti yang diharapkan. Tetapi pada saat yang sama, jika seorang pembukti mencoba menghasilkan lebih banyak keuntungan dari data ini atau semacamnya. Mereka akan menggunakan data ini di tempat lain, seperti di Ethereum atau protokol lain, atau bahkan beberapa Rollup.

Mereka melakukan ini untuk mengekstrak nilai sebanyak mungkin dari data ini, daripada menggunakannya untuk menghasilkan bukti. Ada berbagai jenis bukti nilai yang dapat diekstraksi, seperti orang yang mencoba memprediksi kapan bukti akan dihasilkan, dan kemudian menyuntikkan transaksi untuk membeli atau menjual bukti ke dalam protokol Proof Market, dengan merekayasa balik API dan mencoba menyuntikkan transaksi di dia. Dengan cara ini pembukti dapat menjual, atau pembeli dapat menebak harga untuk mengambil nilai darinya, seperti penambang Petir, atau pembangun dan pengusul berspekulasi dalam transaksi di Ethereum.

Beberapa orang sudah mulai bereksperimen dengan cara mencegah pembukti mengeksploitasi data yang mereka peroleh saat membuat bukti. Untuk melakukan ini, satu-satunya cara adalah membuat bukti pada data FHE (enkripsi homomorfik). Mereka mencoba membuat sesuatu seperti zkFHE, untuk menyembunyikan data yang diperlukan untuk pembuatan bukti, tetapi FHE sangat mahal secara komputasi, jadi ini meningkatkan biaya pembuktian.

Seperti mengirimnya ke langit, yang menggandakan, melipatgandakan, atau bahkan sepuluh kali lipat biaya pembuktiannya. Tetapi mereka akan berkata, tidak ada yang menggunakan data saya, tidak ada yang mengekstraksi apa pun dari data saya. Jadi, zkFHE akan lahir dari pasar Proof, yang merupakan tingkat kerumitan tersendiri, seperti tingkat kerumitan yang tinggi.

**BlockBeats: Saat ini pasar Bukti kompatibel dengan ZKLLVM dan Mina, saya ingin tahu bagaimana pasar Bukti akan menghasilkan bukti untuk sirkuit yang berbeda di masa mendatang? **

Misha: Sederhananya, prosesnya adalah sebagai berikut: aplikasi membawa pernyataan yang perlu dibuktikan, dan pernyataan ini dikompilasi menjadi bytecode atau mesin virtual untuk menggerakkan Proof Market. Mesin virtual ini adalah EVM. Dan kemudian mereka datang ke sini dengan persyaratan ini, mengatakan bahwa saya perlu membuktikan pernyataan ini. Pasar Bukti tidak memiliki izin, dan kemudian pasangan sirkuit baru diterapkan, begitulah cara pasangan sirkuit baru dibuat, dan setiap sirkuit baru adalah pasangan perdagangan baru.

Ketika pembukti melihat kebutuhan akan klaim baru tertentu, klaim baru itu bisa menjadi kebutuhan yang tiba-tiba, berkelanjutan, kebutuhan besar sekali, atau kebutuhan satu kali tetapi masih menarik. Prover dapat berkata, oke, saya ingin menambahkan sirkuit ini ke daftar sirkuit yang saya pedulikan, dan saya ingin menghasilkan bukti untuk sirkuit ini. Pasar Bukti kemudian membuat perubahan yang sesuai, menghasilkan dan mengirimkan bukti. Kami sedang bekerja keras untuk membuat proses ini sesederhana mungkin.

**BlockBeats: Bagaimana penerapannya untuk sistem bukti yang berbeda? **

Misha: Ini cerita yang lebih menarik. Pada dasarnya hanya ada satu persyaratan untuk sistem bukti yang berbeda untuk terhubung ke pasar Bukti, yaitu mengkompilasi pemverifikasi sistem bukti ini ke dalam bytecode EVM. Karena EVM yang menggerakkan pasar Proof, validator dikompilasi ke dalam EVM. Mungkin ditulis dalam Solidity, mungkin Rust atau C++.

Jika ditulis dalam Solidity, terapkan saja; dan jika ditulis dalam Rust atau C++, kami akan memanfaatkan zkLLVM untuk menyediakan rantai alat yang mengkompilasi pemverifikasi dari Rust dan C++, sehingga zkLLVM dapat digunakan sebagai bahasa A utama-ke- Kompiler EVM yang dapat menghasilkan validator dari Rust, C++, atau bahasa lain dan menyebarkannya ke pasar Proof. Setelah diterapkan, pasar Proof mendukung verifikasi sistem pembuktian baru. Sejauh itu, itu tanpa izin.

**BlockBeats: Saya ingat Anda pernah berkata dalam diskusi meja bundar tentang proses desentralisasi Rollup, =nil; Jalur Foundation adalah kebalikan dari kebanyakan Rollup, yaitu membangun jaringan pembuatan bukti terlebih dahulu, lalu mendesentralisasikan perubahan penyortir. Jadi sekarang, apakah =nil; Pasar Bukti Yayasan memiliki peluang untuk menjadi solusi terdesentralisasi untuk proyek-proyek Rollup ini? **

Misha: Saya ingat di Denver, ketika kami berbicara tentang strategi pasar dari arah yang berbeda, banyak orang mengembangkan banyak aplikasi yang membutuhkan bukti tanpa pengetahuan, sistem bukti, dan banyak bukti secara internal, dan kemudian mereka menemui masalah seperti ini : Kami telah mengembangkan produk, tetapi tidak sempurna, karena tidak terdesentralisasi, pembuktiannya tidak terdesentralisasi, tetapi kami tidak memiliki kekuatan pembuktian yang cukup, sehingga kami mandek.

Orang-orang telah membuat produk, tetapi mereka merasa macet. Di pihak kami, kami telah membangun tumpukan teknologi untuk menyelesaikan masalah ini, kami dapat meningkatkan layanan pasar, mengintegrasikannya ke dalam rantai nilai, mencapai desentralisasi dan desentralisasi bukti, dan memberikan dukungan untuk roll-up. Cara kerjanya adalah pemverifikasi untuk roll-up tersebut, perlu mendapatkan pengesahan dari suatu tempat, dan mereka sendiri harus menjadi attestor.

Dalam beberapa kasus, verifikator mungkin tidak mau, tidak mampu, atau tidak dapat mengonfigurasi perangkat kerasnya sendiri, GPU, ASIC, dll. Ketika Anda hanya memiliki modal tetapi tidak memiliki infrastruktur, Anda perlu mendapatkan bukti dari suatu tempat. Mantap, ini memberikan bukti bagi mereka yang punya modal tapi tidak punya infrastruktur atau tidak mau punya infrastruktur.

Poin kedua adalah mengapa saya menyebutkan bahwa kami memulai dari arah yang berbeda, kami berangkat untuk memperbaikinya dari perspektif pengambilan keputusan. Orang-orang seperti tim pihak ke-3 mencoba menambahkan penyortir terdesentralisasi di atas kami, mungkin seseorang akan melakukan roll-up di atas seluruh sistem, pada saat itu tumpukan teknologi akan lengkap dan seluruh sistem akan diterapkan Selesai.

**BlockBeats: Terakhir, dapatkah Misha mengungkapkan =nil; hal apa yang paling penting dalam peta jalan Yayasan untuk tahun ini? **

Misha: Kami memiliki dua arah utama. Arah pertama adalah aplikasi yang dapat diverifikasi. Kita harus membuat kasus penggunaan ini menjadi publik dan memberi tahu lebih banyak orang tentangnya. Beberapa di antaranya sudah diketahui, beberapa tidak begitu dikenal, dan beberapa bahkan belum diaktifkan, misalnya kasus penggunaan zkLLVM kami memerlukan frontend yang dibuat khusus untuk aplikasi zkLLVM. Ini akan membuat Drupal dan zkLLVM berguna untuk kasus penggunaan zkLLVM dan semua hal itu.

Contoh lain adalah kami ingin membantu orang yang berkembang di atas kami menyelesaikan proyek mereka, yang akan menjadi beberapa hal menarik tentang game zk. Pernahkah Anda berpikir untuk memainkan game penembak orang ketiga 3D di Ethereum, itu belum memungkinkan, tetapi akan menjadi mungkin, dan ini adalah bagaimana kasus penggunaan baru diaktifkan untuk pasar Proof dan zkLLVM. Terkadang unik, terkadang lucu, dan terkadang benar-benar berguna.

Arah besar kedua, kita harus membuat protokol ini terdesentralisasi dan dapat diakses oleh siapa saja, yang akan memungkinkan kita untuk menerapkan kasus penggunaan sequencer terdesentralisasi, membuat protokol dapat diakses oleh semua orang, mencoba eksperimen, membangun sesuatu di atasnya. Kami akan melihat bagaimana keadaannya, tapi kami berharap itu berhasil. Karena protokol yang kami buat untuk pasar Proof, tidak ada yang seperti itu di pasaran saat ini.

Mungkin selain menyelesaikan masalah nyata, ini juga akan menarik karena pengembang pihak ketiga dapat menggunakannya, karena mereka dapat mencoba beberapa fitur yang tidak dapat diterapkan di tempat lain. Jadi inilah dua arahan umum kami: memastikan keamanan dan mewujudkan desentralisasi.