Popular repositories Loading

1. kbfold kbfold Public

   Boolean-kernel basis: native evaluation-form FRI folding, a multilinear PCS, post-quantum security, Lean 4 formalisation (no sorry)

   Lean 1

2. ALGORIZK ALGORIZK Public

   Research and engineering in cryptography, verifiable computation, mathematical computing and hardware acceleration.

3. cryptanalytic-time-memory-tradeoffs cryptanalytic-time-memory-tradeoffs Public

   Algorizk Labs research on finite-field AES representations and reproducible cryptanalytic time-memory tradeoffs in Java and Rust.

   Java

4. Thaler-book-exercices Thaler-book-exercices Public

   Thaler-book-exercices

   TeX

5. multilinear-sumcheck multilinear-sumcheck Public

   Basis-aware multilinear polynomial algorithms and the Sumcheck protocol in Rust

   Rust

6. PrimeGapPrimorial PrimeGapPrimorial Public

   Lean