Berikut pembicaraan kami dari Google ZK Summit minggu lalu: Kriptografi / @OmerShlomovits Berkecepatan Tinggi H/t Mauro untuk rekaman, Google untuk hosting.

tepat satu tahun yang lalu saya bergabung dengan @Ingo_zk. Pada waktu itu, saya telah mengerjakan banyak proyek. Tapi dua yang istimewa: Icicle-Snark dan Icicle-Halo2. Ketika saya pertama kali mengetahui tentang ZK, saya mencoba memahami apa itu R1CS, bagaimana Groth16 bekerja, bagaimana menulis sirkuit sirkuit. Hari ini saya adalah penulis Pembuktian Groth16 tercepat dan Pemprobor Halo2 tercepat (saya kira). icicle-snark adalah implementasi groth16 baru yang menggunakan ICICLE dan ditulis dalam Rust. Ini 160x lebih cepat dari SnarkJS dan 30x lebih cepat dari RapidSnark di 5090. icicle-halo2 adalah garpu @ezklxyz-halo2 dengan integrasi ICICLE yang memberikan dorongan pembuktian hingga 25x menggunakan kernel evaluasi gerbang. Secara keseluruhan, ini adalah tahun yang menyenangkan untuk belajar, membangun, dan mengirim.

Bagaimana saya bisa menjadi Matematikawan? (cerita panjang) Sebagai seorang anak, ayah saya berkata kepada saya "keluarga kami tidak pandai dalam matematika" dan saya, lebih suka sepak bola dan kencan daripada apa pun yang melibatkan kerja otak, menerima ini sebagai kebenaran. Sebagai sarjana saya belajar Biologi dan CS, untuk masuk ke Ilmu Saraf (saya akhirnya menikah dengan putri salah satu profesor saya yang terhormat. Tapi itu cerita yang berbeda). Saya menyadari bahwa saya sangat menyukai kursus matematika, dan membenci apa pun yang diterapkan - baik itu pemrograman atau laboratorium biologi. Faktanya, setiap pembukaan semester saya pergi ke Dekan sarjana pada saat itu (Prof. @noamnisan, sekarang penasihat StarkWare) untuk bernegosiasi mengganti kursus pemrograman dengan lebih banyak matematika (itulah sebabnya saya tidak tahu pemrograman sampai hari ini; meskipun Pengantar C++ adalah mata kuliah pertama yang saya ajarkan sebagai Asisten Profesor. Tapi itu juga adalah cerita yang berbeda.) Kemudian, sebagai mahasiswa pascasarjana, saya ingin masuk ke Pembelajaran Mesin, tetapi Profesor yang didambakan (Tali Tishby, RIP), sudah memiliki siswa gazzilion. Saya sedang mengikuti kursus tentang Kompleksitas Komputasi yang diajarkan oleh seorang Postdoc, ketika dia digantikan untuk satu kuliah oleh Avi Wigderson. Saya tidak tahu apa-apa tentang dia pada saat itu (fotonya memang muncul di poster, karena dia baru saja menerima Hadiah Nevanlinna, tetapi sebagai mahasiswa pascasarjana muda yang bodoh saya tidak tahu apa artinya itu). Avi berbicara tentang bagaimana beberapa orang sekarang mencoba membuktikan secara resmi bahwa tidak mungkin untuk menyelesaikan dugaan P vs. NP. Dan saya terpesona oleh ini. Jadi saya mengatakan kepadanya: Saya ingin mempelajari ini sebagai MSc. proyek saya. Periode pacaran dimulai. Avi tidak yakin saya cocok untuknya (nilai matematika saya baik-baik saja, tetapi saya tidak pernah tipe siswa straight-A). Jadi, dia menjatuhkan buku tentang Kompleksitas Bukti pada saya, mengatakan: Baca dan ringkas untuk saya. Saya membaca buku itu seperti 3 kali dari sampul ke sampul dan tidak mengerti sepatah kata pun di luar bab intro (hari ini saya tahu itu kemungkinan besar kesalahan penulis, bukan kebodohan saya sendiri. Tapi itu cerita lain). Beberapa minggu kemudian, masih tidak memahami sepatah kata pun tentang materi pelajaran, Avi meminta untuk menjelaskan makalah baru-baru ini tentang "derajat dan ukuran bukti Kalkulus Polinomial". Kami duduk di rumahnya, saya menjelaskan. Pada titik tertentu dia bertanya: "Mengapa ini tidak dapat diterapkan pada sistem bukti Resolusi?" (Resolusi adalah Sistem bukti kalkulus proposisi yang paling penting dan mendasar). Saya menyipitkan mata, berpikir sedikit, dan berkata "Oh, tapi bisa, begini caranya", dan menerapkan metode pembuktian yang sama ke Resolution. Avi menjadi sangat bersemangat. Saya berkata "mari kita kirim email ke penulis makalah sebelumnya", berpikir bahwa jika saya memahami hal ini, itu tidak bisa lebih dari email yang layak. Avi bersikeras kami menulisnya sebagai makalah. Setiap beberapa hari saya mencoba meyakinkannya untuk membatalkannya dan hanya mengirim email, tetapi dia bersikeras, dan saya mendengarkan. Hal yang baik saya lakukan. Itu berakhir sebagai makalah saya yang paling banyak dikutip dan impotan sebelum yang STARK / SNARK. Setelah makalah itu, beberapa orang lain datang. Dengan masing-masing, saya yakin itu hanya pengamatan yang layak untuk email, bukan Deep Math. Saya melihat semua makalah lain ini, yang sangat sulit untuk dipahami, dan sebagai perbandingan barang-barang saya sendiri begitu jelas dan sederhana. Butuh waktu bertahun-tahun bagi saya untuk menyadari bahwa beginilah kemajuan matematika. Anda menghabiskan banyak waktu untuk menginternalisasi beberapa konsep teoretis, dan kemudian suatu hari Anda "melihatnya". Dan kemudian tampaknya bagi Anda semua jelas dan sederhana. Tapi itu jelas dan sederhana hanya untuk Anda. Bagi yang lain, itu rumit. Hari ini, ketika saya harus pergi dan melihat kembali beberapa makalah saya sebelumnya, saya mendapati diri saya menyipitkan mata, menggaruk-garuk kepala, dan berkata "sial, itu beberapa hal serius, bagaimana mereka bisa membuat ini?" :-) Setelah terobosan matematika awal itu, Avi menawarkan saya tidak hanya melakukan MSc tetapi sebenarnya PhD, itulah bagaimana saya menjadi ilmuwan komputer teoretis (yang merupakan semacam matematikawan). AKHIR.

