? Daftar pilihan tentang keamanan mata uang kripto. (membalikkan, mengeksploitasi, fuzz..)
Gambar dari blog dekompilasi ETH Praktis ini.
Porositas - Alat Dekompiler dan Analisis Keamanan untuk Kontrak Cerdas Ethereum berbasis Blockchain.
Mythril - Alat analisis keamanan untuk kontrak pintar Ethereum.
MAIAN - Alat otomatis untuk menemukan jejak kerentanan dalam kontrak pintar Ethereum.
Echidna - Kerangka pengujian fuzz Ethereum.
Manticore - Manticore menggunakan eksekusi simbolik untuk mensimulasikan serangan multi-kontrak dan multi-transaksi yang kompleks terhadap bytecode EVM.
Ethersplay - Pembongkar EVM grafis dengan fitur-fitur canggih. (Binja)
Oyente - Penganalisis kode EVM otomatis berdasarkan eksekusi simbolik dan pemecah Z3 SMT.
IDA-EVM - Modul Prosesor IDA untuk Mesin Virtual Ethereum.
Evmdis - Pembongkar EVM.
Securify - Verifikasi Formal Kontrak Cerdas Ethereum.
Rattle - Rattle adalah penganalisis statis EVM yang menganalisis bytecode EVM secara langsung untuk mengetahui kerentanannya.
Slither - Analisis statis pada Soliditas.
Ketekunan - Layanan Keamanan, Alat, dan Praktik Terbaik untuk Ekosistem Ethereum.
fuildai - Fluid adalah AI yang secara otomatis dapat menemukan dan memperbaiki kerentanan keamanan fatal dalam Kontrak Cerdas.
vs code - Ekstensi Auditor Visual Soliditas untuk VS Code
muellerberndt - Analisis dan Eksploitasi Keamanan Kontrak Cerdas Praktis— Bagian 1
topi hitam - Topi Hitam Ethereum.
dipadatkan - Peretasan paritas.
arvanaghi 1 - Membalikkan kontrak pintar ethereum.
arvanaghi 2 - Membalikkan kontrak pintar ethereum 2.
ret2 - Dekompilasi ETH praktis.
loom-network - 6 kerentanan dan cara menghindarinya bagian 1.
Perakitan ETH - Mari kita bicara tentang perakitan.
radare2 - Membalikkan bytecode EVM dengan radare2.
Alat keamanan Ethereum - Alat keamanan Trailofbits Ethereum.
Hackernoon - Menganalisis kontrak pintar Ethereum untuk mengetahui kerentanannya.
nccgroup - Menemukan Kerentanan Kontrak Cerdas dengan GOATCasino.
Arseny Reutov - Memprediksi Angka Acak dalam Kontrak Cerdas Ethereum.
pasar malam - Keacakan adalah masalah besar.
Ethernaut - Ethernaut adalah permainan berbasis Web3/Soliditas.
GOATCasino - GOATCasino adalah proyek Truffle yang menerapkan serangkaian kontrak pintar yang sengaja dibuat rentan.
ctf menantang SWAMPCTF
dasp - Proyek Keamanan Aplikasi Terdesentralisasi (atau DASP) 10 Teratas tahun 2018.
Kontrak yang tidak terlalu cerdas - Contoh masalah keamanan Soliditas.
Opcode EVM - Opcode Ethereum dan referensi instruksi.
mint integer overflow mint integer overflow.
Eksploitasi Alokasi Penyimpanan Pointer yang Tidak Diinisialisasi dalam Kontrak Cerdas Ethereum.
Lebih Cerdas - Membuat Kontrak Cerdas Lebih Cerdas.
Kertas Kuning - Ethereum: buku besar transaksi umum terdesentralisasi yang aman.
luar biasa
ethereum yang luar biasa
mesin virtual ethereum yang mengagumkan
Ethercast
Dipadatkan
pembuat kode
iosiro
auditor
@withzombies @chaignc @trailofbits
Oleh @chaignc #HexpressoTeam.