mratsim / constantine
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
☆452Updated last week
Alternatives and similar repositories for constantine:
Users that are interested in constantine are comparing it to the libraries listed below
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…☆447Updated last month
- Nova: High-speed recursive arguments from folding schemes☆749Updated this week
- Noir is a domain specific language for zero knowledge proofs☆1,024Updated this week
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆295Updated last week
- Libraries for finite field, elliptic curve, and polynomial arithmetic☆709Updated this week
- A modular stack for zkVMs, with a focus on productivity, security and performance.☆445Updated this week
- Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…☆255Updated last week
- ☆304Updated 3 months ago
- Noname: a programming language to write zkapps☆211Updated last month
- Implementation of the BLS12-381 pairing-friendly elliptic curve group☆329Updated 7 months ago
- Multi-party computation libraries written in Rust 🦀☆240Updated this week
- Tutorial for STARKs with supporting code in python☆218Updated last month
- Zero-Knowledge Proof Systems Circuit Compiler☆308Updated 2 months ago
- The proof systems used by Mina☆436Updated this week
- A Rust library for polynomial commitments☆374Updated 3 months ago
- A STARK-based VM focused on code reuse, performance, and modularity☆316Updated 3 months ago
- A compiler for fully homomorphic encryption and zero knowledge proofs☆276Updated 3 weeks ago
- A curated list of zero-knowledge folding schemes☆298Updated 7 months ago
- A Rust implementation of the Groth16 zkSNARK☆277Updated last week
- The Halo2 zero-knowledge proving system☆768Updated 3 months ago
- Implementations of popular elliptic curves☆306Updated last year
- Cryptography Educational Foundations☆288Updated 3 weeks ago
- Reference implementation for the Poseidon Snark-friendly Hash algorithm.☆212Updated last month
- lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components…☆665Updated this week
- Spartan: High-speed zkSNARKs without trusted setup☆753Updated 2 months ago
- A repo for our research papers☆228Updated 2 months ago
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆204Updated last week
- Wordle, but with ZK proofs!☆219Updated 2 years ago
- ☆195Updated 3 months ago
- Traits and utilities for working with finite fields.☆244Updated 3 weeks ago