Formal-Verification

M31-ACCEL

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

February 1, 2026 · 1 min