Teknologi siap untuk memodernisasi keuangan, tetapi kita harus memodernisasi undang-undang kita terlebih dahulu. Undang-Undang GENIUS adalah langkah maju yang besar, mari kita pertahankan momentumnya. Adopsi solusi yang luas seperti ZK Proofs akan menjadi pembukaan besar untuk perlindungan konsumen.

🍫 Episode 🍫 Cokelat Snark Baru Masa Depan FHE Tabir Surya Minggu ini kami duduk bersama @ravitals, pendiri @SunscreenTech, untuk berbicara tentang jalan menuju adopsi FHE dunia nyata. 🔐 Masa lalu, sekarang & masa depan FHE 🏗️ Arsitektur & desain tabir surya 🛠️ Tumpukan teknologi & peta jalan ✨ Apa yang membedakan Tabir Surya 🤝 Kolaborasi dengan Monad 🧲 Kiat untuk merekrut di deep tech Spotify: Podcast Apple: YouTube: Klub Cokelat Snark di Telegram:

Pagi! Kami bekerja langsung dengan manajer akun khusus di @AIatAMD yang membantu melacak masalah perangkat lunak yang dilaporkan oleh pelanggan kami. Menemukan bug? Ajukan masalah GitHub, kami akan menghulurkannya dan menindaklanjutinya hingga penyelesaian. Meskipun kami tidak dapat menjamin garis waktu (beberapa perbaikan mungkin memerlukan rilis ROCm di masa mendatang), ini adalah langkah maju yang besar dari @AMD lama. Kami tahu betapa pentingnya bagi pengembang untuk merasa didengar, dan sekarang, mereka benar-benar didengar. Ini adalah salah satu dari banyak nilai tambah yang kami tawarkan. ❤️

