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)

   TeX 2

2. kronecker-fri kronecker-fri Public

   Kronecker-FRI: hash-based multilinear polynomial commitment from a coefficient-extraction identity — paper, proofs, Rust

   Lean 1

3. ALGORIZK ALGORIZK Public

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

4. 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

5. Thaler-book-exercices Thaler-book-exercices Public

   Thaler-book-exercices

   TeX

6. multilinear-sumcheck multilinear-sumcheck Public

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

   Rust