CUDA Tile IR is an MLIR-based intermediate representation and compiler infrastructure for CUDA kernel optimization, focusing on tile-based computation patterns and optimizations targeting NVIDIA te…

ZeroOS: A Universal Modular Library OS for zkVMs

Experiments with structured concurrency in Rust

A modern TLS library in Rust

A new type of shell

Compiles WebAssembly into a ZK friendly IR with infinite-registers and write-once memory.

The rustic MLIR bindings in Rust

STARK-based virtual machine

A toolkit for polynomial IOPs (PIOPs)

In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU

🚀 Fast, secure, lightweight containers based on WebAssembly

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

WebAssembly specification, reference interpreter, and test suite.

the official Rust and C implementations of the BLAKE3 cryptographic hash function

A cross-platform, safe, pure-Rust graphics API.

Curve ecGFp5

CGBN: CUDA Accelerated Multiple Precision Arithmetic (Big Num) using Cooperative Groups

Tricks you wish the Coq manual told you [maintainer=@tchajed]

ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

Graph Neural Network Library for PyTorch

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

R1CS constraints for bits, fields, and elliptic curves

A free book about developing secure and robust systems software.