A Framework of Lattice-based Zero-knowledge Arguments in Rust

Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, T…

A framework for writing performant and reliable networked services.

Multi-party computation libraries written in Rust 🦀

Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2…

MLIR For Beginners tutorial

A library for lattice-based multiparty homomorphic encryption in Go

A compiler for homomorphic encryption

The Nexus zkVM: The zero-knowledge virtual machine

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

The fastest, most feature-complete zkVM for developers.

A hardware acceleration library for compute intensive cryptography 🧊

Lattice algorithms using floating-point arithmetic

Experimental folding schemes library

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

C library for prototyping and experimenting with quantum-resistant cryptography

A curated list of zero-knowledge folding schemes

A Scalable, User-Friendly Source Control System.

A Python-embedded modeling language for convex optimization problems.

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

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

🦜🔗 Build context-aware reasoning applications

Rust Post-Quantum cryptography

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