Melihat beberapa komentar, saya menyadari mungkin ada beberapa kebingungan atau kesalahpahaman tentang apa artinya ini. Saya mengkonfirmasi dan mengulangi kembali bahwa ini adalah kinerja yang luar biasa dan bahwa tidak ada sistem pembuktian lain di dunia saat ini yang dapat mencapai prestasi seperti itu dengan tingkat efisiensi biaya, ketidakpercayaan, dan kesehatan ini. Kami mendorong batas-batas teknologi ZK untuk membuat sejarah Bitcoin dapat diverifikasi dengan cara yang tidak terbayangkan sebelumnya. Pertama, beberapa komentar menyarankan sarkasme seperti: "Mereka mendapatkannya 'turun' menjadi 6,5 jam", menyiratkan itu lambat atau mengecewakan. Hmm, saya pikir ada kebingungan besar di sini! 6,5 jam adalah waktu untuk menghasilkan BUKTI REKURSIF PENUH untuk seluruh rantai. Ini dilakukan HANYA SEKALI, oleh SATU mesin (dan kami mengoptimalkan untuk menurunkan biaya lebih jauh). MARI KITA FOKUS PADA REAL DEAL => Verifikasi hanya membutuhkan waktu 50-100 MILIDETIK, bahkan pada perangkat kecil seperti ponsel. Ini bukan tentang membuktikan waktu, ini adalah asimetri yang disediakan STARK: membuktikan intensif komputasi tetapi satu kali; Memverifikasi sangat cepat dan skala tanpa batas. Saat kami bekerja keras untuk dapat membuktikan eksekusi blok penuh (skrip, txs, dll.), verifikasi akan tetap ~100ms untuk seluruh rantai. Itulah pengubah permainan! Elemen berikutnya: "Bukti tidak memvalidasi." Sebenarnya, memverifikasi bukti memang memvalidasi! Alih-alih mengeksekusi ulang semuanya (cara tradisional yang lambat), Anda memverifikasi bukti STARK, yang secara kriptografis menjamin hasil yang sama, tetapi secara eksponensial lebih cepat dan dengan komputasi yang lebih sedikit. Ini seperti mengompresi validasi menjadi pemeriksaan kecil dan efisien tanpa mengorbankan keamanan. Untuk menjelaskan lebih lanjut, berikut adalah alur kerja tingkat tinggi untuk Bukti SPV Terkompresi kami (menggunakan STARK melalui Kairo+Stwo): - Eksekusi Batch: Eksekutor memproses batch header blok Bitcoin (misalnya, 1-10k, lalu 10k-20k) dengan program Cairo bootloader dan asumsi, menghasilkan jejak dan input eksekusi. - Pembuatan Bukti: Pembuktian membuat bukti STARK yang membuktikan bahwa logika validasi blok dijalankan dengan benar di atas header tersebut. - Verifikasi: Bukti terkompresi + status rantai saat ini + akar MMR masuk ke verifikator on-chain/off-chain, yang tanpa kepercayaan mengonfirmasi:Validitas & keterkaitan semua header kembali ke genesis. * Penyertaan blok target (melalui bukti MMR). * Kesulitan kumulatif / pekerjaan yang cukup. * Stempel waktu yang benar & aturan konsensus. * Target inklusi tx (melalui bukti Merkle/SPV). Lihat detail lebih lanjut di sini: Dan implementasi program utama Kairo di sini:

Presentasi tanpa komentar, untuk saat ini. Bitcoin, OP_STARK_VERIFY.

"Langkah selanjutnya mungkin adalah dukungan zero-knowledge asli, pengoptimalan BitVM, dan sejenisnya. Ini adalah saat *mungkin* masuk akal untuk mulai mempertimbangkan Bitcoin L1 "lengkap", dan mampu menangani peningkatan lebih lanjut dan bahkan penskalaan pada sidechain tanpa kepercayaan yang sebenarnya." Ya Luke! Saya setuju dengan hampir semua yang Anda katakan di tweet ini tetapi bagian dari mengeluarkan Core dari gambar (sementara menjadi pendukung memiliki keragaman klien yang serius, saya tidak suka cara itu dilakukan sekarang). Tetapi pada visi dan arah umum ya benar-benar masuk akal bagi saya. Bisakah kita melewati bagian spam / filter untuk langsung pergi ke bagian di mana kita memperbaiki uang dan memperbaiki dunia? Sudah waktunya.