Alat pengembang & sumber terbuka✦Profil editorial
btcd
A Bitcoin full-node implementation written in Go.
☆ 6.711 +0 / 7dLihat entri
Alat pengembang & sumber terbuka
ProofOfKeags/btc-verified
Repositori GitHub publik, terutama memakai Lean.
Kegunaan
ProofOfKeags/btc-verified adalah repositori GitHub publik, terutama memakai Lean. Snapshot terakhir yang disimpan mencatat 26 bintang dan 5 fork. Topik: Bitcoin, bitcoin protocol, formal methods, formal verification, lean, lean4. Baca dokumentasi, lisensi, dan issue terkini sebelum memakai perangkat lunaknya.
Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.
Repositori GitHub
- Bintang
- 26
- Bintang bertambah · 7 hari
- —
- Fork
- 5
- Bahasa utama
- Lean
- Lisensi repositori
- Apache-2.0
- Push kode terakhir
- 7 Okt 2026
Popularitas dari bintang GitHub. Pertumbuhan 7 hari perlu sepekan cuplikan lokal. Ini koleksi kami, bukan tren resmi GitHub.
Sumber & kebaruan data
GitHub ↗Sumber diperbarui · 16 Okt 2026
Entri impor menautkan sumber. Entri membantu penemuan, bukan dukungan.