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.

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

Canonical schemas, fixtures, wire format, and conformance suite for IntentProof. Apache 2.0.

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

Amateur difficulty program in JAVA

Circuit schemas and generated public input artifacts for NullPay

Executable protocol drafts and deterministic test vectors for NullPay

Cryptography test vectors in Rust

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.