Veridise Re-poster

Kami punya kabar menarik untuk dibagikan kepada komunitas kami.

Meskipun waktu pasti komputer kuantum dapat membobol kriptografi modern masih belum diketahui, tanggal batas untuk menghentikan penggunaan standar saat ini sudah ditetapkan. Untuk mendukung transisi ini, Veridise hari ini secara resmi memperkenalkan Quantum Readiness Review. Layanan komprehensif ini memandu organisasi melalui setiap tahap transisi, mulai dari inventarisasi kriptografi awal hingga kode pascakuantum yang telah diverifikasi secara menyeluruh.

Baca pengumuman selengkapnya di sini: https://veridise.com/blog/news/post-quantum-migration/

Laporan audit tradisional memberikan gambaran statis tentang perangkat lunak Anda, yang hanya mencerminkan kondisi pada hari tertentu saat basis kode Anda dibekukan. Karena proyek Anda terus berkembang, tim @Veridise membangun AuditHub untuk menghadirkan keamanan berkelanjutan. Solusi ini memastikan OrCa, Picus, ZK Vanguard, dan Vanguard berjalan terus-menerus dalam pipeline CI Anda untuk memantau setiap pembaruan baru yang Anda buat.

Untuk melihat secara persis bagaimana platform ini dapat menyederhanakan alur kerja Anda, pastikan untuk bertemu dengan VP Pengembangan Bisnis kami, @kulm1nski, di Devcon 8. Ia akan berada di Mumbai dari 3 hingga 6 November dan siap memberikan penjelasan lengkap tentang sistem ini.

Setiap validator, bridge, dompet, bursa, dan kustodian menghadapi migrasi pascakuantum yang tak terelakkan. Semua entitas ini melindungi nilai yang mendasarinya dengan menggunakan kunci publik yang sudah tercatat di blockchain. Untuk membahas detail kesiapan kuantum, Manajer BD Veridise @veridisecarlos menghadiri Devcon 8. Acara ini berlangsung di Mumbai pada 3 hingga 6 November.

Untuk mengetahui apa yang pertama kali gagal menghadapi ancaman kuantum yang mulai muncul, pastikan Anda menghadiri sesi mendatang yang menampilkan @ShankaraPailoo2 dan @FormallyJon di Devcon 8. Mereka akan berbicara pada Kamis, 5 Nov pukul 14.00 IST di Lotus Stage 1. Ingat, serangan kuantum tidak akan mengumumkan kedatangannya. Gelombang awal pembobolan kemungkinan besar akan berlangsung senyap dan sangat terarah, menyasar dompet, bridge, validator, dan kustodian satu per satu.

Membuat dan memvalidasi bukti ZK melibatkan komponen matematika yang rumit, yang hanya benar-benar dapat dipahami dan diterapkan oleh segelintir spesialis terpilih. Karena hambatan teknis yang tinggi ini, @boundless_xyz kembali meminta keahlian Veridise. Simak wawasan yang dibagikan oleh @emilianobonassi saat ia menjelaskan alasan di balik penugasan audit Marketplace kedua kepada Veridise. Baca ulasan lengkapnya melalui tautan di bawah ini.

https://veridise.com/blog/audits-archive/boundless-marketplace-audit-methods-findings-and-security/

Membangun dan mengevaluasi bukti ZK melibatkan entitas matematika yang kompleks, yang hanya dikuasai oleh segelintir orang. Menurut @emilianobonassi, tantangan inilah yang membuat @BoundlessHQ kembali bermitra dengan Veridise untuk melakukan audit kedua terhadap Marketplace mereka. Anda dapat mengetahui detail lengkap keputusan ini dan temuan selanjutnya dengan membaca kisah lengkapnya melalui tautan di bawah ini.

https://veridise.com/blog/audits-archive/boundless-marketplace-audit-methods-findings-and-security/

Melindungi agen kecerdasan buatan memiliki kendala yang sama persis dengan kontrol akses tradisional, sehingga sangat penting untuk selalu mengaudit siapa pun yang juga memegang kuncinya.

Sebagai contoh yang jelas, pertimbangkan alur yang berfungsi dari draf ERC-8468 versi sebelumnya. Dalam versi tersebut, seorang penjaga dapat memicu penangguhan agen AI, tetapi sistem kembali online hanya setelah satu blok. Aktivasi kembali yang cepat ini terjadi karena agen tersebut telah menetapkan kunci kedua di bawah kendalinya sendiri, yang memiliki wewenang untuk melanjutkan operasi.

https://ethereum-magicians.org/t/erc-8468-agent-safety-framework-asf/30073

Sebuah koalisi baru bernama Quantum Alliance dibentuk oleh sembilan organisasi mata uang kripto. Kolaborasi ini melahirkan kelompok kerja khusus yang berfokus pada sistem zero-knowledge pascakuantum—inisiatif yang sedang kami pantau dengan saksama.

Alasan utama kami tertarik adalah kendala teknis yang terlibat. Jarang sekali sirkuit yang dirancang untuk sistem pembuktian tertentu dapat langsung digunakan pada sistem lain. Akibatnya, setiap penulisan ulang yang diperlukan akan menghasilkan kode yang sepenuhnya baru dan harus menjalani audit menyeluruh.

Informasi lebih lanjut mengenai pengumuman ini dapat ditemukan di sini:
https://decrypt.co/381236/crypto-firms-launch-quantum-alliance-as-6-million-bitcoin-sit-exposed

Memverifikasi perilaku suatu perulangan bisa jadi sulit jika Anda tidak tahu berapa banyak iterasi yang akan dijalankan. Kuncinya adalah menetapkan kondisi tertentu yang benar sejak awal dan tetap terpenuhi di setiap iterasi. Dengan prinsip induksi, Anda bisa yakin bahwa kondisi ini akan tetap berlaku saat eksekusi akhirnya selesai. Untuk melihat contoh penerapan metode ini yang bagus, @RaghavMalik15 menguraikan dengan tepat bagaimana LLEQ menerapkannya.

