proyek-proyek saya yang paling penting adalah yang aman. jaringan goaat menunjukkan cara ia menguji klaim.
Ziren, zkVM yang digunakan oleh @GOAT Network , telah menjalani pekerjaan keamanan independen, bukan hanya mengandalkan pengujian internal.
Consensys Diligence, TU Wien, dan Ethereum Foundation berkolaborasi selama berbulan-bulan untuk fuzzing dan riset kerentanan. Lima bug ditemukan, direproduksi, diperbaiki, dan diverifikasi ulang secara independen, termasuk isu-isu soundness yang berpotensi memengaruhi bukti yang tidak valid.
GOAT juga menggunakan metode formal untuk memeriksa bagian-bagian penting dari implementasi jembatan (bridge).
dalam putaran verifikasi TLA+ yang baru-baru ini, peneliti memodelkan state machine node jembatan, memeriksa peg out timelocks, dan membagikan konektor Taproot langsung dari implementasi Rust.
proses tersebut menemukan 8 masalah. semuanya diperbaiki dan diverifikasi ulang. properti keamanan 1 dari N juga diperiksa di empat jaringan, mencakup 1.618.897 state dengan nol pelanggaran dalam model tersebut.
ini penting karena verifikasi tidak sama dengan mengatakan “percaya saja pada kami”.
Artinya mendefinisikan apa yang harus terjadi, menguji implementasi terhadap properti-properti tersebut, lalu mempublikasikan apa yang ditemukan.
desain BitVM GOAT juga menggunakan model tantangan yang optimistis. hasil yang diklaim dapat ditantang, dan satu peserta yang jujur dapat saja cukup untuk menghentikan perilaku curang berdasarkan asumsi 1 dari N yang didokumentasikan.
dan GOAT juga sedang mengerjakan ancaman kriptografi jangka panjang.
Jaringan sedang memigrasikan kunci konsensus validator dari secp256k1 menuju ML DSA 65, skema tanda tangan post-kuantum yang distandardisasi oleh NIST.
pelajaran yang lebih besar itu sederhana.
Keamanan bukan satu audit atau satu fitur.
Ini adalah pengujian berkelanjutan, verifikasi formal, riset independen, mekanisme tantangan, dan persiapan menghadapi ancaman masa depan.
dengan pendekatan itulah GOAT Network membangun infrastruktur untuk nilai yang diselesaikan di Bitcoin.
#bitcoin
Ziren, zkVM yang digunakan oleh @GOAT Network , telah menjalani pekerjaan keamanan independen, bukan hanya mengandalkan pengujian internal.
Consensys Diligence, TU Wien, dan Ethereum Foundation berkolaborasi selama berbulan-bulan untuk fuzzing dan riset kerentanan. Lima bug ditemukan, direproduksi, diperbaiki, dan diverifikasi ulang secara independen, termasuk isu-isu soundness yang berpotensi memengaruhi bukti yang tidak valid.
GOAT juga menggunakan metode formal untuk memeriksa bagian-bagian penting dari implementasi jembatan (bridge).
dalam putaran verifikasi TLA+ yang baru-baru ini, peneliti memodelkan state machine node jembatan, memeriksa peg out timelocks, dan membagikan konektor Taproot langsung dari implementasi Rust.
proses tersebut menemukan 8 masalah. semuanya diperbaiki dan diverifikasi ulang. properti keamanan 1 dari N juga diperiksa di empat jaringan, mencakup 1.618.897 state dengan nol pelanggaran dalam model tersebut.
ini penting karena verifikasi tidak sama dengan mengatakan “percaya saja pada kami”.
Artinya mendefinisikan apa yang harus terjadi, menguji implementasi terhadap properti-properti tersebut, lalu mempublikasikan apa yang ditemukan.
desain BitVM GOAT juga menggunakan model tantangan yang optimistis. hasil yang diklaim dapat ditantang, dan satu peserta yang jujur dapat saja cukup untuk menghentikan perilaku curang berdasarkan asumsi 1 dari N yang didokumentasikan.
dan GOAT juga sedang mengerjakan ancaman kriptografi jangka panjang.
Jaringan sedang memigrasikan kunci konsensus validator dari secp256k1 menuju ML DSA 65, skema tanda tangan post-kuantum yang distandardisasi oleh NIST.
pelajaran yang lebih besar itu sederhana.
Keamanan bukan satu audit atau satu fitur.
Ini adalah pengujian berkelanjutan, verifikasi formal, riset independen, mekanisme tantangan, dan persiapan menghadapi ancaman masa depan.
dengan pendekatan itulah GOAT Network membangun infrastruktur untuk nilai yang diselesaikan di Bitcoin.
#bitcoin