A study group learning about Ethereum and building protocol wiki

share one rust-analyzer server instance between multiple LSP clients to save resources

Make websites accessible for AI agents

Cyclotomic rings over STARK-friendly fields

A lattice-based non-interactive folding scheme written in Rust

the intersection of cryptography and AI

Repo for my community work Project at Universidad de Costa Rica

Expander, an open-source GKR prover designed for scaling large-scale parallel computing.

Library providing mathematical basics in Rust. The library is based on FLINT.

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

Run LLaMA inference on CPU, with Rust 🦀🚀🦙

Monorepo of halo2 crates

A small Rust library to handle matrices made from elements of finite fields

Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0

Libraries for finite field, elliptic curve, and polynomial arithmetic

A simple but powerful header-only C++ DAE (Differential Algebraic Equation) system solver