Setiap kali Anda mengoptimalkan sirkuit ZK untuk mengurangi jumlah kendala, Anda perlu memastikan bahwa versi baru melakukan komputasi yang persis sama dengan rancangan awal Anda. Pengujian standar hanya memvalidasi masukan tertentu yang Anda antisipasi, sedangkan LLEQ menggunakan pendekatan yang jauh lebih menyeluruh. LLEQ menyerahkan verifikasi kepada pemecah SMT, yang secara logis mengevaluasi setiap kemungkinan skenario masukan. Untuk panduan praktis tentang cara menjalankan alur kerja ini, @RaghavMalik15 memberikan penjelasan lengkap langkah demi langkah.

Tim di @aztecnetwork telah mengungkap peta jalan pascakuantum yang komprehensif, dengan target rampung pada 2030. Urutan peningkatan yang direncanakan membuat jadwal ini sangat menarik. Sejak awal, mereka memprioritaskan penanganan risiko data yang dicuri sekarang untuk didekripsi nanti. Dengan pendekatan ini, pustaka yang diperkuat untuk melindungi data pribadi akan diperkenalkan pada awal 2027, jauh sebelum sistem pembuktian diganti.

https://thedefiant.io/news/blockchains/aztec-targets-full-post-quantum-migration-by-end-of-2030

Dalam mempertimbangkan migrasi Bitcoin, memilih skema tanda tangan pascakuantum sebenarnya merupakan langkah yang paling sederhana. Sebuah makalah PQ terbaru yang diterbitkan oleh Coinbase menyoroti masalah yang jauh lebih sulit. Dompet yang menggunakan skema stateful harus memantau dengan cermat kunci sekali pakai mana saja yang telah digunakan. Jika pengguna memulihkan cadangan lama lalu menggunakan kembali suatu kunci, penyerang dapat memalsukan tanda tangan yang valid.

https://www.coindesk.com/tech/2026/10/14/coinbase-which-holds-5-of-all-bitcoin-wants-the-quantum-fix-started-now

Selama seharian penuh di Singapura, tim Veridise berkesempatan berbicara di tiga panggung yang berbeda. Baik saat berada di @solana Summit, berpartisipasi dalam @gammaprime, maupun menghadiri Multichain Day, percakapan kami banyak berkisar pada ZK, audit keamanan, dan verifikasi formal. Meski acaranya berlangsung di tempat yang berbeda, orang-orang terus mengangkat satu tema yang sama. Pertanyaan yang berulang kali diajukan adalah bagaimana menemukan cara yang andal untuk memverifikasi bahwa suatu kode benar-benar bekerja persis seperti yang ditetapkan dalam spesifikasinya.

Jika roadmap Anda mencakup audit yang akan datang untuk Q4 atau awal tahun depan, @kulm1nski adalah orang yang ideal untuk diajak berkonsultasi mengenai ruang lingkup dan penjadwalan proyek Anda. Ia akan bepergian ke Singapura untuk menghadiri @token2049 dari 5 hingga 9 Oktober. Silakan kirim DM kepadanya untuk mengatur waktu bertemu.

Jika roadmap Anda mendatang mencakup keamanan dan Anda mencari diskusi yang lugas tentang hal tersebut, minggu depan adalah kesempatan sempurna untuk terhubung. @FormallyJon akan berangkat ke Singapura untuk menghadiri @token2049 dan menjelajahi berbagai acara pendamping dari tanggal 5 hingga 9 Oktober. Silakan kirim DM untuk memesan waktu pertemuan.

Dengan diperkenalkannya Frame Transactions, akun akan memiliki fleksibilitas untuk menentukan pedoman otorisasi spesifik mereka sendiri. Ini berarti pengguna dapat menyiapkan aturan khusus untuk skema tanda tangan alternatif, pemulihan akun, dan persetujuan ganda. Sebagai hasil dari pergeseran ini, logika operasional yang saat ini berada dalam kode dompet individual akan dipindahkan langsung ke protokol yang mendasarinya. Penting untuk diingat bahwa saat logika ini beralih, permukaan kegagalannya yang terkait juga ikut berpindah ke lapisan protokol.

https://thedefiant.io/news/blockchains/buterin-maps-ethereum-s-post-hegota-cryptographic-world-computer

Sebelum membagikan estimasi $63 untuk transaksi Bitcoin yang aman terhadap kuantum, sangat disarankan untuk meninjau metodologi yang mendasarinya. Seperti yang dijelaskan oleh @StarkWareLtd, jumlah ini murni merupakan model teoretis, bukan faktur aktual—artinya tidak ada transaksi nyata yang pernah dihasilkan. Selain itu, meskipun tolok ukur kinerja dijalankan menggunakan RTX 4090, proyeksi biaya keseluruhan mengasumsikan jaringan hipotetis yang terdiri dari 100 RTX 3090.

https://thedefiant.io/news/blockchains/starkware-challenge-cuts-quantum-safe-bitcoin-compute-estimate-by-79

Mengamankan transaksi Bitcoin dari ancaman komputasi kuantum kini 6x lebih cepat, berkat kode kriptografi yang telah dioptimalkan oleh kecerdasan buatan. Meskipun kecepatan adalah metrik yang bisa dengan mudah diukur, membuktikan bahwa dua metode benar-benar setara adalah hal yang mustahil tanpa bukti yang dapat diverifikasi.

https://www.coindesk.com/tech/2026/09/24/a-week-of-ai-coding-cut-a-quantum-safe-bitcoin-transaction-estimate-from-usd320-to-usd66