Skip to content
@STARK-hackathon-Mines-Paris

STARK, hackathon Mines Paris

Popular repositories Loading

  1. stark-fibonacci stark-fibonacci Public

    A from-scratch STARK prover and verifier in Python: AIR constraints, NTT-accelerated low-degree extension over a 2-adic prime field, Merkle commitments, Fiat-Shamir, and binary-folding FRI. Verifie…

    Python

  2. STARK STARK Public

    An end-to-end STARK prover and verifier written from scratch in Python. Radix-2 NTT over a 2-adic prime field replaces O(n³) Lagrange interpolation — 117× faster prover, 223× prover/verifier asymme…

    Python

Repositories

Showing 2 of 2 repositories
  • STARK Public

    An end-to-end STARK prover and verifier written from scratch in Python. Radix-2 NTT over a 2-adic prime field replaces O(n³) Lagrange interpolation — 117× faster prover, 223× prover/verifier asymmetry, byte-identical proofs across both backends. 612 tests.

    STARK-hackathon-Mines-Paris/STARK's past year of commit activity
    Python 0 MIT 0 0 0 Updated Aug 12, 2026
  • stark-fibonacci Public

    A from-scratch STARK prover and verifier in Python: AIR constraints, NTT-accelerated low-degree extension over a 2-adic prime field, Merkle commitments, Fiat-Shamir, and binary-folding FRI. Verifies a 255-step computation in 7.7 ms — 244x faster than proving it.

    STARK-hackathon-Mines-Paris/stark-fibonacci's past year of commit activity
    Python 0 MIT 0 0 0 Updated Aug 11, 2026

Top languages

Loading…

Most used topics

Loading…