mersenne31

Here are 3 public repositories matching this topic...

Mersenne-31 FPGA Sumcheck prover with RTL, software cross-checking, synthesis and board validation.

Rust and SystemVerilog tree-based polynomial evaluation over Mersenne-31 with parallel FPGA implementations.

Mersenne-31 kernel-basis experiments and STWO parity/reproducibility artifacts.

rust stark zero-knowledge stwo mersenne31 kernel-basis

To associate your repository with the mersenne31 topic, visit your repo's landing page and select "manage topics."