Sunscreen-tech / Sunscreen
A compiler for fully homomorphic encryption and zero knowledge proofs
β269Updated 2 weeks ago
Alternatives and similar repositories for Sunscreen:
Users that are interested in Sunscreen are comparing it to the libraries listed below
- A Rust library for polynomial commitmentsβ366Updated 2 months ago
- Fully Homomorphic Encryption library in Rustβ221Updated 6 months ago
- Multi-party computation libraries written in Rust π¦β233Updated this week
- Traits and utilities for working with finite fields.β243Updated 6 months ago
- Implementations of popular elliptic curvesβ305Updated last year
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for themβ195Updated last week
- Libraries for finite field, elliptic curve, and polynomial arithmeticβ683Updated this week
- A STARK-based VM focused on code reuse, performance, and modularityβ313Updated 2 months ago
- A pure Rust PLONK implementation using arkworks as a backend.β301Updated last year
- Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use inβ¦β253Updated this week
- A suite of rust libraries for secure multi-party computationβ291Updated 2 months ago
- Implementation of the BLS12-381 pairing-friendly elliptic curve groupβ324Updated 6 months ago
- A modular stack for zkVMs, with a focus on productivity, security and performance.β438Updated this week
- Cryptography Educational Foundationsβ250Updated this week
- A Rust implementation of the Groth16 zkSNARKβ268Updated 3 months ago
- A Rust library for the Marlin preprocessing zkSNARKβ319Updated last year
- Noname: a programming language to write zkappsβ207Updated 3 weeks ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).β158Updated this week
- R1CS constraints for bits, fields, and elliptic curvesβ148Updated last week
- Nova: High-speed recursive arguments from folding schemesβ734Updated last week
- A toolkit for polynomial IOPs (PIOPs)β564Updated this week
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:β¦β444Updated this week
- A curated list of zero-knowledge folding schemesβ291Updated 6 months ago
- Reference implementation for the Poseidon Snark-friendly Hash algorithm.β212Updated last week
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk teamβ564Updated last week
- Rust Poseidon implementation (contact: @porcuquine)β301Updated last week
- β224Updated this week
- The proof systems used by Minaβ429Updated this week
- β210Updated 2 weeks ago
- A curated list of awesome things related to plonk proof systemβ231Updated 5 months ago