Setelah sekian lama terjerumus ke dalam lubang kelinci Web3 yang megah dan ilusi, publik sepertinya sudah terbiasa mengabaikan satu hal: pada dasarnya kita hidup di dunia yang didukung oleh perangkat keras, baik itu permintaan peralatan VR di metaverse, atau Konsumsi CPU dan GPU di belakang AI, atau bahkan jalur ZK, yang dianggap Vitalik Buterin sebagai “masa depan Ethereum,” tidak terkecuali.
Pertukaran Binance - pertukaran Bitcoin terbesar di dunia, daftar untuk menerima rabat komisi 20%.
Kode Referensi Binance XSGEK3VL
Pendaftaran Binance: https://www.binance.com/zh-CN/join?ref=XSGEK3VL (rebate komisi 20%) atau lihat tutorial pendaftaran Binance. Untuk kontrak spot, 20% dikembalikan secara otomatis setiap jam.
Meskipun ZK memiliki logika matematika yang ketat dan memiliki keunggulan signifikan dalam keamanan, privasi, dan skalabilitas, ZK saat ini memiliki masalah efisiensi yang rendah dalam pembuatan bukti. Pada saat kemajuan terobosan tidak dapat dicapai pada tingkat algoritme, akselerasi perangkat keras ZK telah menjadi sebuah anugerah ZK mengembangkan solusi yang paling langsung dan efektif. Vitalik juga menyebutkan saat menghadiri Karnaval Web3 Hong Kong pada bulan April tahun ini: akselerasi perangkat keras ZK akan membantu meningkatkan efisiensi dan keamanan Ethereum ke tingkat yang baru.
Karena potensi jalur akselerasi perangkat keras ZK semakin dihargai, proyek akselerasi perangkat keras ZK Cysic, yang akan diluncurkan pada jaringan pengujian pada pertengahan Juli, telah menarik perhatian luas: Cysic, jaringan pengujian yang diluncurkan kali ini, akan melaksanakan serangkaian kegiatan insentif komunitas secara bertahap. Pada tahap ini, Cysic akan Mekanisme daftar mengundang pengguna untuk menjadi validator, berpartisipasi dalam pengujian jaringan dan menerima hadiah yang sesuai nantinya Cysic juga akan membuka beberapa peran pemberi sertifikasi kepada komunitas.
Sebagai salah satu proyek terkemuka pertama yang menginjakkan kaki di jalur akselerasi perangkat keras ZK, Cysic sebelumnya telah menyelesaikan putaran pendanaan awal senilai $6 juta dan putaran pendanaan Pra-A senilai $12 juta, yang menarik investor termasuk Polychain Capital, Hashkey Capital, OKX Ventures. , ABCDE, dll. VC terkenal di berbagai industri berpartisipasi dan menerima dukungan dari banyak angel investor seperti mitra DAO5 George Lambeth, investor pertama Celestia, dan mantan direktur eksekutif Binance Labs Ken Li.
Memanfaatkan peluncuran testnet, kami melakukan pertukaran mendalam dengan Leo Fan, salah satu pendiri Cysic, untuk mendiskusikan wawasan Cysic tentang ZK dan jalur akselerasi perangkat keras, keunggulan proyek dan logika implementasi, serta prospek proyek skala besar. penerapan ZK. Selama pertukaran, Leo Fan berkata: Akselerasi perangkat keras ZK akan sangat memberdayakan Ethereum, industri enkripsi, dan bahkan dunia nyata dengan pengembangan ZKVM dan pengiriman perangkat keras Cysic ASIC yang akan datang, kami memiliki alasan untuk optimis dalam memprediksi teknologi ZK tersebut. akan diluncurkan pada tahun 2025 untuk mencapai adopsi massal yang sebenarnya.
Dalam edisi ini, mari kita melangkah ke masa lalu, masa kini, dan masa depan Cysic, serta berbagi apa yang dilihat, dipikirkan, dan dirasakan salah satu pendiri Cysic, Leo Fan, tentang jalur akselerasi perangkat keras ZK.
Argumen kunci
Dengan hadirnya testnet pada pertengahan Juli, serangkaian kegiatan insentif juga sedang dipersiapkan: Cysic akan mengundang pengguna untuk menjadi verifikator melalui mekanisme daftar putih dan berpartisipasi dalam pengujian untuk memenangkan hadiah kepada komunitas pada tahap akhir testnet. Untuk pengguna sisi-B, Cysic bertujuan untuk menyediakan layanan ZK yang efisien, berbiaya rendah, dan instan kepada pihak proyek ZK. Penambang profesional juga dapat mengakses jaringan Cysic untuk mencapai penggunaan peralatan perangkat keras yang lebih efisien. Bagi pengguna C-side, laptop biasa juga dapat terhubung ke jaringan Cysic dan menjadi verifikator.
Sebagai proyek utama jalur akselerasi perangkat keras ZK, fokus proyek Cysic dapat diringkas dalam tiga aspek: efisiensi tinggi, mewujudkan pembuatan bukti waktu nyata melalui chip universal yang dikembangkan sendiri, menyediakan layanan akselerasi untuk ZK dengan hampir semua perbedaan jenis algoritma di pasar; Sentralisasi, membangun Jaringan ZK DePIN untuk memberikan layanan kepada industri secara terdesentralisasi.
Kelebihan ZK adalah tidak perlu mempercayai orang tertentu, tetapi kepercayaan dibangun melalui logika matematika. Selain itu, dibandingkan dengan rencana ekspansi lainnya, keseluruhan arsitektur Ethereum lebih ramah terhadap pengembangan ZK, dan logika matematika ZK yang ketat juga memberikan jaminan yang lebih tinggi untuk keamanan dan keadilan Ethereum.
Di Cysic, pihak proyek memiliki otonomi untuk memilih Prover yang sesuai dengan kebutuhan mereka, sehingga semakin meningkatkan derajat desentralisasi.
Kinerja ASIC jauh di depan dalam hal kinerja biaya dan rasio kinerja/konsumsi daya. Namun, karena masalah seperti kesalahan tape-out yang mungkin terjadi selama desain dan proses produksi ASIC akan menyebabkan biaya tinggi, semua orang lebih berhati-hati dalam mendesain. dan pembuatan ASIC.
Cysic mengadopsi model ekonomi token ganda: Native Token memiliki biaya bahan bakar dan memberi penghargaan kepada kontributor ekologis, dan veToken dapat berpartisipasi dalam keputusan penjadwalan daya komputasi jaringan melalui tata kelola.
Dengan pengembangan ZKVM dan pengiriman perangkat keras Cysic ASIC, teknologi ZK dapat mencapai adopsi massal pada tahun 2025.
Saat ini layanan akselerasi perangkat keras ZK tercepat di industri, jaringan uji Cysic akan segera hadir
Shenchao TechFlow: Pertama-tama, perkenalkan diri Anda.
Leo Penggemar：
Hai, saya Leo Fan, salah satu pendiri Cysic.
Izinkan saya berbagi pengalaman pendidikan saya, yang sebagian besar berkisar pada keamanan komputer kriptografi: Saya belajar di Kelas Dasar Matematika Universitas Sichuan untuk gelar sarjana saya, melanjutkan studi master saya di Laboratorium Kunci Keamanan Informasi Negara Bagian Beijing dari tahun 2010 hingga 2014, dan kemudian masuk Universitas Cornell (Cornell University) mempelajari kriptografi dan keamanan informasi dan mendapatkan gelar PhD pada tahun 2019.
Kemudian saya akan berbagi pengalaman saya di industri ini: Saat belajar untuk sekolah pascasarjana di Beijing, saya mengenal Bitcoin dan berpartisipasi dalam penambangan awal Bitcoin. Setelah itu, saat belajar untuk gelar PhD, saya juga memiliki beberapa pengalaman magang di perusahaan seperti IBM dan Yahoo. Setelah lulus, saya pertama kali bekerja di Institut Standar dan Teknologi Nasional (NIST) untuk mengerjakan standardisasi kriptografi, dan kemudian bergabung dengan proyek Layer 1 Algorand, yang didirikan oleh penemu teknologi ZK, pemenang Turing Award, dan profesor MIT Silvio Micali In Algorand, Saya terutama bertanggung jawab merancang dan mengimplementasikan bagian Algorand State Proofs, dan berkomitmen untuk menghadirkan interoperabilitas tanpa kepercayaan ke ekosistem Algorand.
Hingga tahun 2022, saya menemukan bahwa butuh waktu lama untuk menghasilkan bukti ZK. Awalnya saya ingin mengoptimalkannya melalui tingkat algoritma dan perangkat lunak, tetapi efeknya tidak terlihat jelas, jadi saya berpikir untuk mempercepat pembuatan bukti melalui metode perangkat keras. dan Cysic lahir, yang bertujuan untuk mencapai generasi bukti real-time ZK melalui akselerasi perangkat keras.
Shenchao TechFlow: Testnet Cysic akan diluncurkan pada pertengahan Juli. Bisakah Anda berbagi: Dari perspektif sisi B dan sisi C, bagaimana pihak proyek, pengguna, atau pengembang saat ini dapat berpartisipasi dalam ekosistem Cysic?
Leo Penggemar：
Dari perspektif sisi B, Cysic bertujuan untuk menyediakan layanan ZK yang efisien, berbiaya rendah, dan instan kepada pihak proyek ZK. Saat ini, Cysic telah membuka Early Access Program (EAP) untuk menyediakan solusi akselerasi perangkat keras end-to-end tingkat perusahaan untuk proyek ZK yang memerlukan daya komputasi. Cysic mendukung serangkaian sistem multi-verifikasi, termasuk Halo2, STARK, Groth16, Plonky2, ZAMA, dan GKR dan RapidSnark. Jaringan kami yang kuat didukung oleh lebih dari 10.000 kartu GPU, memastikan kinerja dan keandalan yang tak tertandingi. Saat ini, 16 proyek termasuk Scroll, Light Protocol, Risc Zero, Inference Labs, Ion Protocol, Aerius Labs, dan TalusNetworkEAP telah bergabung dengan program EAP, dan anggota awal juga akan menikmati serangkaian hak ekologis di masa depan.
Selain itu, sisi B di sini juga dapat merujuk pada beberapa penambang profesional yang memiliki sejumlah besar kartu grafis. Selain mengakses jaringan lain seperti AI DePIN, mereka juga dapat mengakses jaringan Cysic di masa mendatang kartu akan digunakan sebagian besar waktu. Kartu tersebut akan berada dalam keadaan berjalan penuh dengan tugas, yang berarti perangkat keras akan memasuki tahap penggunaan yang lebih efisien. Pada tahap testnet selanjutnya, kami juga akan membuka peran pemberi sertifikasi kepada komunitas. Pengguna yang memenuhi persyaratan perangkat keras tertentu dapat mendaftar menjadi pemberi sertifikasi. Di satu sisi, mereka akan berkontribusi pada mainnet online, dan di sisi lain , mereka akan menerima hadiah ujian.
Dari sudut pandang pengguna sisi-C, ini mungkin mengacu pada pengguna pemula yang mungkin tidak memiliki perangkat keras yang kuat. Kemudian mereka juga dapat mengakses jaringan Cysic melalui laptop biasa untuk berperan sebagai pemverifikasi, sehingga berkontribusi pada ekosistem ZK dan menerima hadiah. pada saat yang sama. . Testnet Cysic akan diluncurkan pada pertengahan Juli, dan aktivitas insentif testnet terkait juga sedang dipersiapkan: pada saat itu, kami juga akan mengundang pengguna untuk menjadi verifikator melalui mekanisme daftar putih, berpartisipasi dalam pengujian jaringan, dan menerima hadiah yang sesuai.
Deep Wave TechFlow: Jika Anda dapat mendeskripsikan apa yang dilakukan Cysic hanya dalam tiga kata, bagaimana Anda mendeskripsikannya?
Leo Penggemar：
Kami percaya bahwa setelah mengatasi hambatan efisiensi, teknologi ZK akan mengantarkan adopsi skala besar baik di industri enkripsi maupun di dunia nyata Web2, dan Cysic bertujuan untuk mewujudkan ZK dengan menyediakan layanan akselerasi perangkat keras lengkap termasuk FPGA, GPU, dan ASIC Bukti dihasilkan secara real-time, dan jaringan ZK DePIN Cysic Network dibangun untuk menghubungkan pihak-pihak proyek ZK, penyedia daya komputasi, dan verifikator komunitas, yang pada akhirnya menyediakan jaringan verifikasi + daya komputasi yang efisien, hemat biaya, dan terdesentralisasi untuk seluruh industri. Secara keseluruhan, Cysic akan memainkan peran integral dalam mendorong adopsi massal ZK lebih cepat.
Kembali ke pertanyaan, menurut saya apa yang dilakukan Cysic saat ini dapat dijelaskan dalam tiga kata berikut:
Efisiensi: Cysic bertujuan untuk mencapai generasi bukti real-time melalui chip yang dikembangkan sendiri. Meskipun kami masih dalam tahap menyediakan layanan akselerasi ZK untuk proyek-proyek melalui GPU, kami juga yang tercepat di seluruh industri pada tahap ini , seiring kemajuan proyek dan ASIC Kami akan mencapainya lebih cepat.
Keserbagunaan: Faktanya, ada berbagai algoritma dalam kategori ZK, dan terdapat perbedaan antara algoritma yang berbeda. Cysic bertujuan untuk menyediakan layanan akselerasi ZK yang mendukung semua algoritma untuk industri, memperluas cakupan layanan kami dan meningkatkan kegunaan.
Desentralisasi: Cysic saat ini sedang membangun Jaringan Cysic, yang merupakan Jaringan ZK DePIN. Kami berharap dapat memberikan layanan ke seluruh ekosistem melalui Prover dan Verifier yang terdesentralisasi, dan peserta akan menerima imbalan dengan memberikan kontribusi yang sesuai kepada ZK.
DeepChao TechFlow: Saat ini, solusi akselerasi perangkat keras ZK terutama mencakup CPU, GPU, FPGA, dan ASIC. Metode mana yang lebih disukai Cysic untuk mengimplementasikan akselerasi perangkat keras ZK?
Leo Penggemar：
Faktanya, Cysic mempunyai pendapat yang cukup besar mengenai masalah ini. Ada kompetisi untuk akselerasi perangkat keras ZK yang disebut ZPrize. Cysic melewatkan ZPrize pertama tetapi menjadi desainer dan juri salah satu lagu di acara tahun ini.
Di seluruh ZK atau seluruh bidang perangkat keras. Ada tiga indikator yang lebih penting:
Yang pertama adalah Kinerja Per Dolar: yaitu, berapa biaya untuk membeli perangkat keras yang sesuai, dan berapa biaya untuk mendapatkan daya komputasi. Karena kinerja CPU tidak dapat mengimbangi solusi lain, akselerasi perangkat keras yang kita diskusikan sebagian besar didasarkan pada pada Terutama GPU, FPGA dan ASIC. Dari perspektif hemat biaya: ASIC > GPU > FPGA, ini adalah saat pengiriman ASIC cukup besar, dan ZK saat ini dapat memenuhi ketentuan volume pengiriman tersebut.
Indikator kedua adalah Performance Per Watt: yaitu konsumsi energi yang dikeluarkan untuk menjalankan perangkat keras tersebut. Dalam hal ini, performa ASIC masih jauh di depan, dan GPU sedikit lebih baik dibandingkan performa FPGA.
Indikator terakhir adalah Pergi ke Waktu Pasar: Kita tahu bahwa ASIC perlu mendesain chip, dan tape-out (Tape-out) adalah tautan penting dalam proses desain chip ASIC, dan masker yang dihasilkan perlu dikirim ke wafer Pembuatan chip dilakukan di pabrik berbentuk bulat, dan jika terjadi kesalahan pada proses tape-out akan menimbulkan biaya yang tinggi, sehingga saat ini semua orang lebih berhati-hati dalam mendesain dan membuat ASIC.
Hal yang sama berlaku untuk Cysic dalam jangka pendek. Dari akhir tahun lalu hingga awal tahun 2025, kami akan memberikan layanan akselerasi kepada semua orang melalui GPU, tetapi ASIC kami mungkin akan menemui Anda pada kuartal kedua dan ketiga tahun depan. kapan kami akan bertransformasi menjadi menyediakan Layanan ASIC terlebih dahulu. Ini adalah proses yang tidak dapat dihindari. Cysic berkomitmen untuk mewujudkan pembuatan bukti ZK secara real-time. Untuk Sirkuit ZK mainstream saat ini, kami berharap waktu pembuktian kami dapat mencapai kecepatan 1-5 detik dia.
Shenchao TechFlow: Bagaimana Cysic mengimplementasikan pembuatan bukti real-time? Perubahan atau inovasi apa yang akan didorong oleh hal ini pada ZK, Ethereum, dan bahkan seluruh industri kripto?
Leo Penggemar：
Saya pikir ini pasti akan menghasilkan inovasi yang sangat besar. Mari kita ambil contoh kombinasi ZK dan Machine Learning. Saat ini, jika Anda ingin menggunakan ZK untuk menjalankan Machine Learning Circuit, hal ini akan sangat memakan waktu: jika Anda menjalankan GPT2, diperlukan waktu sekitar satu menit tanpa ZK. .Detik, tetapi jika Anda ingin menggunakan ZK untuk membuktikan Sirkuit GPT2, bahkan solusi tercepat pun akan memakan waktu beberapa menit, dan jika Anda menggunakan CPU, akan memakan waktu sekitar beberapa jam .
Chip ASIC Cysic akan mampu mencapai pembuatan bukti ZK secara real-time, yang tidak hanya mempromosikan kombinasi ZK dan teknologi pembelajaran mesin, namun juga menghadirkan pengalaman yang baik bagi pengguna. Tentu saja, Crypto dan AI sekarang terintegrasi dengan sangat erat, jadi contoh ini juga merupakan contoh Crypto Native.
Selain itu, menurut saya akselerasi ZK juga sangat memberdayakan Ethereum dan bahkan seluruh industri enkripsi. Perubahan terbesarnya adalah hal-hal yang sebelumnya membutuhkan waktu lebih dari sepuluh menit untuk diselesaikan telah dipersingkat menjadi beberapa detik pada transaksi L2 Chain dapat dikonfirmasi lebih cepat, dan konfirmasi ini didasarkan pada logika matematika daripada asumsi "tidak bersalah" seperti OP. Ini merupakan peningkatan besar bagi industri enkripsi.
Pembuatan bukti ZK secara real-time dengan cara yang terdesentralisasi, model token ganda memberi insentif pada jaringan ZK DePIN
Shenchao TechFlow: Dalam solusi masa lalu, selalu sulit untuk menyeimbangkan efisiensi dan desentralisasi. Cysic tidak hanya menghasilkan bukti real-time, namun juga mencapai desentralisasi verifikator/pemberi sertifikasi. Anda cukup memberi tahu kami. Bisakah Anda memberi tahu kami bagaimana Cysic mencapai hal ini ? Bagaimana konsensus PoC yang diadopsi oleh Cysic dapat lebih meningkatkan desentralisasi?
Leo Penggemar：
Seperti disebutkan dalam pertanyaan sebelumnya, ada dua peran penting dalam jaringan ZK DePIN Cysic Network yang dibangun oleh Cysic: pemver dan verifikator.
Verifikator bertanggung jawab untuk memverifikasi bukti yang dihasilkan oleh pemverifikasi. Lebih mudah untuk mendesentralisasikan verifikator karena bahkan ponsel, laptop, dan tablet dapat berpartisipasi dalam memverifikasi bukti ZK. Persyaratan perangkat kerasnya sangat rendah dan waktu verifikasi biasanya lebih singkat dari satu detik.
Desentralisasi pembukti sulit dilakukan pada masa-masa awal (yaitu era GPU), karena jika Anda ingin memberikan pengalaman pengguna yang baik, artinya waktu untuk menghasilkan bukti relatif singkat, yang berarti Anda perlu untuk membuktikan Ada ambang batas tertentu bagi banyak orang untuk memenuhi persyaratan perangkat keras yang lebih tinggi. Namun ketika perangkat keras Cysic mulai dikirimkan, situasi ini akan sangat berkurang, karena dibandingkan dengan akselerasi GPU mainstream saat ini, perangkat keras Cysic dapat meningkatkan efisiensi akselerasi ZK hingga sepuluh kali lipat, dan harganya relatif lebih murah, semua orang dapat membeli Cysic perangkat keras dengan biaya lebih rendah untuk mencapai tingkat penambang profesional.
Dari perspektif perangkat lunak, Cysic saat ini sedang membangun jaringan ZK DePIN. Kami telah merancang mekanisme PoC (Proof of Compute) agar lebih sesuai dengan skenario ZK DePIN setiap Suatu zaman adalah sekitar 100 blok. Sekelompok node dipilih berdasarkan kekuatan komputasi pepatah, dan kemudian berdasarkan bobot janji dari kelompok node ini, diputuskan siapa yang akan mengusulkan blok dalam zaman ini Jaringan Berada dalam keadaan stabil juga akan semakin meningkatkan derajat desentralisasi.
Shenchao TechFlow: Kami memperhatikan bahwa Cysic mengadopsi desain model token ganda yang menggabungkan token utilitas dan token tata kelola. Bisakah Anda memperkenalkan kepada kami keuntungan dari desain token ganda dan bagaimana Cysic mencapai pembangunan ekologi melalui tata kelola dan insentif yang efektif ?
Leo Penggemar：
Dalam model token ganda: satu adalah Native Token dan yang lainnya adalah veToken.
Token Asli terutama digunakan untuk biaya bahan bakar, memberi penghargaan kepada kontributor ekologi, dll. Namun, jika Anda ingin berpartisipasi dalam tata kelola dan memutuskan distribusi daya komputasi jaringan, peserta harus menjaminkan Cysic Token untuk mendapatkan hak suara yang sesuai.
Kita tahu bahwa ZK memiliki banyak proyek, dan banyak di antaranya menggunakan algoritma yang berbeda, jadi bagaimana menjadwalkan daya komputasi di jaringan Cysic menjadi sangat penting. Jika daya komputasi dijadwalkan dengan baik, hal itu akan membawa keuntungan yang tinggi ke jaringan Cysic pada gilirannya dapat memberdayakan peserta jaringan dengan lebih baik. Memiliki hak suara sama dengan memiliki hak untuk berpartisipasi dalam penjadwalan daya komputasi. Misalnya, jika suatu proyek berkinerja sangat baik baru-baru ini, haruskah kita menyediakan lebih banyak daya komputasi? Melalui mekanisme seperti itu, tidak hanya lebih kondusif untuk menangkap nilai seluruh ekosistem ZK, namun Token Cysic juga dapat diedarkan dengan lebih baik ke seluruh ekosistem ZK.
Shenchao TechFlow: Persyaratan perangkat keras layanan akselerasi perangkat keras ZK mengingatkan kita pada jalur DePIN. Perluasan apa yang dimiliki konstruksi ekologis Cysic terhadap DePIN?
Leo Penggemar：
Kami berharap lebih banyak perangkat keras akan bergabung dengan jaringan Cysic. Perlu dicatat bahwa perangkat keras di jaringan Cysic ini tidak hanya menganggur, tetapi sebenarnya menjalankan layanan untuk menciptakan nilai melalui pembuatan bukti dan verifikasi perbedaan antara banyak proyek AI dan DePIN. Saat ini, jaringan Cysic sedang dalam tahap pengujian internal, dan ratusan server selalu penuh dengan tugas.
Selain itu, jaringan Cysic juga berdampak pada pengguna tradisional. Karena keunggulan ZK dalam komputasi privasi, kami juga akan memberikan layanan yang lebih baik kepada pengguna tradisional melalui jaringan DePIN.
Tren Mendalam TechFlow: Baik pada konferensi EDCON Montenegro tahun lalu atau Karnaval Web3 Hong Kong tahun ini, salah satu pendiri Ethereum, Vitalik Buterin, dengan jelas menyatakan pandangan bahwa "ZK adalah masa depan Ethereum." Mengapa Vitalik begitu bullish di ZK? Dibandingkan dengan solusi ekspansi lainnya, menurut Anda apa keunggulan teknologi ZK dan pemberdayaannya untuk Ethereum?
Leo Penggemar：
Menurut saya alasannya terbagi menjadi dua aspek:
Pertama-tama, ZK tidak perlu mempercayai orang tertentu. Berbeda dengan mekanisme kepercayaan OP yang “tidak diragukan lagi”, kepercayaan ZK didasarkan pada logika matematika yang ketat, dan teknologi ZK telah dikembangkan selama tiga puluh atau empat puluh tahun asumsi menjadi semakin lengkap pada tahun 2016. Oleh karena itu, lebih aman menaruh kepercayaan Anda pada matematika daripada solusi lainnya.
Kedua, dibandingkan dengan solusi ekspansi lainnya, seluruh arsitektur Ethereum lebih ramah terhadap pengembangan ZK. Setelah menggunakan ZK untuk menghasilkan bukti, maka dapat dengan cepat diverifikasi di Ethereum, dan bukti ZK yang dihasilkan dapat berupa Blok L2. Blok ini mungkin setara dengan 1.000 transaksi. Dengan kata lain, memverifikasi bukti ZK di Ethereum setara dengan memverifikasi 1.000 transaksi. Tanpa mengubah terlalu banyak lapisan dasar Ethereum, ZK adalah solusi ekspansi yang lebih baik.
Terakhir, mari kita bicara tentang pemberdayaan Ethereum melalui teknologi ZK: Saya pikir perkembangan pesat ZK telah meningkatkan waktu penyelesaian Ethereum melalui L2 secara signifikan, dan kedua, melalui ZK Bridge, Ethereum dapat menghindari banyak celah keamanan sekaligus meningkatkan efisiensi; , ZK juga memiliki pemberdayaan besar tentang bagaimana Ethereum sendiri menghasilkan Blok. ZK memiliki modul Fungsi Penundaan yang Dapat Diverifikasi yang menggunakan fungsi matematika yang ketat untuk menghasilkan angka acak dan juga menghasilkan bukti ZK yang sesuai untuk memverifikasi apakah Ada perhitungan yang baik dari Fungsi Penundaan, yaitu jaminan yang baik untuk keamanan dan keadilan Ethereum.
Deep Chao TechFlow: Menghadapi masalah efisiensi rendah ZK saat ini, Vitalik juga berfokus pada tiga arah solusi, yaitu: 1. Pohon paralelisasi dan agregasi; 2. Menggunakan algos dan hashing SNARK untuk meningkatkan efisiensi; . Cysic adalah proyek yang berfokus pada jalur akselerasi perangkat keras ZK. Menurut Anda, apa kelebihan perangkat keras ZK dibandingkan dengan dua arah solusi lainnya?
Leo Penggemar：
Faktanya, terdapat hubungan kerja sama antara solusi pohon paralelisasi dan agregasi pertama dan solusi akselerasi perangkat keras ZK ketiga. Solusi pohon paralelisasi dan agregasi sebenarnya adalah EVM Paralel (EVM paralel), atau agregasi bukti dan verifikasi batch.
Solusi kedua adalah dengan menggunakan algos dan hashing SNARK untuk meningkatkan efisiensi. SNARK (Succinct Non-Interactive Arguments of Knowledge) sebenarnya adalah ZK. Yang kami percepat adalah SNARK. Ada banyak parameter di SNARK dari banyak proyek Jika radikal maka akan berdampak tertentu pada keamanan. Keunggulan akselerasi perangkat keras ZK adalah kemampuannya untuk berakselerasi tanpa mengorbankan keamanan sasis.
Bantuan ZKVM dan pengiriman perangkat keras yang dikembangkan sendiri oleh Cysic, ZK dapat mengantarkan adopsi skala besar pada tahun 2025
Shenchao TechFlow: Baru-baru ini, angin ZK telah melanda Solana. Protokol privasi Light Protocol mengusulkan primitif baru untuk Solana: Kompresi ZK, yang berkomitmen untuk mengaktifkan komputasi ZK asli di Solana, sehingga token di Solana dan biaya manajemen Akun adalah dikurangi dengan urutan besarnya. Apa pendapat Anda tentang Kompresi ZK? Menurut Anda, peluang dan tantangan apa yang akan dibawa oleh hal ini ke jalur akselerasi perangkat keras ZK yang dijalankan Cysic?
Leo Penggemar:
Kompresi ZK adalah teknologi ZK yang baru muncul di Solana. Ini terutama menggunakan kesederhanaan ZK untuk mengecilkan keadaan, sehingga mengurangi overhead. Teknologi yang sama juga digunakan pada ZK-L2 dan ZK bridge. Bagi Cysic, tidak ada perbedaan antara inti teknologi ini dengan teknologi yang saat ini dikembangkan oleh Cysic. Hanya saja teknologi Cysic yang ada dapat memberikan dukungan yang baik untuk aplikasi ZK dalam skenario baru (Solana).
Shenchao TechFlow: Menurut Anda, berapa lama waktu yang diperlukan agar teknologi ZK benar-benar mencapai adopsi skala besar dalam skenario tertentu? Peluang penting apa yang dapat mendorong terwujudnya visi ini?
Leo Penggemar：
Saya pikir adopsi ZK dalam skala besar mungkin akan terjadi tahun depan, dan ini tidak hanya terbatas pada industri enkripsi, tetapi akan benar-benar diterapkan dalam banyak skenario pendaratan. Hal ini terutama disebabkan oleh dua peluang:
Pertama-tama, dari segi perangkat lunak, Cysic sangat memperhatikan pengembangan ZKVM. ZKVM bertujuan untuk membantu pengembang sehingga mereka tidak lagi harus menulis banyak Sirkuit ZK, tetapi dapat langsung menulis proyek RUST atau Go yang sesuai, dan kemudian mengubahnya menjadi Sirkuit ZK melalui ZKVM, yang sangat meningkatkan kecepatan pengembangan ZK dan menurunkan ambang batas pengembangan perangkat lunak ZK. Cysic juga akan terus mengeksplorasi dan meluncurkan solusi yang lebih baik dalam hal perangkat lunak.
Di sisi lain, perangkat keras Cysic yang dikembangkan sendiri akan dikirimkan tahun depan, yang juga akan sangat meningkatkan efisiensi pembuatan bukti ZK, sehingga menjadi kekuatan utama dalam mendorong adopsi teknologi ZK dalam skala besar.
Deep Wave TechFlow: Bisakah Anda berbagi dengan kami kemajuan besar yang dicapai Cysic baru-baru ini, dan apa yang akan menjadi fokus pekerjaan Cysic pada paruh kedua tahun 2024?
Leo Penggemar：
Cysic telah membuat banyak terobosan dalam satu tahun terakhir: Pada akhir tahun 2023, tim secara kasar menentukan arah pengembangan desain chip ZK. Sebelumnya, pekerjaan kami mungkin hanya mempercepat modul tertentu yang relatif berat pada akhir tahun lalu , kami menentukan arah pengembangan berdasarkan arah desain chip ZKVM, yang memungkinkan bentuk produk perangkat keras kami memiliki bentuk tampilan yang sangat fleksibel. Kami akan memiliki dua produk:
ZK Air akan menjadi produk untuk pengguna biasa. Ini adalah perangkat ZK DePIN yang ringan dan portabel yang mendekati ukuran pengisi daya Macbook. Perangkat ini dapat dihubungkan ke ponsel atau komputer melalui Type-C untuk mencapai sertifikasi ZK yang efisien. ZK Air memberikan daya komputasi lebih besar dibandingkan yang dapat ditawarkan oleh kartu grafis konsumen papan atas, dan sebanding dengan 10 RTX 4090.
ZK Pro dapat mempercepat produksi bukti ZK secara maksimal, menghitung bukti ZK untuk pengguna secara real time, dan dirancang mirip dengan mesin penambangan tradisional. ZK Pro lebih cocok untuk proyek ZK skala besar, seperti zkRollup, zkML, dan skenario lainnya. Dari segi performa, ZK Pro telah mencapai peningkatan besar dibandingkan Air. Menurut pengungkapan resmi Cysic, kekuatan komputasinya sebanding dengan 50 kartu grafis Nvidia RTX 4090.
Selain itu, dalam hal GPU, kami sendiri telah mengembangkan kode umum yang sesuai, yang jauh lebih baik dibandingkan dengan CPU. Dibandingkan dengan solusi sumber terbuka di pasaran, ini juga hampir dua kali lebih cepat Sebelum ASIC bertemu dengan Anda, kami bertujuan untuk Menyediakan layanan akselerasi perangkat keras ZK yang lebih baik kepada industri melalui GPU dan solusi lainnya.
Pada tahun 2024 mendatang, testnet Cysic akan diluncurkan pada pertengahan Juli, dan mainnet kemungkinan akan diluncurkan pada kuartal ketiga. Saat ini, sebagian besar pekerjaan pengembangan telah selesai, dan kami terus melakukan stress test dan lainnya aspek pekerjaan.