# Artikel Terkait zkProof

Pusat Berita HTX menyediakan artikel terbaru dan analisis mendalam mengenai "zkProof", mencakup tren pasar, pembaruan proyek, perkembangan teknologi, dan kebijakan regulasi di industri kripto.

AmericanFortress Usulkan Skema untuk Melindungi Dompet Kripto dari Ancaman Kuantum

Perusahaan AmericanFortress telah menerbitkan makalah pracetak yang memperkenalkan ZKPoSP, sebuah skema kriptografi untuk melindungi dompet deterministik hierarkis (HD wallets) dari potensi serangan kuantum tanpa perlu mengubah alamat yang ada. Skema ini bertujuan mempertahankan format alamat standar tetapi mengganti tanda tangan digital klasik dengan bukti tanpa pengetahuan nol (non-interactive zero-knowledge proof/NIZK). AmericanFortress juga menjelaskan skema QBIP32 yang dirancang untuk menghasilkan skalar penandatanganan, bukti tahan kuantum, dan chain code dalam satu panggilan fungsi. Skema ini diklaim dapat diterapkan pada berbagai kurva eliptik seperti secp256k1 dan Ed25519. Keamanan pascakuantum skema ini masih bersifat diasumsikan, mengandalkan ketahanan fungsi hash dan bukti NIZK terhadap ancaman kuantum. Namun, untuk implementasinya, node dalam jaringan blockchain perlu mendukung verifikasi bukti NIZK ini, yang saat ini belum diterapkan oleh Bitcoin, Ethereum, atau Solana. Implementasi prototipe dalam Rust menggunakan RISC Zero menunjukkan waktu pembuatan bukti sekitar 12-13 detik dan verifikasi hanya 9-10 milidetik. Publikasi ini menyoroti meningkatnya perhatian industri terhadap ancaman kuantum. Laporan Galaxy pada Maret memperkirakan sekitar 7 juta BTC (sekitar $470 miliar saat itu) berpotensi rentan jika kunci publiknya telah terpapar di blockchain. Inisiatif lain seperti peluncuran Bitcoin Security Consortium oleh perusahaan-perusahaan besar, program pendanaan Galaxy, serta proposal dari Stellar, Algorand, dan Ethereum Foundation juga menunjukkan upaya kolektif dalam menyiapkan kriptografi pascakuantum. Ini bukan proposal pertama AmericanFortress; pada Mei mereka juga mengajukan skema tanda tangan pascakuantum untuk melindungi aset kripto yang ada, termasuk dompet era Satoshi.

cryptonews.ru5j yang lalu

AmericanFortress Usulkan Skema untuk Melindungi Dompet Kripto dari Ancaman Kuantum

cryptonews.ru5j yang lalu

Zcash mengatakan bukti Ironwood menyingkirkan bug pemalsuan yang tak terdeteksi

Para peneliti Zcash telah menyelesaikan verifikasi formal Ironwood, mempublikasikan bukti yang dapat diperiksa mesin bahwa kolam terlindungi baru jaringan tersebut tidak mengandung bug pemalsuan yang tidak dapat dideteksi, berdasarkan asumsi kriptografis yang dinyatakan. Bukti ini, ditulis dalam bahasa pemrograman Lean, terdiri dari lebih dari 2.700 teorema dan membutuhkan waktu lebih dari sebulan untuk diselesaikan oleh tiga tim peneliti. Pekerjaan ini menetapkan properti keamanan yang disebut integritas keseimbangan, dirancang untuk memastikan kolam terlindungi tidak dapat mengeluarkan nilai lebih dari yang telah masuk secara publik. Buktinya mencakup komponen yang diperlukan untuk properti tersebut, termasuk sistem bukti tanpa pengetahuan (zero-knowledge proof) Ironwood, aturan sirkuit, dan akuntansi tingkat ledger. Namun, tidak mencakup jaminan privasi terpisah Ironwood. Ironwood diperkenalkan melalui peningkatan NU6.3 Zcash sebagai tanggapan atas kerentanan yang ditemukan di kolam terlindungi Orchard, yang secara teoritis dapat memungkinkan pemalsuan ZEC yang tidak dapat dideteksi. Pengembang Zcash menyatakan tidak ada bukti kerentanan itu dieksploitasi. Kolam baru dirancang untuk memulihkan kepercayaan pada integritas pasokan Zcash. Dana yang bermigrasi dari Orchard harus melewati pos pemeriksaan akuntansi publik yang disebut 'turnstile', yang dirancang untuk mencegah koin berlebih hipotetis memasuki Ironwood. Proses ini juga dapat memberikan bukti yang semakin jelas tentang apakah kolam lama dieksploitasi.

cointelegraph12j yang lalu

Zcash mengatakan bukti Ironwood menyingkirkan bug pemalsuan yang tak terdeteksi

cointelegraph12j yang lalu

