Sunscreen-tech / spfLinks
This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary computations over encrypted data.
☆11Updated 3 weeks ago
Alternatives and similar repositories for spf
Users that are interested in spf are comparing it to the libraries listed below
Sorting:
- Finite Fields and Curves in Lean☆14Updated 2 years ago
- It's a baby compiler. (Lean btw.)☆16Updated 8 months ago
- Lisp implementation of Lurk.☆78Updated last year
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆156Updated 9 months ago
- A scalable anonymous blocklisting scheme☆12Updated 2 years ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆75Updated 2 years ago
- Multi-party computation utilities toolkit for rust☆16Updated 6 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆18Updated last week
- UCAN Invocation & Pipelining☆17Updated 6 months ago
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- ☆23Updated 3 years ago
- The cryptographic signature multifomat☆13Updated 6 months ago
- Shared Lurk source code, including tests and library code.☆18Updated last year
- A Categorical View of Computation☆34Updated last month
- Asynchronous P2P communication backend for decentralized pipeline parallelism☆40Updated 7 months ago
- A Formal Semantics of WebAssembly in K☆85Updated 2 weeks ago
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Updated last year
- Solidity Library for parsing and verifying TLS-N proofs.☆17Updated 8 years ago
- A formal verification of Linear PCP SNARKs.☆60Updated last year
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆41Updated last year
- ☆13Updated 2 years ago
- A pseudo-random deterministic merkle tree built on LMDB☆81Updated 10 months ago
- Hackathon project for Snarky workshop.☆11Updated 6 years ago
- Verification-Driven Development☆21Updated 4 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Updated 4 years ago
- BLST-Verification☆23Updated last week
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Updated last year
- Arithmetic circuits for zero knowledge proof systems☆83Updated last year
- Pairing operations over the BLS12-381 elliptic curve in Haskell☆14Updated 3 years ago
- Merkle tree toolkit☆46Updated 5 years ago