Apakah Anda telah belajar ZK dan ingin pertanyaan Anda dijawab? Bergabunglah dengan panggilan mendatang dan bicara langsung dengan tim yang membuat keajaiban terjadi! Tautan berikutnya.

Seri Uniswap V3 melanjutkan: Cadangan Riil dan Cara Menghitungnya Harga dalam AMM berubah saat token masuk dan keluar dari pool selama swap. Cadangan riil dari token hanyalah jumlah token yang harus ditukar oleh pedagang dengan harga untuk mencapai tick berikutnya. Cadangan riil x adalah jumlah token x yang harus ditukar untuk mencapai centang atas -- dan cadangan riil y adalah jumlah token y yang harus ditukar untuk mencapai centang bawah. Anda mungkin belajar cara menghitung cadangan riil dengan "menerjemahkan" kurva Uniswap V2 hingga melintasi sumbu x dan y -- lalu melakukan beberapa aljabar multi-langkah. Kami datang dengan derivasi yang jauh lebih sederhana! Dan memiliki gambar dan animasi yang bagus. Pelajari lebih lanjut di posting blog terbaru kami. Senang kami menyederhanakan.

Kami dengan bangga mengumumkan peluncuran RareCode .ai AI modern melakukan pekerjaan yang baik untuk menjelaskan kode. Namun, belajar berasal dari penulisan kode. Jadi kami menggabungkan keduanya. Pelajari lebih lanjut 👇

Jika Anda ingin benar-benar mempelajari ZK, Anda harus menerapkan algoritme dari awal. Buku ZK telah membantu puluhan insinyur menyelesaikan perjalanan.

@RareSkills_io Buku Pengetahuan Nol | M1· C1 Bagaimana jika Anda dapat membuktikan bahwa Anda tahu solusi tanpa pernah mengungkapkannya? Temukan bagaimana P vs NP memungkinkan bukti tanpa pengetahuan. 👇 Mari kita ungkap 🧵

Kami bangga menjadi bagian dari perjalanan ini!

Posting blog baru muncul: Lingkaran FFT — Bagian 1: Membangun Domain Lingkaran Matematika di ZK biasanya dilakukan dalam bidang terbatas, yang merupakan kelompok yang ditambahkan. Tetapi pengoptimalan khusus adalah menggunakan lingkaran sebagai domain grup. Lingkaran adalah sepasang elemen (x, y) yang memenuhi x² + y² = 1 mod p. Artikel ini menunjukkan bagaimana kumpulan titik tersebut dapat diubah menjadi grup sambil juga memiliki properti yang diperlukan untuk melaksanakan algoritma FFT (dan dengan ekstensi, algoritma STARK). Ditulis oleh @cabrio_yugo, yang menerima hibah dari zkBankai untuk membuat karya ini. Tautan di balasan

Jam kantor dengan Vyper terjadi dalam waktu lebih dari 2 jam. Bersiaplah untuk penyelaman mendalam kompiler lain di mana kita akan mengeksplorasi: - Racun IR (representasi perantara) - Strategi pengoptimalan - Jaminan keamanan Undang balasan.

