Veridise Re-poster
45 Posting
Veridise Re-poster
Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.
0 Mengikuti
1 Pengikut
2 Disukai
Posting
Secara historis, penelitian keamanan dalam ruang ZK sangat terpisah. Jika kamu mengembangkan utilitas spesifik untuk Circom, sumber daya yang sama sekali tidak memberikan nilai apa pun bagi tim Halo2. Begitu juga, memilih untuk bekerja dengan Noir berarti para pengembang Circom sepenuhnya terpinggirkan. Karena industri ini kurang memiliki fondasi bersama untuk dibangun, penelitian yang hebat pasti terjebak di dalam lingkungan individu. Untungnya, pengenalan LLZK sepenuhnya mengubah seluruh dinamika ini.
LLZK sekarang punya organisasi GitHub sendiri, terpisah dari Veridise.
Yayasan Ethereum sudah mendanai dua putaran. Galois sudah berkontribusi backend secara independen.
Proyek komunitas yang dibangun di IR bisa hidup di sana. Apa yang ingin kamu lihat?
Yayasan Ethereum sudah mendanai dua putaran. Galois sudah berkontribusi backend secara independen.
Proyek komunitas yang dibangun di IR bisa hidup di sana. Apa yang ingin kamu lihat?
Ini adalah perspektif yang berani tentang lanskap saat ini. Tantangan terbesar yang belum terselesaikan yang dihadapi alat ZK sebenarnya tidak ada hubungannya dengan performa. Sebaliknya, masalah fundamentalnya adalah kurangnya fondasi yang umum. Karena tidak ada lapisan dasar universal, setiap ekosistem individu terpaksa membangun kerangka keamanan mereka sendiri dari nol. Saya ingin mendengar pendapat Anda tentang situasi ini. Apakah Anda sependapat, atau Anda percaya bahwa kekhawatiran mengenai fragmentasi mungkin dilebih-lebihkan?
Kami sangat senang untuk berbagi bahwa LLZK V1.0 sekarang resmi tersedia untuk publik. Dirancang sebagai representasi perantara bersama, framework ini khusus mendukung alat keamanan ZK. Para pengembang akan menemukan bahwa bahasa pemrograman apa pun yang dikompilasi ke LLZK langsung membuka kemampuan ZK Vanguard untuk analisis statis dan Picus untuk verifikasi formal. Keuntungan besar di sini adalah Anda dapat memanfaatkan sumber daya ini dengan mulus, sepenuhnya menghindari kebutuhan untuk merombak salah satu alat dari awal. Sejak peluncuran ini, frontend aktif kami saat ini menampilkan Halo2 dan Circom. Untuk menyelami lebih dalam tentang rilis ini, silakan kunjungi pengumuman lengkap di https://veridise.com/blog/veridise-announcements/llzk-v1-0-a-new-phase-for-zk-shared-infrastructure/
Selama di EthCC, pertanyaan yang paling banyak ditanyakan orang adalah bagaimana verifikasi formal dibandingkan dengan audit AI.
Kedua pendekatan ini sebenarnya bertujuan untuk menjawab pertanyaan yang sama sekali berbeda. Kecerdasan buatan dirancang untuk mendeteksi pola yang sudah dikenal. Verifikasi formal, di sisi lain, memberikan tingkat jaminan yang sama sekali berbeda dengan membuktikan bahwa properti tertentu tetap benar di setiap kemungkinan input.
Jelas sekali bahwa bidang studi ini telah berkembang jauh melampaui sekadar topik niche. Menguatkan pentingnya yang luas, Yayasan Ethereum secara resmi telah mengalokasikan $2M untuk pengembangan metode formal.
Kedua pendekatan ini sebenarnya bertujuan untuk menjawab pertanyaan yang sama sekali berbeda. Kecerdasan buatan dirancang untuk mendeteksi pola yang sudah dikenal. Verifikasi formal, di sisi lain, memberikan tingkat jaminan yang sama sekali berbeda dengan membuktikan bahwa properti tertentu tetap benar di setiap kemungkinan input.
Jelas sekali bahwa bidang studi ini telah berkembang jauh melampaui sekadar topik niche. Menguatkan pentingnya yang luas, Yayasan Ethereum secara resmi telah mengalokasikan $2M untuk pengembangan metode formal.
Masalah yang sering diabaikan secara diam-diam mempengaruhi ekosistem alat keamanan ZK saat ini, yaitu fragmentasi yang parah. Para pengembang saat ini terpaksa menavigasi tumpukan alat yang sepenuhnya unik untuk setiap sistem pembuktian dan bahasa pemrograman yang mereka temui. Realitas ini berarti bahwa infrastruktur dasar harus dibangun kembali dari nol berulang kali. Pada akhirnya, kemampuan tim pengembang untuk berhasil mendeteksi bug sirkuit tidak boleh bergantung pada bahasa ZK spesifik yang mereka pilih untuk diadopsi.
Tim kami telah tiba di Cannes untuk @EthCC hari ini. Kami dengan hangat mengundang Anda untuk mampir ke stan Veridise, yang terletak di Lantai 3 Palais des Festivals. Jika Anda sedang mengembangkan aplikasi on-chain dan ingin berdiskusi mengenai keamanan, staf kami akan hadir sepanjang hari untuk terhubung dengan Anda. Anda akan memiliki kesempatan unik untuk berbicara langsung dengan para profesional yang tepat yang telah berhasil melaksanakan 100+ audit.
Jika Anda bergabung dengan kami di EthCC[9] di Cannes, kami mengundang Anda untuk memanfaatkan Briefing Risiko Pendiri gratis kami. Dilaksanakan di stan kami pada 30 dan 31 Maret, sesi ini berlangsung selama 15 menit dan dipimpin langsung oleh CEO Veridise, @FormallyJon. Di bawah ini adalah pandangan mendetail tentang apa yang terjadi setelah Anda memasuki ruangan.
Apakah Anda saat ini beroperasi tanpa peta jalan keamanan yang jelas? Anda dapat secara efektif menyelesaikan masalah ini selama acara EthCC yang akan datang.
Kami akan menyelenggarakan sejumlah terbatas Briefing Risiko Pendiri di Cannes pada 30-31 Maret. Melalui diskusi tunggal yang terfokus dengan CEO kami, Anda akan mendapatkan wawasan berharga tentang mengidentifikasi risiko nyata Anda, memutuskan proses mana yang harus diotomatisasi, dan mengetahui dengan tepat kapan harus menjadwalkan audit.
Tujuan kami adalah memastikan Anda meninggalkan pertemuan dilengkapi dengan kejelasan yang dapat ditindaklanjuti daripada hanya mendengarkan presentasi penjualan. Silakan kirim DM ke @VeridiseInc untuk terhubung.
https://veridise.com/blog/news/veridise-ethcc-2026-meet-the-team-pushing-blockchain-security-forward/
Kami akan menyelenggarakan sejumlah terbatas Briefing Risiko Pendiri di Cannes pada 30-31 Maret. Melalui diskusi tunggal yang terfokus dengan CEO kami, Anda akan mendapatkan wawasan berharga tentang mengidentifikasi risiko nyata Anda, memutuskan proses mana yang harus diotomatisasi, dan mengetahui dengan tepat kapan harus menjadwalkan audit.
Tujuan kami adalah memastikan Anda meninggalkan pertemuan dilengkapi dengan kejelasan yang dapat ditindaklanjuti daripada hanya mendengarkan presentasi penjualan. Silakan kirim DM ke @VeridiseInc untuk terhubung.
https://veridise.com/blog/news/veridise-ethcc-2026-meet-the-team-pushing-blockchain-security-forward/
Apakah Anda merencanakan untuk menghadiri @EthCC di Cannes antara 30 Maret dan 2 April? Kami sangat senang mengumumkan bahwa kami memberikan 2 tiket akses penuh untuk acara mendatang.
Mengamankan kesempatan Anda untuk menang sangatlah sederhana. Pastikan Anda mengikuti akun @VeridiseInc dan teruskan pesan ini. Kami akan secara resmi mengundi pemenangnya pada 28 Maret.
Sementara Anda berada di konferensi, kami ingin Anda mengunjungi stan kami. @AuditHubDev, mitra kami, akan berada di lokasi mengadakan kuis keamanan interaktif. Datanglah untuk menguji pengetahuan industri Anda dan ambil beberapa merchandise hebat untuk dibawa pulang.
Mengamankan kesempatan Anda untuk menang sangatlah sederhana. Pastikan Anda mengikuti akun @VeridiseInc dan teruskan pesan ini. Kami akan secara resmi mengundi pemenangnya pada 28 Maret.
Sementara Anda berada di konferensi, kami ingin Anda mengunjungi stan kami. @AuditHubDev, mitra kami, akan berada di lokasi mengadakan kuis keamanan interaktif. Datanglah untuk menguji pengetahuan industri Anda dan ambil beberapa merchandise hebat untuk dibawa pulang.
Kami sedang dalam perjalanan ke ETHDenver ✈️. Saat di lokasi, kami melakukan Evaluasi Mini Keamanan terbatas (secara langsung). Harap dicatat bahwa ketersediaan semakin menipis, dengan tepat 2 slot tersisa. Tinjau detail di bawah ini dan DM untuk memesan janji Anda.
Kami sedang mencari Manajer Pengembangan Bisnis untuk bergabung dengan Veridise. Posisi yang memiliki tanggung jawab tinggi ini menawarkan Anda dampak langsung pada pertumbuhan, posisi, dan ekspansi perusahaan kami. Kami akan senang mendengar dari Anda, jadi silakan temukan deskripsi pekerjaan di halaman karir kami.
Jika Anda saat ini sedang mengembangkan proyek inovatif dan berencana untuk menghadiri ETHDenver, luangkan waktu sejenak untuk merenung. Sebelum menjadwalkan audit atau menerapkan kode lebih lanjut, sangat penting untuk menentukan apakah Anda melindungi komponen yang tepat dalam urutan yang benar. Tim kami tersedia untuk melakukan Evaluasi Mini Keamanan selama 60 menit sepanjang acara ETHDenver. 🧵
1/3
1/3
🔐 Mengembangkan di @AleoHQ? Meskipun catatan itu kuat, mereka juga mudah disalahgunakan.
Dalam Bagian II dari seri Catatan di Leo kami, Mark Anthony @epizeuxius, Analis Keamanan di @VeridiseInc, memeriksa jebakan umum dalam pengelolaan catatan.
Temukan tautan ke pos blog lengkap di bawah ini 🧵
1/3
Dalam Bagian II dari seri Catatan di Leo kami, Mark Anthony @epizeuxius, Analis Keamanan di @VeridiseInc, memeriksa jebakan umum dalam pengelolaan catatan.
Temukan tautan ke pos blog lengkap di bawah ini 🧵
1/3
🔐 Bagaimana fungsi status pribadi dalam @AleoHQ? Dalam posting blog terbaru kami, Mark Anthony @epizeuxius, seorang analis keamanan di @VeridiseInc, menganalisis catatan di Leo — primitif pusat yang mendasari privasi & skalabilitas Aleo.
Tautan ke artikel lengkap ada di bawah 🧵
1/3
Tautan ke artikel lengkap ada di bawah 🧵
1/3
Ingin menghindari percakapan liburan yang biasa? Kami memiliki solusi sempurna untuk Anda! 🎄
Bergabunglah dengan obrolan api Veridise kami, di mana kami terlibat dalam diskusi teknis yang mendalam dengan para inovator yang membentuk masa depan Web3. Lineup kami mencakup tamu terhormat dari @ethereumfndn, @StellarOrg, @RiscZero, @boundless_xyz, dan @aztecnetwork. Saksikan percakapan di saluran YouTube kami.
Bergabunglah dengan obrolan api Veridise kami, di mana kami terlibat dalam diskusi teknis yang mendalam dengan para inovator yang membentuk masa depan Web3. Lineup kami mencakup tamu terhormat dari @ethereumfndn, @StellarOrg, @RiscZero, @boundless_xyz, dan @aztecnetwork. Saksikan percakapan di saluran YouTube kami.
Masuk untuk menjelajahi konten lainnya