Node Baru Zcash, Zakura, Meluncur: Pembayaran Privasi Bisa Capai 50.000 TPS, Target Setara Visa dan Mastercard

Penjelasan singkat tentang Zakura, node baru Zcash, yang dirilis dengan target mencapai 50.000 TPS untuk pembayaran privat, setara dengan Visa dan Mastercard. Saat ini, Zcash hanya memproses sekitar 1 transaksi privat per detik. Zakura, node perangkat lunak baru yang merupakan fork dari Zebra Foundation Zcash, bertujuan untuk mengatasi hambatan ini. Dikembangkan oleh Sean Bowe (pendiri kriptografi nol-pengetahuan Zcash) dan Dev Ojha, dan didanai oleh sumbangan pribadi ZEC, Zakura memperkenalkan fitur seperti pemangkasan data lama, yang mengurangi penggunaan disk dan memungkinkan sinkronisasi node dalam kurang dari dua menit. Tantangan utama untuk mencapai 50.000 TPS adalah besar bukti kriptografi yang diperlukan untuk setiap transaksi privat. Proyek Tachyon milik Bowe mengusulkan solusi bukti rekursif untuk mengurangi data yang diperlukan untuk konsensus secara drastis. Selain itu, grup Valar sedang meneliti teknologi Private Information Retrieval (PIR) untuk mengatasi hambatan dompet, yang saat ini harus mengunduh semua transaksi untuk menemukan miliknya. Zakura juga memasang sistem eksperimental untuk penyebaran blok cepat. Uji coba penting dari teknologi ini akan datang dengan aktivasi pembaruan jaringan "Ironwood" (NU6.3) pada akhir Juli. Pembaruan ini dibuat sebagai respons atas kerentanan keamanan serius yang ditemukan di kolam Orchard Zcash pada Mei 2024, yang berpotensi memungkinkan penciptaan ZEC palsu. Ironwood dirancang untuk mengisolasi dan menjebak saldo palsu apa pun yang mungkin telah dibuat. Kesimpulannya, Zakura mewakili langkah pertama yang ambisius untuk membuat Zcash menjadi jaringan pembayaran global yang privat dan berskala, membuktikan bahwa privasi dan kinerja tinggi dapat dicapai secara bersamaan.

marsbit07/21 06:17

Node Baru Zcash, Zakura, Meluncur: Pembayaran Privasi Bisa Capai 50.000 TPS, Target Setara Visa dan Mastercard

marsbit07/21 06:17

Ethereum on Tour Segera Tiba di Universitas Jiao Tong Shanghai

Ethereum on Tour, program pendidikan global yang diinisiasi oleh Ethereum Foundation Developer Growth Team dan Ethereum Foundation Academic Secretariat, akan hadir di China melalui kolaborasi dengan LXDAO dan ETHPanda. Acara bertajuk "Ethereum on Tour in China" ini akan mengadakan tur kampus di berbagai universitas, termasuk Shanghai Jiao Tong University pada 25 April 2026. Acara ini menampilkan pembicara ahli seperti Shyam Sridhar (Ethereum Foundation) yang membahas "Ethereum Cypherpunk Narrative", serta akademisi dari Shanghai Jiao Tong University yang membahas topik seperti integrasi AI dan blockchain, kemajuan terbaru zero-knowledge proof, dan prinsip konsensus blockchain. Peserta juga dapat mengikuti workshop oracle dengan panduan developer LXDAO untuk pengalaman praktis dalam menulis, menerapkan, dan men-debug kontrak pintar Ethereum. Tertarik? Daftar melalui: https://luma.com/djnisxzf Diselenggarakan oleh: Ethereum Foundation, LXDAO, ETHPanda Didukung oleh: Shanghai Jiao Tong University Blockchain Association Sponsor: Synbo Protocol, CDC Club, Q某某

marsbit04/20 02:09

Ethereum on Tour Segera Tiba di Universitas Jiao Tong Shanghai

marsbit04/20 02:09

Pelepasan Token Mingguan: BARD Lepas Token 12% dari Pasaran Beredar Minggu Ini

Rangkuman: Pekan ini, tiga proyek kripto utama akan mengalami unlock token signifikan. **Lombard (BARD)** akan membuka kunci 32,4 juta token (senilai ~$35,64 juta), setara dengan 12% dari pasokan yang beredar, untuk mendanai ekosistem Bitcoin DeFi. **LayerZero (ZRO)** akan melepas 25,71 juta token (~$50,9 juta) sebagai bagian dari alokasi insentif. Sementara itu, **zkSync (ZK)** akan mengunlock 170 juta token (~$330 ribu) untuk tim inti dan para penasihat. Unlock besar-besaran ini berpotensi menciptakan tekanan jual di pasar.

marsbit03/14 14:59

Pelepasan Token Mingguan: BARD Lepas Token 12% dari Pasaran Beredar Minggu Ini

marsbit03/14 14:59

a16z Usulkan 'Media Berjamin': Permainan Baru Melawan Berita Palsu dengan Deposit

