Topik trending
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Vanishree Rao
Pendiri @fermah_xyz | 15 tahun dan terus bertambah dalam merancang dan membangun ZK | PhD dalam Kriptografi di UCLA | Mode Mama Beruang
Saya suka bagaimana @Da_justified mempelajari berbagai aspek infra Fermah sambil mempelajari ruang. Pertumbuhan!
21 Jul, 23.34
Selamat datang kembali di Learning Fermah with Justified, di mana kami mengubah pertanyaan ZK besar menjadi ide-ide sederhana sehari-hari.
Kelas hari ini bertanya: Apa analogi Anda untuk menjelaskan bukti ZK kepada seorang teman?
Bayangkan ada ruangan dengan dua pintu. Di belakang yang satu ada harta karun, dan di belakang yang lain tidak ada apa-apa. Anda tahu di mana harta karun itu, tetapi Anda tidak ingin memberi tahu siapa pun pintu mana itu secara langsung. Jadi, sebagai gantinya, Anda masuk ke ruangan, memilih pintu yang tepat, dan keluar kembali. Anda melakukan ini lagi dan lagi. Orang-orang yang menonton tidak dapat melihat apa yang ada di balik pintu, tetapi mereka melihat Anda selalu berhasil. Seiring waktu, mereka percaya Anda benar-benar tahu jawabannya tanpa Anda pernah mengungkapkannya. Itulah bukti zero-knowledge. Ini membuktikan bahwa Anda tahu sesuatu tanpa menunjukkan apa itu.
Sekarang di sinilah @fermah_xyz masuk. Dalam kehidupan nyata, membuat bukti semacam itu tidak semudah itu. Anda membutuhkan perangkat keras yang kuat, pengetahuan tingkat lanjut, dan banyak penyiapan. Tetapi Fermah menangani semua itu untuk Anda. Ini memberi pengembang alat sederhana untuk dihubungkan dan mulai membuktikan dengan cepat, pribadi, dan dapat diskalakan.
Jadi, jika kita melihat kembali analoginya, Fermah bukan hanya orang yang melewati pintu yang benar. Fermah adalah harta karun nilai nyata yang menggerakkan segala sesuatu di belakang layar. Ini adalah bagian yang membuka keajaiban ZK tanpa stres.
Dengan @fermah_xyz, Anda tidak perlu membangun sendiri seluruh sistem pembuktian. Anda hanya fokus pada apa yang ingin Anda buktikan dan membiarkan Fermah melakukan sisanya.
Rasa hormat yang besar kepada @vanishree_rao karena memimpin pergeseran ini dan membangun apa yang terasa seperti masa depan pembuktian.
gfermah 💚
468
Vanishree Rao memposting ulang
Saya percaya alur kerja pembuktian abstrak sudah ada di sini; terlihat dalam perhitungan off-chain zkProofs dan agregasi bukti ini. Karena prosesnya asinkron, ini memungkinkan rantai untuk terus memproses operasi lain, mirip dengan cara beberapa layanan cloud beroperasi.
Itu sudah ada di sini.
Ketika membuktikan menjadi terukur dan elastis, sumber daya komputasi akan dimanfaatkan dengan lebih baik, dan kita akan melihat efisiensi dan kinerja perangkat keras yang lebih tinggi. @fermah_xyz
554
Vanishree Rao memposting ulang
Selamat datang kembali di Learning Fermah with Justified, di mana kami memecah pertanyaan ZK besar dalam bahasa sehari-hari yang sederhana. Hanya pembicaraan nyata tentang pengetahuan nol dan bagaimana @fermah_xyz membentuk masa depan. Mari selami pertanyaan hari ini.
Sekarang inilah yang besar dari kelas:
Bisakah alur kerja pembuktian abstrak menjadi AWS Lambda ZK? Terlalu jauh atau sudah di sini?
Mari kita uraikan. AWS Lambda mengubah permainan dengan mengizinkan pengembang menjalankan kode tanpa mengelola server. Semuanya menjadi lebih cepat, lebih ringan, dan lebih terukur. Di dunia ZK, pergeseran yang sama sudah terjadi, dan Fermah tepat di pusatnya.
Sebelumnya, menghasilkan bukti ZK berarti berurusan dengan pengaturan yang kompleks, perangkat keras yang mahal, dan banyak sakit kepala pengoptimalan. Tapi @fermah_xyz membalikkannya. Ini memberi pengembang API sederhana untuk dihubungkan, dan di balik layar, ia menangani segala sesuatu perangkat keras, pencocokan, pengoptimalan, dan bahkan pembuktian rahasia.
Itulah yang membuatnya terasa seperti AWS Lambda ZK sesuai permintaan, dapat diskalakan, dan ramah pengembang. Karena ini menjadi norma, kita akan melihat lebih banyak proyek yang berfokus pada logika produk mereka daripada rekayasa pembuktian. Membuktikan menjadi sesuatu yang Anda "panggil", bukan sesuatu yang Anda "bangun". Dan begitu mencapai skalabilitas dan elastisitas tingkat cloud yang sebenarnya, seluruh ekosistem ZK akan tumbuh lebih cepat.
Startup dapat membangun aplikasi ZK tanpa memerlukan tim kriptografi yang mendalam. Pemain besar dapat menskalakan bukti dengan biaya lebih murah. Fermah membuat masa depan itu nyata dengan mengabstraksi kompleksitas dan membuka pintu untuk adopsi massal. Ini bukan hanya kenyamanan, ini adalah pergeseran katalitik.
Inilah yang dibangun oleh @vanishree_rao dan tim
gfermah 💚
414
Suka tulisannya, @Da_justified
17 Jul, 19.02
Jika Anda pernah mencoba bekerja dengan bukti ZK, Anda akan tahu betapa berantakan, mahal, dan intensifnya perangkat keras. Di situlah @fermah_xyz masuk.
Fermah adalah platform yang membantu proyek menghasilkan bukti tanpa pengetahuan dengan cepat, murah, dan andal. Anda tidak perlu khawatir tentang kerumitan backend. Cukup panggil API, dan selesai.
Pikirkan Fermah sebagai perantara antara orang yang membutuhkan bukti (seperti aplikasi dan blockchain) dan orang yang menghasilkan bukti (menggunakan GPU, FPGA, dll). Ini seperti Uber, tetapi untuk membuktikan.
Pada intinya, Fermah adalah lapisan pembuktian universal. Ini mendukung semua jenis sistem ZK: zkEVM, zkVM, Groth16, dan STARK, dll. Jadi, apakah Anda membangun dengan zkSync, Polygon, atau Jolt, @fermah_xyz mendukung Anda.
Tapi mereka tidak berhenti di situ. Mereka juga memperkenalkan sesuatu yang disebut Confidential Proving Delegation (CPD). Cara baru untuk menghasilkan bukti secara pribadi. Tidak ada yang melihat data sirkuit Anda, bahkan orang yang membuktikannya. Itu kuat untuk aplikasi yang berfokus pada privasi.
Dan ya, fermah baru-baru ini membuktikan blok zkSync di testnet. Itu adalah langkah besar menuju adopsi dunia nyata.
Di belakang Fermah ada tim kelas dunia. Dipimpin oleh Vanishree Rao, seorang ahli ZK dengan gelar PhD. dalam kriptografi, dan didukung oleh nama-nama besar seperti a16z, Celestia, dan Aztec. (Saya berdiri untuk dikoreksi @vanishree_rao di aztec 😅)
Misinya? Untuk membuat ZK terbukti semudah dan semudah mengirim tweet.
Ini baru permulaan. Fermah membentuk masa depan pembuktian terdesentralisasi. Jika Anda peduli dengan penskalaan, privasi, atau membangun di ruang ZK, Anda harus mengawasinya.
gfermah 💚
611
.@lagon20ms menyelam dalam-dalam! Pertahankan.
CPD itu indah karena tidak dapat disangkal sebagai aditif bernilai.
16 Jul, 19.50
CPD Fermah
Seperti yang kita semua tahu, saya telah belajar tentang @fermah_xyz dalam beberapa hari terakhir, dan bagian ini benar-benar menonjol bagi saya:
Delegasi Pembuktian Rahasia (CPD)
Ini adalah cara Fermah memungkinkan Anda membongkar pekerjaan bukti ZK tanpa menyerahkan data Anda
Anda tahu, membuktikan adalah pekerjaan berat.
Dan untuk aplikasi yang mengutamakan privasi, itu bahkan lebih sulit
Anda ingin mendelegasikan pekerjaan, tetapi tidak membocorkan info sensitif.
CPD memecahkan itu;
dengan CPD, Anda mengirimkan pekerjaan bukti
itu terbelah dan diacak sebelum mencapai pembuktian mana pun
Jaringan dapat membuktikan komputasi Anda tanpa pernah melihat input mentah Anda.
pembuktian tidak mengenal saksi lengkap
mereka tidak tahu nilai-nilai apa yang mereka buktikan
Mereka hanya tahu:
"Ini valid, dan ini bukti untuk menunjukkannya"
Ini adalah privasi, dalam skala besar
Anda mendapatkan daya komputasi saat Anda membutuhkannya
dan tidak ada yang melihat di dalam pekerjaan bukti Anda, apa pun itu.
CPD @fermah_xyz saat ini ditayangkan untuk Groth16,
zkVM seperti Risc Zero, SP1 dan lainnya akan hadir berikutnya
Ini membuka bagian besar dari tumpukan ZK
Ini membuktikan pribadi dan tidak dapat dipercaya dengan desain
Beginilah yang seharusnya dirasakan ZK Infra
dapat diskalakan, tidak terlihat, dan dibangun di sekitar pengguna.
Anda hanya menulis logika
jaringan melakukan sisanya.
102,88K
Vanishree Rao memposting ulang
Kemajuan terbesar terjadi dalam keheningan
Kemajuan paling inovatif di bidang teknologi apa pun sering lahir dalam keheningan, melalui kemitraan yang terbentuk di balik pintu tertutup dan inovasi yang dikembangkan jauh dari sorotan.
Kemajuan sejati tidak selalu membuat keributan pada awalnya. Tetapi ketika akhirnya muncul, itu mengguncang dunia.
Dalam kasus ruang ZK, apa yang kita saksikan hari ini, minat yang meledak-ledak, momentum, traksi, tidak muncul begitu saja dalam semalam. Ini adalah hasil dari upaya yang tenang dan konsisten selama bertahun-tahun.
Dari pekerjaan dasar proyek seperti Zcash hingga ZKSync dan seterusnya, gerakan ini telah membangun batu bata demi bata. Gelombang saat ini hanya mungkin karena dasar yang telah diletakkan.
Saat ini, Ethereum dan pendirinya, Vitalik Buterin, mendorong untuk mengubah seluruh blockchain Ethereum menjadi sistem bertenaga ZKEvm. Tetapi bahkan visi itu mengakar kuat dalam perjalanan ZKP yang dimulai bertahun-tahun yang lalu.
Konon, diam terlalu lama bisa menjadi masalah. Di dunia di mana perhatian adalah mata uang, terlalu banyak ketenangan bisa terlihat seperti stagnasi.
Ada pepatah: keberuntungan adalah apa yang terjadi ketika persiapan bertemu dengan peluang. Tetapi peluang sering datang ketika orang tahu Anda sedang membangun.
Jadi saat membangun dalam keheningan, jangan takut untuk membuat keributan. Tunjukkan apa yang Anda buat.
Dan dengan pengumuman baru-baru ini antara @fermah_xyz x @mintairxyz yang secara aktif mendukung pasar bukti @fermah_xyz sejak tahap awal, dan mereka menggandakan kolaborasi ini saat fermah mendekati mainnet.
Biarkan orang-orang, komunitas, dan blockchain yang suatu hari akan mengandalkan inovasi Anda tahu bahwa Anda ada, bahwa Anda bekerja, bereksperimen, dan mendorong batas.
Kesimpulannya, tulang punggung ZKP selalu menjadi keramaian di balik layar: kerja dasar yang tenang, eksperimen yang gagal, pengujian tanpa henti, dan kemitraan cerdas. Apa yang kita lihat hari ini bukanlah keberuntungan, itu warisan yang bergerak.
@PranitGarg
1,06K
Teratas
Peringkat
Favorit