Sunscreen-tech / SunscreenLinks
A compiler for fully homomorphic encryption and zero knowledge proofs
β294Updated last month
Alternatives and similar repositories for Sunscreen
Users that are interested in Sunscreen are comparing it to the libraries listed below
Sorting:
- Fully Homomorphic Encryption library in Rustβ235Updated last year
- Multi-party computation libraries written in Rust π¦β270Updated this week
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for themβ224Updated last month
- A Rust library for polynomial commitmentsβ394Updated 8 months ago
- Traits and utilities for working with finite fields.β247Updated 4 months ago
- R1CS constraints for bits, fields, and elliptic curvesβ177Updated last month
- Implementations of popular elliptic curvesβ307Updated last year
- A STARK-based VM focused on code reuse, performance, and modularityβ330Updated 3 weeks ago
- A suite of rust libraries for secure multi-party computationβ318Updated last week
- A pure Rust PLONK implementation using arkworks as a backend.β310Updated last year
- Reference implementation for the Poseidon Snark-friendly Hash algorithm.β217Updated 6 months ago
- A Rust implementation of the Groth16 zkSNARKβ303Updated 2 weeks ago
- β209Updated 3 weeks ago
- The proof systems used by Minaβ445Updated this week
- Implementation of the BLS12-381 pairing-friendly elliptic curve groupβ343Updated 4 months ago
- WHIR πͺοΈ: ReedβSolomon Proximity Testing with Super-Fast Verificationβ150Updated 3 weeks ago
- Libraries for finite field, elliptic curve, and polynomial arithmeticβ764Updated this week
- A Rust library for the Marlin preprocessing zkSNARKβ323Updated last year
- Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use inβ¦β256Updated this week
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).β174Updated 5 months ago
- β229Updated last month
- A curated list of zero-knowledge folding schemesβ300Updated last year
- Noname: a programming language to write zkappsβ218Updated last week
- Tutorial for writing constraints in the `arkworks` frameworkβ245Updated last year
- A pure-Rust implementation of Bulletproofs using Ristretto.β62Updated last year
- Rust Poseidon implementation (contact: @porcuquine)β325Updated 3 months ago
- Cryptography Educational Foundationsβ325Updated last week
- β127Updated 8 months ago
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:β¦β447Updated 6 months ago
- Source code for "Building Cryptographic Proofs from Hash Functions"β208Updated last month