Sunscreen-tech / SunscreenLinks
A compiler for fully homomorphic encryption and zero knowledge proofs
β296Updated 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β243Updated last week
- Multi-party computation libraries written in Rust π¦β278Updated 2 weeks ago
- A Rust library for polynomial commitmentsβ406Updated 10 months ago
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for themβ228Updated 3 months ago
- A STARK-based VM focused on code reuse, performance, and modularityβ335Updated 2 months ago
- R1CS constraints for bits, fields, and elliptic curvesβ185Updated last month
- Traits and utilities for working with finite fields.β247Updated 6 months ago
- Libraries for finite field, elliptic curve, and polynomial arithmeticβ800Updated 2 weeks ago
- A pure Rust PLONK implementation using arkworks as a backend.β310Updated 2 years ago
- A Rust implementation of the Groth16 zkSNARKβ312Updated 2 months ago
- Implementations of popular elliptic curvesβ309Updated last year
- Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use inβ¦β261Updated this week
- A curated list of zero-knowledge folding schemesβ304Updated last year
- Implementation of the BLS12-381 pairing-friendly elliptic curve groupβ353Updated 6 months ago
- A suite of rust libraries for secure multi-party computationβ324Updated last month
- A Rust library for the Marlin preprocessing zkSNARKβ322Updated last year
- The proof systems used by Minaβ450Updated this week
- Reference implementation for the Poseidon Snark-friendly Hash algorithm.β217Updated 8 months ago
- β232Updated 3 months ago
- WHIR πͺοΈ: ReedβSolomon Proximity Testing with Super-Fast Verificationβ169Updated 3 weeks ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).β175Updated 7 months ago
- Tutorial for writing constraints in the `arkworks` frameworkβ247Updated last year
- β218Updated 3 months ago
- Cryptography Educational Foundationsβ330Updated last week
- Nova: High-speed recursive zero-knowledge arguments from folding schemesβ795Updated 2 weeks ago
- Noname: a programming language to write zkappsβ222Updated this week
- Rust Poseidon implementation (contact: @porcuquine)β334Updated 5 months ago
- Tutorial for STARKs with supporting code in pythonβ227Updated 4 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.β134Updated last month
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:β¦β452Updated 8 months ago