⚡️ spells to enchant Bitcoin UTXOs

Embeddable, efficient and versatile WebAssembly interpreter.

A Rust implementation of the Groth16 zkSNARK

Rust language bindings for Bitcoin secp256k1 library.

Rust Bitcoin library

Libraries for finite field, elliptic curve, and polynomial arithmetic

R1CS constraints for bits, fields, and elliptic curves

A toolkit for polynomial IOPs (PIOPs)

💥 Cross-platform interface to the `errno` variable

The fastest, most feature-complete zkVM for developers.

This is a library, written in Rust, for serialization & deserialization of data structures used in Cardano's Haskell implementation of Alonzo along with useful utility functions.

An open-source Rust library for easy Cardano transaction building and unit testing

Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.

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

zkBitcoin: zero-knowledge proofs on Bitcoin!

Interfaces for Relations and SNARKs for these relations

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

Consensus layer implementation for zkSync Era

Low level tooling for WebAssembly in Rust

Implementations of popular elliptic curves

A Virtual Machine for Zero-Knowledge Executions

GraalVM: Run Programs Faster Anywhere 🚀

Spartan on Arkworks

Standalone JIT-style runtime for WebAssembly, using Cranelift

TypeScript framework for zk-SNARKs and zkApps

Tanzu Framework provides a set of building blocks to build atop of the Tanzu platform and leverages Carvel packaging and plugins to provide users with a much stronger, more integrated experience th…