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

A formal, language-neutral specification for verifiable provenance

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

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

Test Vector Assertion Library for Rust

Cryptography test vectors in Rust

Amateur difficulty program in JAVA

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

Various generated test vectors.

Example Handshake Traces for TLS 1.3

Module and helpers, test vectors to deal with Idena Transactions

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

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

Additional test vectors used to validate the Toolkit.

SRP-6a test vectors