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
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

383
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 💚

360
Suka tulisannya, @Da_justified

Justified17 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 💚

533
.@lagon20ms menyelam dalam-dalam! Pertahankan.
CPD itu indah karena tidak dapat disangkal sebagai aditif bernilai.

h16 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,38K
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,02K
Vanishree Rao memposting ulang
Ini hari Senin, dan cara apa yang lebih baik untuk memulai minggu selain menulis tentang @fermah_xyz !
Jadi apa sebenarnya Fermah
Fermah pada dasarnya adalah pasar zkproof, menghubungkan mereka yang membutuhkan bukti tanpa pengetahuan (pencari) dan mereka yang menghasilkan bukti (Provers). Anggap saja seperti Uber, ini menghubungkan pengemudi dengan orang-orang yang membutuhkan tumpangan dengan mencocokkannya secara efisien dengan pengemudi terdekat.
Ps: ini yang pertama dari jenisnya 🫠
Bagaimana ini mungkin
Saya tahu apa yang Anda pikirkan, saya juga memiliki pertanyaan yang sama, itulah mengapa saya membaca dokumenter dan sangat senang saya datang untuk membagikannya.
Jadi inti dari teknologi Fermah terletak tiga komponen penting:
- Node Pencari
- Mak comblang (inti)
- Simpul pembuktian
The Matchmaker adalah tempat kesenangan dimulai
Anda tahu, apa yang @vanishree_rao coba capai di sini adalah memberi siapa pun dan semua orang akses untuk menggunakan sistem pembuktian apa pun yang mereka pilih untuk memverifikasi tugas secara efektif, oleh karena itu Fermah adalah proof-agnostic. Ini mendukung semua sistem bukti utama dari @boundless_xyz RISC Zero, @SuccinctLabs SP1, Jolt by @a16zcrypto, Valida by @0xLita, Stwo by @StarkWareLtd dengan ekspansi cepat untuk mengakomodasi sistem bukti @aztecnetwork, @NexusLabs zkVM, Stone by @StarkWareLtd dan semua sistem bukti lainnya yang mungkin ditemukan di masa depan. Pengembang tidak lagi harus menyesuaikan aplikasi mereka agar sesuai dengan rantai penyebab sistem pembuktian, Anda dapat membangun rantai APAPUN dan pembuktian Anda ditangani oleh Fermah
Apa yang dilakukan mak comblang (seperti namanya) adalah mengatur pekerjaan di seluruh jaringan. Bagaimana cara kerjanya adalah:
- pertama-tama memverifikasi parameter permintaan
- kemudian secara cerdas mencocokkan tugas ke node pembuktian optimal berdasarkan kriteria perangkat keras, biaya, dan kinerja yang diperlukan
Anda tidak perlu lagi khawatir tentang GPU atau bukti yang menganggur yang membutuhkan waktu terlalu lama untuk dihasilkan
Dengan @fermah_xyz, privasi ada di ujung jari Anda!
1,21K
Vanishree Rao memposting ulang
Saya pikir salah satu pendorong terbesar ekosistem Web3 adalah kemampuannya untuk mewujudkan ekspektasi Web2.
Pengguna selalu membutuhkan tiga hal penting adalah biaya, waktu, dan keamanan.
Biaya:
Biasanya, ketika Anda melakukan transaksi, katakanlah di organisasi keuangan seperti bank, atau bahkan menggunakan portal pembayaran, biaya transaksinya sangat tinggi sehingga Anda menerimanya apa adanya, atau... Anda menerimanya apa adanya.
Tidak ada pilihan lain. Karena perusahaan yang bersangkutan mengendalikan segalanya:
Cara Anda mengirim uang
Berapa lama waktu yang dibutuhkan untuk sampai ke sana
Jumlah yang diizinkan untuk Anda kirim
Dan berapa banyak yang akan mereka kenakan kepada Anda
Terkadang bahkan tanpa memberi tahu Anda alasannya, Anda tidak benar-benar memegang kendali. Anda hanya berada di dalam sistem.
Lihat artikel saya
@fermah_xyz @vanishree_rao @PranitGarg

409
Teratas
Peringkat
Favorit
Trending onchain
Trending di X
Pendanaan teratas terbaru
Paling terkenal