alxiong

lurk-rs

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

SWE-agent

SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It solves 12.47% of bugs in the SWE-bench evaluation set and takes just 1 minute to run.

mlir-tutorial

MLIR For Beginners tutorial

lattigo

A library for lattice-based multiparty homomorphic encryption in Go

heir

A compiler for homomorphic encryption

nexus-zkvm

The Nexus zkVM: The zero-knowledge virtual machine

cve-rs

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

sp1

A performant, 100% open-source, contributor-friendly zkVM.

icicle

a GPU Library for Zero-Knowledge Acceleration

fplll

Lattice algorithms using floating-point arithmetic

sonobe

Experimental folding schemes library

incubator-teaclave-sgx-sdk

Apache Teaclave (incubating) SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK.

sgxlib

liboqs

C library for prototyping and experimenting with quantum-resistant cryptography

awesome-folding

A curated list of zero-knowledge folding schemes

sapling

A Scalable, User-Friendly Source Control System.

cvxpy

A Python-embedded modeling language for convex optimization problems.

stone-prover

risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

jolt

The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto and friends. ⚡

plonkish

langchain

🦜🔗 Build context-aware reasoning applications

pqcrypto

Rust Post-Quantum cryptography

libsignal

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

dev-templates

Dev environments for numerous languages based on Nix flakes [maintainer=@lucperkins]

lattice-estimator

An attempt at a new LWE estimator

ezkl

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.

Lol

Λ ⚬ λ: Functional Lattice Cryptography

origami

[wip] implementing origami VDF

lurk-lisp

Lisp implementation of Lurk.