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.

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

The open .bge file-encryption format — v3 specification and test vectors. AES-256-GCM + RSA-4096, no servers, no lock-in.

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

Canra — distribute machine-readable specs, not code. Agents fetch specs and generate verified native implementations in any language.

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

Official language-independent conformance suite for CERTCRYPT verifiers: JSON Schemas, deterministic fixtures, and the reference Python generator that produces them.

Verify any Quantova implementation against known-answer test vectors: post-quantum address derivation, QSigner account-id, SHA3-256 hashing, QVM ABI selectors and event topics, QNS namehash, and Dilithium/Falcon/SPHINCS+ signatures. Includes a verifier and reference derivations.

Amateur difficulty program in JAVA

Curated conformance corpus for agent-cards-spec v0.1 — categorized JSON fixtures (valid / dirty / shape) with declarative manifest. Final piece of the test-vectors corpus pattern across all 4 Kinetic Gain Suite specs.

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.

Language-agnostic JSON test vectors for NIP behavioral interpretation

Cryptography test vectors in Rust