sponge-construction

SHA-3 and other Keccak related algorithms in SPARK/Ada.

Java implementation of Keccak and SHA-3 hash functions.

Poseidon algebraic sponge hash function optimized for zero-knowledge arithmetic circuits with MDS matrix diffusion and power S-boxes.

Poseidon algebraic sponge hash function optimized for zero-knowledge arithmetic circuits with MDS matrix diffusion and power S-boxes.

A binding of the KangarooTwelve hash algorithm for Ruby

This article is currently searchable in Engineering Village and published by IOP Science.

Experimental 1536-bit sponge hash family featuring a controller-driven permutation with machine-checked Lean 4 wide-trail proofs

Implementation of SHA3-keccak and other supportive work

Browser-based Ascon demo — NIST Lightweight Cryptography Standard (FIPS SP 800-232, 2025). Ascon-AEAD128 encrypt/decrypt with constant-time tag verification, Ascon-Hash256 with avalanche analysis, side-by-side comparison against AES-GCM and ChaCha20-Poly1305. Designed for IoT and embedded constraints. No backends. No external crypto libraries.

A blazing fast Ruby wrapper for the Xoodyak cryptographic scheme. Supports hashing and AEAD encryption.

Browser-based NIST SP 800-90B entropy assessment — a modelled Infinite Noise circuit and a published SHA-256 counter stream side by side, with all ten non-IID estimators, five fault fixtures, a Keccak conditioning ledger, and the headline result that the fully predictable stream scores 2.47× higher than the thermal noise

Browser-based KMAC Gate demo — FIPS 202 SHA3-256/SHAKE and SP 800-185 cSHAKE/KMAC on one hand-written Keccak-f[1600] permutation, showing why keying the sponge needs no HMAC wrapper.

Browser-based AEGIS-256 authenticated encryption demo (draft-irtf-cfrg-aegis-aead-18). AES round function, 6-state sponge update, and tag derivation implemented from scratch and verified against official test vectors.

From-scratch implementation of SHA-3 (Keccak) hash function family in Java, following FIPS 202

Browser-based national hash standard demo — SM3 (China), Streebog (Russia), and Kupyna (Ukraine) alongside SHA-256 and SHA-3. Five-way simultaneous hashing, avalanche analysis, and cryptographic sovereignty context.