Stars
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Fast strong hash functions: SipHash/HighwayHash
A markup-based typesetting system that is powerful and easy to learn.
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
A generative world for general-purpose robotics & embodied AI learning.
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the Prover in charge of generating ZK proofs, the Coordinator responsible for multiple orch…
A Cryptographic Library for Smooth Blockchain uses
Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)
💯Go Struct and Field validation, including Cross Field, Cross Struct, Map, Slice and Array diving
compress library implements a lightweight, deflate-like compression algorithm designed to have a simple, zk-friendly decompression algorithm
A hardware acceleration library for compute intensive cryptography 🧊
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
C library for prototyping and experimenting with quantum-resistant cryptography
Repository to verify contributions to the AZTEC Ignition ceremony
Assembly super-optimization via constraint solving
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
This is proof of solvency tool for Centralized exchanges built by Binance. Please raise bugs and security issues to https://bugcrowd.com/binance
A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
A web tool that helps you compare and visualize the performance of cryptographic operations
reflectwalk is a Go library for "walking" complex structures, similar to walking a filesystem.
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
A powerful and user-friendly binary analysis platform!