Claim #5 — Verification of bs58::Alphabet::bitcoin (with creusot 0.13.0)bs58::Alphabet::bitcoinbs58 0.5.1: Base58 core and selected builder behavior in a proof fork · v2 · 0 comments · MasWag