Module farm 

Parallel compression-lane farm for the performance profile. Parallel SHA-256 compression lanes for the performance profile.

crate::farm::CompressionFarm is the ordinary structural-array reference implementation. crate::farm::ReplicatedCompressionFarm makes identical lane configuration explicit so RHDL lowers one child hierarchy and emits multiple hardware instances of it. Every lane receives its own chaining value, block, opaque scheduler tag, and valid bit; every lane returns its own digest, tag, and valid bit. There is no arbiter, runtime hash-profile mux, or input backpressure in either block.

crate::farm::ThreeLaneCompressionFarm is a standalone generation and lane-equivalence target containing three complete 64-round lanes. It accepts up to three unrelated compression blocks per cycle and preserves each lane’s exact 64-cycle latency. The production signer does not instantiate this farm: it instantiates one lane inside each of three autonomous four-context clusters. The figures below are architectural projections from the authored RHDL, not synthesis, placement, routing, or hardware evidence.

Structs

CompressionFarm

Structural farm of independent SHA-256 compression lanes.

ReplicatedCompressionFarm

Structurally identical SHA-256 compression lanes lowered from one prototype.

Constants

PERFORMANCE_FARM_LANES

Number of independent compression lanes in the performance farm.

THREE_LANE_PROJECTED_ARCHITECTURAL_REGISTER_BITS

Total projected architectural register bits in the full farm.

THREE_LANE_PROJECTED_BRAM_OUTPUT_REGISTER_BITS

Projected registered synchronous-memory output bits in the full farm.

THREE_LANE_PROJECTED_CHAINING_MEMORY_BITS

Logical chaining-value memory bits in the full farm.

THREE_LANE_PROJECTED_PIPELINE_REGISTER_BITS

Projected round-data, tag, and valid register bits in the full farm.

THREE_LANE_PROJECTED_POINTER_REGISTER_BITS

Projected circular-memory pointer bits in the full farm.

Functions

compression_farm_checked_verilog

Emits and Icarus-checks a small farm specialization.

compression_farm_kernel

Pure structural connectivity for CompressionFarm.

replicated_compression_farm_kernel

Pure structural connectivity for ReplicatedCompressionFarm.

try_full_three_lane_farm_generation_only_unchecked_verilog

Renders the complete three-lane farm while bypassing its final Icarus check.

Type Aliases

CompressionFarmInput

Input vector for a farm of LANES independent compression pipelines.

CompressionFarmOutput

Output vector for a farm of LANES independent compression pipelines.

ThreeLaneCompressionFarm

Exact three-by-64-round standalone generation and equivalence target.