Dalam artikel berjudul "a16z Proposes 'Staked Media': A New Game to Combat Fake News with Deposits", konsep "Staked Media" (Media Berjaminan) diperkenalkan sebagai solusi potensial melawan misinformasi di media sosial, terutama dengan maraknya konten AI yang sulit dibedakan dari konten asli. Intinya, media atau individu harus membuktikan kredibilitasnya dengan teknologi enkripsi seperti zk, membuat "pernyataan" yang tercatat di blockchain (seperti Ethereum) dan menyetor jaminan dalam bentuk aset kripto (ETH, USDC, dll). Jika konten terbukti palsu, jaminan akan disita. Sistem ini mendorong kejujuran dan akuntabilitas. Mekanisme meliputi: penentuan nilai jaminan berdasarkan pengaruh konten, verifikasi kebenaran melalui kombinasi voting komunitas (oleh pengguna yang juga menyetor jaminan) dan algoritma, serta arbitrase oleh komite ahli. Pelaku yang ketahuan menyebarkan berita palsu akan mendapat reputasi buruk, kenaikan nilai jaminan di masa depan, dan bahkan konsekuensi hukum. Konsep ini diharapkan dapat diterapkan dalam 2 tahun ke depan, menciptakan ekosistem informasi yang lebih tepercaya.

比推12/17 06:59

a16z Usulkan 'Media Berjamin': Permainan Baru Melawan Berita Palsu dengan Deposit

比推12/17 06:59

Mengurai Konsep Baru a16z 'Media Bertaruh': 'Buat Janji + Taruh Uang' Online, Solusi Ekonomi untuk Berita Palsu

a16z memperkenalkan konsep baru "Staked Media" (Media yang Dipertaruhkan) untuk memerangi misinformasi dan konten AI palsu di media sosial. Intinya, pembuat konten harus "membuat pernyataan" di blockchain (seperti Ethereum) dan mempertaruhkan aset kripto (misalnya ETH atau USDC) sebagai jaminan. Jika kontennya terbukti salah, asetnya disita. Konsep ini mendorong kejujuran karena pembuat konten akan lebih berhati-hati. Misalnya, seorang YouTuber yang merekomendasikan produk harus mempertaruhkan uang; jika kontennya palsu, uangnya hilang. Jumlah taruhan bervariasi, tergengarung pada pengaruh konten. Media besar mungkin mempertaruhkan ribuan dolar, sedangkan pengguna biasa cukup puluhan dolar. Kebenaran konten diverifikasi melalui kombinasi komunitas (yang memilih dengan mempertaruhkan aset) dan algoritma. Jika ada sengketa, komite ahli dapat melakukan arbitrase. Pelaku pembuat konten palsu akan memiliki catatan buruk, taruhan yang lebih tinggi di masa depan, dan bahkan konsekuensi hukum. Dengan teknologi seperti zk, pembuat konten juga dapat menghasilkan bukti asal-usul yang dapat diverifikasi. Sistem ini diharapkan dapat terwujud dalam dua tahun ke depan.

marsbit12/17 06:08

Mengurai Konsep Baru a16z 'Media Bertaruh': 'Buat Janji + Taruh Uang' Online, Solusi Ekonomi untuk Berita Palsu

marsbit12/17 06:08

Moca Network Meluncurkan MocaProof Beta, Platform Verifikasi Identitas Digital dan Hadiah

Moca Network, proyek unggulan Animoca Brands, meluncurkan versi beta MocaProof, platform verifikasi identitas digital dan penghargaan yang menggunakan blockchain untuk meningkatkan privasi data dan kedaulatan diri pengguna. Platform ini memungkinkan verifikasi kredensial tanpa mengungkap data mentah atau informasi identitas pribadi, dengan dukungan teknologi zero-knowledge proof dan penyimpanan data terdesentralisasi. MocaProof terintegrasi dengan AIR Kit dan Moca Chain, menawarkan pasar kredensial dalam kategori seperti pengaruh, keuangan, loyalitas, dan aktivitas. Pengguna dapat menjelajahi dan memverifikasi kredensial yang diterbitkan oleh mitra terverifikasi. Platform ini juga memperkenalkan Mocat, karakter virtual yang berevolusi seiring dengan bertambahnya kredensial terverifikasi pengguna, serta membuka akses ke hadiah berdasarkan kelangkaan Mocat. Pengguna yang memverifikasi kredensial dapat memperoleh MOCA Coin, airdrop token dari mitra, AIR SP (poin loyalitas), dan hadiah lainnya. Peluncuran beta saat ini tersedia di Testnet Moca Chain, dengan rencana migrasi ke mainnet pada 2026. Kampanye peluncuran menawarkan hadiah senilai US$50.000 melalui kompetisi NFT.

TheNewsCrypto12/08 17:38

Moca Network Meluncurkan MocaProof Beta, Platform Verifikasi Identitas Digital dan Hadiah