Skip to content
View qoosmo's full-sized avatar
0 followers · 1 following

Block or report qoosmo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. ALGORIZK ALGORIZK Public

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

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

  3. Thaler-book-exercices Thaler-book-exercices Public

    Thaler-book-exercices

    TeX

  4. multilinear-sumcheck multilinear-sumcheck Public

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

    Rust

  5. PrimeGapPrimorial PrimeGapPrimorial Public

    Lean

  6. kernel-basis-filtration kernel-basis-filtration Public

    Boolean kernel polynomial basis and its low-degree filtration — paper, Lean formalization, and Rust implementation

    Rust