Hari ini, pada hari jadi ke-10 @ethereum, kami meluncurkan EigenDA V2 dengan throughput 100 MB/s, menjadikannya solusi ketersediaan data pertama yang mendobrak hambatan TIGA digit. Saat Ethereum memasuki dekade keduanya, kami bangga membantu meningkatkan gelombang inovasi berikutnya. Pelajari lebih lanjut 🧵

Beberapa hasil yang mengesankan di dalam!

Datang untuk merchandise, tinggal untuk teknologi!

Dragonfly berinvestasi ke PepperSec, Inc., pengembang Tornado Cash, pada Agustus 2020. Kami melakukan investasi ini karena kami percaya pada pentingnya teknologi pelestarian privasi sumber terbuka. Sebelum investasi kami, kami memperoleh pendapat hukum dari luar yang mengonfirmasi bahwa Tornado Cash sebagaimana dibangun mematuhi hukum, di bawah panduan yang diberikan oleh FinCEN pada tahun 2019. Pemerintah sekarang telah menyatakan di pengadilan terbuka bahwa mereka sedang mempertimbangkan tuntutan terhadap Dragonfly karena telah berinvestasi ke dalam tim Tornado Cash pada tahun 2020. Atas saran penasihat hukum, kami menahan diri dari komentar publik. Tapi kita tidak bisa lagi diam. Kami sangat percaya pada hak privasi orang Amerika, dan kekurangannya tetap menjadi salah satu masalah terbesar kripto yang belum terpecahkan. Oleh karena itu, kami mendukung investasi kami. Kami tidak mengoperasikan atau melakukan kontrol apa pun atas Tornado Cash, kami tidak memiliki kontak dengan pengguna jahat mana pun, kami selalu mendorong perusahaan portofolio kami untuk mengikuti hukum, dan kami berpendapat bahwa Tornado Cash sendiri memiliki hak yang sah untuk eksis—pandangan yang diperkuat oleh Van Loon v. Departemen Keuangan dan pembatalan sanksi OFAC berikutnya. Menuntut perusahaan ventura atas dugaan pelanggaran perusahaan portofolio belum pernah terjadi sebelumnya, terutama dalam keadaan ini. Pada tahun 2023 kami menerima panggilan pengadilan DOJ dan telah bekerja sama penuh dengan penyelidikan pemerintah terhadap Tornado Cash, yakin bahwa kami selalu mematuhi hukum. DOJ telah menjelaskan bahwa kami sendiri bukan target penyelidikan mereka. Seperti halnya setiap investasi, kami memberikan saran dan dukungan yang sama kepada PepperSec yang kami tawarkan kepada semua perusahaan portofolio. Kami percaya pernyataan pemerintah di pengadilan hari ini terutama untuk melemahkan pembelaan Tornado Cash—untuk mempersulit pembela memanggil Tom untuk bersaksi di panggung. Setelah sekian lama—bertahun-tahun kemudian—mengajukan tuntutan terhadap Dragonfly akan keterlaluan, bertentangan dengan fakta dan hukum, dan akan menimbulkan efek mengerikan pada semua investasi ke dalam teknologi kripto dan pelestarian privasi di Amerika. Kami tidak percaya DOJ akan benar-benar membawa tuduhan yang tidak masuk akal dan tidak berdasar seperti itu. Tetapi jika mereka melakukannya, kami berniat untuk membela diri dengan penuh semangat.