bs58 0.5.1

README badge

Claims in public reports for version 0.5.1.

[![proofs.rs](https://img.shields.io/endpoint?url=https%3A%2F%2Fproofs.rs%2Fapi%2Fv1%2Fcrates%2Fbs58%2F0.5.1%2Fbadge)](https://proofs.rs/crate/bs58?version=0.5.1)

crates.io

Reports (2)

#19 bs58 0.5.1: Base58 core and selected builder behavior in a proof fork

creusot 0.13.0 · 21 claims · 3 findings · MasWag · 2026-11-03

#13 bs58 0.5.1 builder initialization and alphabet selection

Aeneas be86ab0 · 4 claims · 3 findings · MasWag · 2026-11-03

Findings (6)

For version 0.5.1. Statuses are author reported.

Finding	Status	Report	Links
Checked decoding changes buffer bytes after the returned length	Reported Reported upstream	#13 · v1	Issue
Checksum-only data can pass a requested version check	Reported Reported upstream	#13 · v1	Issue
InvalidChecksum fields disagree with their documentation	Reported	#13 · v1	—
Checksum-only data can pass a requested version check	Reported	#19 · v1	—
Checked decoding changes buffer bytes after the returned length	Reported	#19 · v1	—
InvalidChecksum fields disagree with their documentation	Reported	#19 · v1	—

APIs (25)

APIs are imported from documentation or named in published verification records. 25 have at least one claim; a count says nothing about how strong each claim is.

APIClaims · findings

Functions

No functions.

Associated functions

No associated functions.

Methods

No inherent methods.

Trait implementations

No trait implementations.

Recorded callables

<&mut T as bs58::wrappers::DecodeTarget>::decode_with recorded callable · signature and safety not recorded1 claim

<&mut T as bs58::wrappers::EncodeTarget>::encode_with recorded callable · signature and safety not recorded1 claim

<[u8; N] as bs58::wrappers::DecodeTarget>::decode_with recorded callable · signature and safety not recorded1 claim

<[u8] as bs58::wrappers::DecodeTarget>::decode_with recorded callable · signature and safety not recorded1 claim

<[u8] as bs58::wrappers::EncodeTarget>::encode_with recorded callable · signature and safety not recorded1 claim

<bs58::Alphabet as Clone>::clone recorded callable · signature and safety not recorded1 claim

<bs58::AlphabetError as Clone>::clone recorded callable · signature and safety not recorded1 claim

<bs58::DecodeError as Clone>::clone recorded callable · signature and safety not recorded1 claim

<bs58::EncodeError as Clone>::clone recorded callable · signature and safety not recorded1 claim

Alphabet::bitcoin recorded callable · signature and safety not recorded1 claim

Alphabet::new recorded callable · signature and safety not recorded1 claim

Alphabet::new_unwrap recorded callable · signature and safety not recorded1 claim

decode::DecodeBuilder::new recorded callable · signature and safety not recorded1 claim

decode::DecodeBuilder::with_alphabet recorded callable · signature and safety not recorded1 claim

decode_into recorded callable · signature and safety not recorded1 claim

decode_into_const recorded callable · signature and safety not recorded1 claim

defaults::decode recorded callable · signature and safety not recorded1 claim

defaults::encode recorded callable · signature and safety not recorded1 claim

encode::EncodeBuilder::new recorded callable · signature and safety not recorded1 claim

encode::EncodeBuilder::with_alphabet recorded callable · signature and safety not recorded1 claim

encode_into recorded callable · signature and safety not recorded1 claim

vec_utils::grow_zero recorded callable · signature and safety not recorded1 claim

vec_utils::truncate recorded callable · signature and safety not recorded1 claim

wrappers::encode_decode_roundtrip recorded callable · signature and safety not recorded1 claim

wrappers::max_encoded_len recorded callable · signature and safety not recorded1 claim