Ketika kami merilis Buku ZK lebih dari setahun yang lalu, kami mengambil ruang pendidikan ZK selangkah maju yang besar. Buku kami memelopori pendekatan "matematika yang cukup" untuk belajar ZK. Hari ini kami melakukannya lagi dengan tambahan baru untuk ZK Book. "Pola Desain Sirkuit dan Kendala" Bagian baru ini berfokus pada cara merancang, membuat, dan mengaudit sirkuit ZK yang tidak sepele. Anda mungkin telah melihat banyak tutorial tentang cara membuktikan bahwa Anda tahu evaluasi polinomial menggunakan Circom. Tapi bagaimana Anda beralih dari sana untuk merancang ZKVM atau membuktikan bahwa Anda tahu primasi dari fungsi hash tradisional (seperti MD5 atau Keccak256)? Bagian baru dari Buku ZK kami membawa Anda dalam perjalanan dari perkalian menjadi angka bersama-sama untuk: - membangun ZKVM dari awal - batasan pengkodean untuk fungsi hash MD5 - Pelajari pola desain berulang dalam desain kendala Bagian terakhir menarik karena beberapa "pola desain" yang mapan bahkan tidak memiliki nama untuk mereka. Kami harus menemukan beberapa terminologi! Seperti biasa, kami sangat bijaksana tentang bagaimana kami memperkenalkan pembaca pada ide-ide baru untuk menghindari kewalahan seseorang yang baru. Kami berhati-hati untuk memastikan kami mengajarkan prasyarat dalam urutan yang masuk akal dan dengan banyak contoh. Setiap bab menunjukkan cara membangun sirkuit untuk aplikasi yang semakin kompleks. Dengan setiap bab, Anda berdua meninjau apa yang Anda pelajari sebelumnya dan mempelajari pola desain baru. Setelah Anda membangun kumpulan pola desain ini, Anda dapat menyusunnya bersama-sama untuk membangun aplikasi yang lebih kompleks, seperti ZKVM atau fungsi hash non-sepele. Kami berusaha keras untuk memastikan bahwa materi mudah dipahami dan diperbaiki tanpa kelalaian penting. Kami ingin mengucapkan terima kasih kepada @ChainLight_io, @VeridiseInc, @PrivacyScaling, dan @zksecurityXYZ karena telah mengalokasikan waktu untuk meninjau pekerjaan ini dan memberikan saran. Kami sangat berterima kasih kepada @marcobesier dari @zksecurityXYZ karena telah bekerja melalui beberapa revisi untuk benar-benar membuat bab-bab menjadi dalam keadaan yang dipoles. Teriakan khusus untuk @cal_nix karena ikut menulis tujuh bab pertama di bagian baru buku ini! Topik yang kami bahas di sini sangat mendasar. Jika Anda tidak memahami materi di sini, mempelajari internal klien ZKVM atau ZK L2 yang lebih modern akan cukup menantang. Hingga saat ini, tidak adanya penjelasan berorientasi pendatang baru untuk konsep dasar seperti itu telah menahan ruang ZK. Karya baru ini bukan hanya "penjelasan yang lebih baik" dari materi yang ada, tetapi penjelasan pertama sama sekali - di luar makalah akademis. Kami menggunakan Circom sebagai bahasa pengantar karena kami menganggapnya yang paling ramah pemula. Namun, apa yang Anda pelajari di sini menggeneralisasi ke kerangka kerja lain seperti Plonky3, Halo2, o1js, dan Gnark. Artikel baru sekarang membuat Buku ZK lebih dari 38.000 kata lebih panjang. Anda tidak perlu tahu cara kerja ZK-SNARK untuk membaca bagian buku ini, tetapi ada beberapa prasyarat. Ini tercantum dalam bab "Pengantar Circom". Seperti biasa, materi ini sepenuhnya gratis tanpa perlu login.

Di awal perjalanan audit Anda? Kami membuat sumber belajar baru: Buggy ERC-20s Buggy ERC-20s adalah repositori dari 20 (ya itu disengaja) implementasi kontrak ERC-20, tetapi dengan bug. Sebisa mungkin, kami mencoba membuat bug ini mencerminkan jenis kesalahan yang sebenarnya dilakukan pengembang. Ini adalah latihan pembelajaran yang kami gunakan di Solidity Bootcamp kami, tetapi seperti yang Anda ketahui, kami membuat semua sumber belajar kami gratis. Anda akan mempertajam mata Anda untuk menangkap baris yang hilang, kode yang mengkompilasi tetapi berperilaku tidak benar, dan kasus sudut penting. Ini bukan CTF biasa, kami tidak menyediakan tes unit bagi Anda untuk memeriksa jawaban Anda karena itu tidak realistis. Anda harus mengatasi masalah seperti yang biasanya dilakukan auditor! Kami membuat kumpulan masalah yang cukup besar karena kami ingin Anda mendapatkan beberapa pengulangan dalam latihan Anda. Berlatih bukanlah satu dan selesai. Meskipun ada beberapa bug serupa antar token, tidak ada repositori yang memiliki bug yang identik. Setiap repo memiliki satu bug, dan bugnya serius dan tidak hipotetis. Beberapa serangga jelas dan beberapa halus. Anggap diri Anda berpengalaman? Maka Anda harus dapat menemukan bug dalam waktu kurang dari satu menit per basis kode. Melompat ke audit basis kode yang besar bisa mengintimidasi, jadi kami menjadikan ini sebagai batu loncatan. Repo ini dibuat oleh @degenshaker. Tautan berikutnya.