crc 3.4.0

README badge

Claims in public reports for version 3.4.0.

[![proofs.rs](https://img.shields.io/endpoint?url=https%3A%2F%2Fproofs.rs%2Fapi%2Fv1%2Fcrates%2Fcrc%2F3.4.0%2Fbadge)](https://proofs.rs/crate/crc?version=3.4.0)

crates.io

Reports (2)

#12 crc 3.4.0: selected checksum and digest contracts

Aeneas be86ab0 · 75 claims · 1 finding · keiichiw · 2026-11-01

#11 crc 3.4.0: table access and clone contracts

Aeneas be86ab0 · 21 claims · keiichiw · 2026-11-01

Findings (1)

For version 3.4.0. Statuses are author reported.

Finding	Status	Report	Links
Reassigning Crc::algorithm can leave the lookup table inconsistent	Reported	#12 · v1	—

APIs (96)

APIs are imported from documentation or named in published verification records. 96 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

Crc<u128, Table<0>>::checksum recorded callable · signature and safety not recorded1 claim

Crc<u128, Table<0>>::digest recorded callable · signature and safety not recorded1 claim

Crc<u128, Table<0>>::digest_with_initial recorded callable · signature and safety not recorded1 claim

Crc<u128, Table<0>>::new recorded callable · signature and safety not recorded1 claim

Crc<u128, Table<0>>::table recorded callable · signature and safety not recorded1 claim

Crc<u128, Table<16>>::digest recorded callable · signature and safety not recorded1 claim

Crc<u128, Table<16>>::digest_with_initial recorded callable · signature and safety not recorded1 claim

Crc<u128, Table<16>>::table recorded callable · signature and safety not recorded1 claim

Crc<u128, Table<1>>::checksum recorded callable · signature and safety not recorded1 claim

Crc<u128, Table<1>>::digest recorded callable · signature and safety not recorded1 claim

Crc<u128, Table<1>>::digest_with_initial recorded callable · signature and safety not recorded1 claim

Crc<u128, Table<1>>::new recorded callable · signature and safety not recorded1 claim

Crc<u128, Table<1>>::table recorded callable · signature and safety not recorded1 claim

Crc<u16, Table<0>>::checksum recorded callable · signature and safety not recorded1 claim

Crc<u16, Table<0>>::digest recorded callable · signature and safety not recorded1 claim

Crc<u16, Table<0>>::digest_with_initial recorded callable · signature and safety not recorded1 claim

Crc<u16, Table<0>>::new recorded callable · signature and safety not recorded1 claim

Crc<u16, Table<0>>::table recorded callable · signature and safety not recorded1 claim

Crc<u16, Table<16>>::digest recorded callable · signature and safety not recorded1 claim

Crc<u16, Table<16>>::digest_with_initial recorded callable · signature and safety not recorded1 claim

Crc<u16, Table<16>>::table recorded callable · signature and safety not recorded1 claim

Crc<u16, Table<1>>::checksum recorded callable · signature and safety not recorded1 claim

Crc<u16, Table<1>>::digest recorded callable · signature and safety not recorded1 claim

Crc<u16, Table<1>>::digest_with_initial recorded callable · signature and safety not recorded1 claim

Crc<u16, Table<1>>::new recorded callable · signature and safety not recorded1 claim

Crc<u16, Table<1>>::table recorded callable · signature and safety not recorded1 claim

Crc<u32, Table<0>>::checksum recorded callable · signature and safety not recorded1 claim

Crc<u32, Table<0>>::digest recorded callable · signature and safety not recorded1 claim

Crc<u32, Table<0>>::digest_with_initial recorded callable · signature and safety not recorded1 claim

Crc<u32, Table<0>>::new recorded callable · signature and safety not recorded1 claim

Crc<u32, Table<0>>::table recorded callable · signature and safety not recorded1 claim

Crc<u32, Table<16>>::digest recorded callable · signature and safety not recorded1 claim

Crc<u32, Table<16>>::digest_with_initial recorded callable · signature and safety not recorded1 claim

Crc<u32, Table<16>>::table recorded callable · signature and safety not recorded1 claim

Crc<u32, Table<1>>::checksum recorded callable · signature and safety not recorded1 claim

Crc<u32, Table<1>>::digest recorded callable · signature and safety not recorded1 claim

Crc<u32, Table<1>>::digest_with_initial recorded callable · signature and safety not recorded1 claim

Crc<u32, Table<1>>::new recorded callable · signature and safety not recorded1 claim

Crc<u32, Table<1>>::table recorded callable · signature and safety not recorded1 claim

Crc<u64, Table<0>>::checksum recorded callable · signature and safety not recorded1 claim

Crc<u64, Table<0>>::digest recorded callable · signature and safety not recorded1 claim

Crc<u64, Table<0>>::digest_with_initial recorded callable · signature and safety not recorded1 claim

Crc<u64, Table<0>>::new recorded callable · signature and safety not recorded1 claim

Crc<u64, Table<0>>::table recorded callable · signature and safety not recorded1 claim

Crc<u64, Table<16>>::digest recorded callable · signature and safety not recorded1 claim

Crc<u64, Table<16>>::digest_with_initial recorded callable · signature and safety not recorded1 claim

Crc<u64, Table<16>>::table recorded callable · signature and safety not recorded1 claim

Crc<u64, Table<1>>::checksum recorded callable · signature and safety not recorded1 claim

Crc<u64, Table<1>>::digest recorded callable · signature and safety not recorded1 claim

Crc<u64, Table<1>>::digest_with_initial recorded callable · signature and safety not recorded1 claim

Crc<u64, Table<1>>::new recorded callable · signature and safety not recorded1 claim

Crc<u64, Table<1>>::table recorded callable · signature and safety not recorded1 claim

Crc<u8, Table<0>>::checksum recorded callable · signature and safety not recorded1 claim

Crc<u8, Table<0>>::digest recorded callable · signature and safety not recorded1 claim

Crc<u8, Table<0>>::digest_with_initial recorded callable · signature and safety not recorded1 claim

Crc<u8, Table<0>>::new recorded callable · signature and safety not recorded1 claim

Crc<u8, Table<0>>::table recorded callable · signature and safety not recorded1 claim

Crc<u8, Table<16>>::digest recorded callable · signature and safety not recorded1 claim

Crc<u8, Table<16>>::digest_with_initial recorded callable · signature and safety not recorded1 claim

Crc<u8, Table<16>>::table recorded callable · signature and safety not recorded1 claim

Crc<u8, Table<1>>::checksum recorded callable · signature and safety not recorded1 claim

Crc<u8, Table<1>>::digest recorded callable · signature and safety not recorded1 claim

Crc<u8, Table<1>>::digest_with_initial recorded callable · signature and safety not recorded1 claim

Crc<u8, Table<1>>::new recorded callable · signature and safety not recorded1 claim

Crc<u8, Table<1>>::table recorded callable · signature and safety not recorded1 claim

Digest<u128, Table<0>>::finalize recorded callable · signature and safety not recorded1 claim

Digest<u128, Table<0>>::update recorded callable · signature and safety not recorded1 claim

Digest<u128, Table<16>>::finalize recorded callable · signature and safety not recorded1 claim

Digest<u128, Table<1>>::finalize recorded callable · signature and safety not recorded1 claim

Digest<u128, Table<1>>::update recorded callable · signature and safety not recorded1 claim

Digest<u16, Table<0>>::finalize recorded callable · signature and safety not recorded1 claim

Digest<u16, Table<0>>::update recorded callable · signature and safety not recorded1 claim

Digest<u16, Table<16>>::finalize recorded callable · signature and safety not recorded1 claim

Digest<u16, Table<1>>::finalize recorded callable · signature and safety not recorded1 claim

Digest<u16, Table<1>>::update recorded callable · signature and safety not recorded1 claim

Digest<u32, Table<0>>::finalize recorded callable · signature and safety not recorded1 claim

Digest<u32, Table<0>>::update recorded callable · signature and safety not recorded1 claim

Digest<u32, Table<16>>::finalize recorded callable · signature and safety not recorded1 claim

Digest<u32, Table<1>>::finalize recorded callable · signature and safety not recorded1 claim

Digest<u32, Table<1>>::update recorded callable · signature and safety not recorded1 claim

Digest<u64, Table<0>>::finalize recorded callable · signature and safety not recorded1 claim

Digest<u64, Table<0>>::update recorded callable · signature and safety not recorded1 claim

Digest<u64, Table<16>>::finalize recorded callable · signature and safety not recorded1 claim

Digest<u64, Table<1>>::finalize recorded callable · signature and safety not recorded1 claim

Digest<u64, Table<1>>::update recorded callable · signature and safety not recorded1 claim

Digest<u8, Table<0>>::finalize recorded callable · signature and safety not recorded1 claim

Digest<u8, Table<0>>::update recorded callable · signature and safety not recorded1 claim

Digest<u8, Table<16>>::finalize recorded callable · signature and safety not recorded1 claim

Digest<u8, Table<1>>::finalize recorded callable · signature and safety not recorded1 claim

Digest<u8, Table<1>>::update recorded callable · signature and safety not recorded1 claim

Table<0>::clone recorded callable · signature and safety not recorded1 claim

Table<0>::clone_from recorded callable · signature and safety not recorded1 claim

Table<16>::clone recorded callable · signature and safety not recorded1 claim

Table<16>::clone_from recorded callable · signature and safety not recorded1 claim

Table<1>::clone recorded callable · signature and safety not recorded1 claim

Table<1>::clone_from recorded callable · signature and safety not recorded1 claim