LIVE
Veridise
@veridise
Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
Mengikuti
Pengikut
Disukai
Dibagikan
Lihat asli
Presentasi akhir minggu Bangkok! @FormallyJon berbagi contoh bug di alam liar, dengan ringkasan wawasan dari 100 audit terkini kami.
Lihat asli
Pidato utama tentang ZK Circuits di dApps dan jebakan terbesar yang harus dihindari oleh @FormallyJon di @epicweb3 L2Con.
Semoga ZK Anda bebas dari bug! 🪲 Rekaman akan segera hadir.
Semoga ZK Anda bebas dari bug! 🪲 Rekaman akan segera hadir.
Lihat asli
Salam dari @epicweb3 L2Con!
Kami semua sudah menyiapkan pernak-pernik kami, termasuk kaos oblong "Excuse if I'm SNARKy" yang sangat populer 👀
Kami semua sudah menyiapkan pernak-pernik kami, termasuk kaos oblong "Excuse if I'm SNARKy" yang sangat populer 👀
Lihat asli
Salam dari Formal Verification Hangout!
@FormallyJon menyampaikan ceramah singkat selama 8 menit tentang Unifying ZK: Kerangka Kerja DSL Komprehensif untuk Masa Depan.
Lihatlah! Presentasi yang lebih panjang tentang topik yang sama akan segera tersedia.
@FormallyJon menyampaikan ceramah singkat selama 8 menit tentang Unifying ZK: Kerangka Kerja DSL Komprehensif untuk Masa Depan.
Lihatlah! Presentasi yang lebih panjang tentang topik yang sama akan segera tersedia.
Lihat asli
Saatnya untuk 3 berita keamanan blockchain teratas minggu ini:
1) @metawincom diretas hingga $4 juta
2) Penyerang mengambil alih akun X @wizkhalifa untuk mempromosikan penipuan kripto
3) Polisi Kanada memuji @Tether_to atas pemulihan dana yang dicuri
Cerita berlanjut di bawah 🧵
1) @metawincom diretas hingga $4 juta
2) Penyerang mengambil alih akun X @wizkhalifa untuk mempromosikan penipuan kripto
3) Polisi Kanada memuji @Tether_to atas pemulihan dana yang dicuri
Cerita berlanjut di bawah 🧵
Lihat asli
.@FormallyJon menganalisis fitur berbagai bahasa/kerangka kerja ZK dalam ceramahnya di ZK Accelerate hari ini.
Lihat asli
Alp, Jon, Stas, dan Mikko mengirimkan salam dari ZK Accelerate, Bangkok!
Orang-orang yang luar biasa di sekitar, seperti biasa, dan kesempatan yang bagus untuk bertemu kembali dengan teman-teman lama!
Terima kasih @Ingo_zk telah mengundang kami.
Orang-orang yang luar biasa di sekitar, seperti biasa, dan kesempatan yang bagus untuk bertemu kembali dengan teman-teman lama!
Terima kasih @Ingo_zk telah mengundang kami.
Lihat asli
Menuju Bangkok, tim kami sedang menuju DevCon! 🇹🇭
Temui kami di ZK Accelerate, L2Con, dan Hack Seasons.
CEO kami @FormallyJon akan memberikan presentasi di semua acara ini.
Lihat jadwal lengkap kami di bawah ini 🧵
1/5
Temui kami di ZK Accelerate, L2Con, dan Hack Seasons.
CEO kami @FormallyJon akan memberikan presentasi di semua acara ini.
Lihat jadwal lengkap kami di bawah ini 🧵
1/5
Lihat asli
Mengumumkan AuditHub!
Klien Veridise sekarang mendapatkan lebih dari sekadar laporan audit biasa.
Kenali Veridise AuditHub — kekuatan audit serba ada kami!
Selami untuk detail lebih lanjut 🧵
1/6
Klien Veridise sekarang mendapatkan lebih dari sekadar laporan audit biasa.
Kenali Veridise AuditHub — kekuatan audit serba ada kami!
Selami untuk detail lebih lanjut 🧵
1/6
Lihat asli
Siap untuk 3 berita keamanan blockchain teratas minggu ini? Berikut ini:
1) @SUNRAY_DEX mengalami eksploitasi senilai $2,7 juta
2) @M2Exchange kehilangan $13,7 juta dalam peretasan bursa
3) Peretasan Lottie Player menguras dompet kripto korban
Cerita berlanjut di bawah 🧵
1) @SUNRAY_DEX mengalami eksploitasi senilai $2,7 juta
2) @M2Exchange kehilangan $13,7 juta dalam peretasan bursa
3) Peretasan Lottie Player menguras dompet kripto korban
Cerita berlanjut di bawah 🧵
Lihat asli
Pada seri Sorotan Tim minggu ini, kami dengan senang hati memperkenalkan Bryan Tan, VP Teknik kami di Veridise 🧵
1/2
1/2
Lihat asli
Posting blog baru sudah tayang: "Bertemu Tim Kami: 10 pertanyaan untuk Shankara Pailoor"
@mikkoikola berbincang dengan Kepala Riset Keamanan ZK kami @ShankaraPailoo2 untuk membahas segala hal mulai dari perjalanan gelar doktor Shankara, praktik terbaik untuk pengembangan ZK yang aman, alat Picus, hingga filosofi!
Temukan tautan wawancara di bawah ini 🧵
@mikkoikola berbincang dengan Kepala Riset Keamanan ZK kami @ShankaraPailoo2 untuk membahas segala hal mulai dari perjalanan gelar doktor Shankara, praktik terbaik untuk pengembangan ZK yang aman, alat Picus, hingga filosofi!
Temukan tautan wawancara di bawah ini 🧵
Lihat asli
Pada "minggu pencurian karpet" ini, kami akan membagikan 3 berita keamanan blockchain teratas berikut:
1) @Essence_Fi diduga melakukan pencurian karpet senilai $20 juta
2) Seorang peretas menguras $20 juta dari dompet pemerintah AS
3) Penipu menguangkan $3,4 juta dalam pencurian karpet Sharpei
Cerita berlanjut di bawah 🧵
1) @Essence_Fi diduga melakukan pencurian karpet senilai $20 juta
2) Seorang peretas menguras $20 juta dari dompet pemerintah AS
3) Penipu menguangkan $3,4 juta dalam pencurian karpet Sharpei
Cerita berlanjut di bawah 🧵
Lihat asli
Halo dunia, kami sedang merekrut!
Kami membuka dua lowongan untuk Analis Keamanan:
- Analis Keamanan Utama (Jarak Jauh)
- Analis Keamanan (Jarak Jauh)
Kunjungi halaman karier kami untuk deskripsi pekerjaan lengkap: http://veridise.com/careers/
Kami membuka dua lowongan untuk Analis Keamanan:
- Analis Keamanan Utama (Jarak Jauh)
- Analis Keamanan (Jarak Jauh)
Kunjungi halaman karier kami untuk deskripsi pekerjaan lengkap: http://veridise.com/careers/
Lihat asli
Dengarkan presentasi @AlpAtVeridise tentang Grup Siklik dari Geometri di puncak ZK12.
Terima kasih @zeroknowledgefm untuk acara yang hebat dan telah mengundang kami!
1/2
Terima kasih @zeroknowledgefm untuk acara yang hebat dan telah mengundang kami!
1/2
Lihat asli
Kami kembali dengan 3 berita keamanan blockchain teratas minggu ini:
1) @RDNTCapital dieksploitasi hingga $50 juta
2) @tapioca_dao kehilangan $4,4 juta dalam serangan rekayasa sosial
3) Serangkaian serangan membahayakan beberapa akun Web3 X
Berita berlanjut di bawah 🧵
1) @RDNTCapital dieksploitasi hingga $50 juta
2) @tapioca_dao kehilangan $4,4 juta dalam serangan rekayasa sosial
3) Serangkaian serangan membahayakan beberapa akun Web3 X
Berita berlanjut di bawah 🧵
Lihat asli
Kembali ke seri Sorotan Tim kami, kami menyoroti para ahli keamanan Veridise.
Perkenalkan Ben Sepanski ( @bensepanski ), Chief Security Officer di Veridise 🧵
1/2
Perkenalkan Ben Sepanski ( @bensepanski ), Chief Security Officer di Veridise 🧵
1/2
Lihat asli
Kami berusaha untuk mengimplementasikan permainan Mastermind dalam 5 bahasa/framework ZK yang berbeda: Circom, Gnark, Noir, Halo2, dan Arkworks.
Tujuannya adalah untuk mengevaluasi kemampuan dan karakteristik dari berbagai bahasa ZK ini.
Lihat posting blog lengkap @iangneal di bawah ini 🧵
1/5
Tujuannya adalah untuk mengevaluasi kemampuan dan karakteristik dari berbagai bahasa ZK ini.
Lihat posting blog lengkap @iangneal di bawah ini 🧵
1/5
Lihat asli
Kami sedang merekrut! 👋 Kami memiliki dua posisi terbuka untuk Analis Keamanan:
- Analis Keamanan Utama (Jarak Jauh)
- Analis Keamanan (Jarak Jauh)
Untuk deskripsi pekerjaan lengkap, silakan kunjungi halaman karir kami (lihat tweet berikut)
- Analis Keamanan Utama (Jarak Jauh)
- Analis Keamanan (Jarak Jauh)
Untuk deskripsi pekerjaan lengkap, silakan kunjungi halaman karir kami (lihat tweet berikut)
Lihat asli
Seri Sorotan Tim Kami terus berlanjut, menampilkan para profesional keamanan di Veridise.
Temui @KFerles, CTO di Veridise 🧵
1/2
Temui @KFerles, CTO di Veridise 🧵
1/2