A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.

Automated e2e sandbox testing framework for OSS repositories

Cheddar: A Swift Fully Homomorphic Encryption (FHE) GPU Library

AI agents running research on single-GPU nanochat training automatically

A collection of notebooks/recipes showcasing some fun and effective ways of using Claude.

cuPQC SDK Developer Hub: samples, integration guides, and technical/release blogs

High-performance capability authorization engine for AI agents. Cryptographically attenuated warrants, task-scoped authority, verifiable offline. Rust core.

Rust language proof-carrying data framework

[DEPRECATED] The GPU code of the latest version of SP1 is in the main sp1 repo https://github.com/succinctlabs/sp1

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

Final Project in Cryptography - NT219.O11.ATTN

Machine Learning library for Rust

A comprehensive transaction MPT proofs handler for Ethereum / Starknet

A comparison of Groth16 proof aggregation in different ZKVMs

Unified zkVM Interface & Toolkit

FHENOMENON (FHE + phenomenon) — A Catalyst for Enabling Practical Fully Homomorphic Encryption Programming Model

Privacy-first tooling for the Ethereum ecosystem

Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡

Ethereum zkEVM book

awesome-zkml repository

Implementation of the Google Zero-Knowledge library for Identity Protocols.

Post-Quantum zkVM

A GKR-based zero-knowledge proof protocol for CNN model inference.

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.

An step by step fuzzing tutorial. A GitHub Security Lab initiative

Clean, portable, tested implementations of post-quantum cryptography