hash · 2026-07-15

Replicated three-lane SHA-256 arithmetic

The complete generated lane and exact three-lane farm matched an independent Rust compression oracle for the finite reset, bubble, adjacent-token, non-IV, and asymmetric-lane vectors.

passed HASHSIGS_SHA256_GENERIC_V1

Identity and boundary

Evidence tier: Generated RTL simulation
Topology: Three independent 64-stage compression lanes
Cryptographic subject/source commit: beb9ada48fc01e089ec4fbaa05d2fdeab338de47
Cryptographic source dirty: no
Producing narrative: Read the privacy-sanitized source record
evidence/rtl/sha256-replicated-farm-arithmetic-2026-07-15.md

Reproduction command

target/debug/rhdl-gen check --full --keep --temp-root <temporary-directory>

Measurements

Measurement	Value	Context
lane latency	`64 cycles`	exact valid/tag latency
farm vectors	`5 outputs`	asymmetric activity across three lanes

Supported claims

Five expected compression outputs matched across the exact generated three-lane farm.
Opaque tags and valid state crossed exactly 64 cycles, including reset flushing.

Explicit nonclaims

formal SHA-256 proof
mapped three-lane resources
timing, route, signature throughput, or hardware execution

Tools

Verilator: 5.048
RHDL: c99d5cc53269a247bbc675d0fbd766991d409f56

Artifacts

Artifact	Published bytes	SHA-256
replicated farm RTL	Digest only	`0b4aef07029d4ae3a9e3cfa271c8ebe899a2128dc3c95794977c5dce4c2160d9`
farm simulation log	Digest only	`6df649738af9f23515c0c73fcce9477b387e7720223939012c4db1a384b209e1`

Next gate

Use the complete production signer bundle for system-level evidence, then synthesize the exact staged RTL.