Verilog

Custom ASIC for modular arithmetic over GF(2^31 - 1), targeting ZK-STARK proof acceleration.