sponge-construction

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

Java implementation of Keccak and SHA-3 hash functions.

A binding of the KangarooTwelve hash algorithm for Ruby

Implementation of SHA3-keccak and other supportive work

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

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

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.

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.

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

Experimental cryptographic hash/XOF research project combining finite-field arithmetic, Feistel rounds, a sponge construction, and Garside braid normalization. Includes a C reference implementation, reproducible tests, and cryptanalysis reports. Not for production use.

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.