adler2 2.0.1

README badge

Claims in public reports for version 2.0.1.

[![proofs.rs](https://img.shields.io/endpoint?url=https%3A%2F%2Fproofs.rs%2Fapi%2Fv1%2Fcrates%2Fadler2%2F2.0.1%2Fbadge)](https://proofs.rs/crate/adler2?version=2.0.1)

A simple clean-room implementation of the Adler-32 checksum

crates.io

Reports (1)

#7 adler2 2.0.1: Adler-32 computation core verified with Aeneas and Lean

Aeneas be86ab0 · 5 claims · keiichiw · 2026-10-17

Findings (0)

For version 2.0.1. Statuses are author reported.

No findings reported for this version.

APIs (21)

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

APIClaims · findings

Functions

pub fn adler32<R: BufRead>(reader: R) -> io::Result<u32>—

pub fn adler32_slice(data: &[u8]) -> u321 claim

Associated functions

`impl Adler32`

pub const fn from_checksum(sum: u32) -> Self1 claim

pub fn new() -> Self1 claim

Methods

`impl Adler32`

pub fn checksum(self: &Self) -> u321 claim

pub fn write_slice(self: &mut Self, bytes: &[u8])1 claim

Trait implementations

`impl core::clone::Clone for Adler32`

pub fn clone(self: &Self) -> Self—

`impl core::default::Default for Adler32`

pub fn default() -> Self—

`impl core::fmt::Debug for Adler32`

pub fn fmt(self: &Self, f: &mut $crate::fmt::Formatter<'_>) -> $crate::fmt::Result—

`impl core::hash::Hasher for Adler32`

pub fn finish(self: &Self) -> u64—

pub fn write(self: &mut Self, bytes: &[u8])—

Blanket implementations

`impl alloc::borrow::ToOwned for Adler32`

pub fn clone_into(self: &Self, target: &mut T)—

pub fn to_owned(self: &Self) -> T—

`impl core::any::Any for Adler32`

pub fn type_id(self: &Self) -> TypeId—

`impl core::borrow::Borrow<T> for Adler32`

pub fn borrow(self: &Self) -> &T—

`impl core::borrow::BorrowMut<T> for Adler32`

pub fn borrow_mut(self: &mut Self) -> &mut T—

`impl core::clone::CloneToUninit for Adler32`

pub unsafe fn clone_to_uninit(self: &Self, dest: *mut u8)—

`impl core::convert::From<T> for Adler32`

pub fn from(t: T) -> T—

`impl core::convert::Into<U> for Adler32`

pub fn into(self: Self) -> U—

`impl core::convert::TryFrom<U> for Adler32`

pub fn try_from(value: U) -> Result<T, never>—

`impl core::convert::TryInto<U> for Adler32`

pub fn try_into(self: Self) -> Result<U, <U as TryFrom<T>>::Error>—