8-bit combinational ALU built from scratch with 3,488 CMOS transistors (KiCad + SPICE + Logisim + 1.24M tests

SRP-6a test vectors

Example Handshake Traces for TLS 1.3

Various generated test vectors.

[Alpha] Specs, Templates, test vectors and libraries for the Bismuth Voting Protocol

Test Vector Assertion Library for Rust

Test vectors for ISO/IEC 23009-5 Server And Network assisted DASH

Additional test vectors used to validate the Toolkit.

A simple script useful to quickly generate test vectors to be implemented in VHDL testbenches.

Canonical test vectors for the AIEP protocol — deterministic verification inputs, expected outputs, and SHA-256 integrity manifest.

Numpy-like arbitrary-width integer types for Python RTL modeling

Amateur difficulty program in JAVA

EXPERIMENTAL · Frozen cross-language test vectors for the Peptide Rx Peptide Design Attestation (PDA) protocol. Three vectors. Three documented hashes. Run `node verify.mjs` to confirm any conforming implementation reproduces them.

Module and helpers, test vectors to deal with Idena Transactions

Minimal reference implementation of the Systemic Fire invariant. Test vectors, deterministic computation of R, blind analysis support. Non-canonical, illustrative only.

Cryptography test vectors in Rust