Phala-Network / dcap-qvlLinks
☆19Updated last week
Alternatives and similar repositories for dcap-qvl
Users that are interested in dcap-qvl are comparing it to the libraries listed below
Sorting:
- Cryptographic protocols☆39Updated 2 years ago
- Shielding tokens with zkSNARKs☆21Updated last year
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated 2 years ago
- ☆17Updated 2 years ago
- FHE in the Risc0 zkVM☆25Updated last year
- ☆26Updated last year
- Good Riddance to EPID Pre-Deprecation Memorial Contest☆12Updated last year
- ☆33Updated last year
- ☆25Updated 10 months ago
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 5 months ago
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- a simple implementation of the KZG polynomial commitment scheme☆25Updated 3 years ago
- ☆16Updated 5 months ago
- examples and utilities of Dstack applications☆17Updated this week
- Draft documents for standardization of Plonkish arithmetization☆23Updated last year
- Halo2 Merkle tree circuits☆32Updated 4 years ago
- powdr application running Ethereum tests via revm☆17Updated last year
- Arkworks circuits for verifiable time-lock encryption☆91Updated 2 years ago
- ☆39Updated 2 years ago
- Delve into low-level RISC Zero machine☆28Updated last year
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- ☆45Updated 3 months ago
- KZG commitments over BLS12-381☆36Updated 2 years ago
- A port of TinySMPC into Rust.☆23Updated last year
- ☆28Updated 3 years ago
- a sketch of what a zkvm could look like☆26Updated 4 years ago
- Ethereum Virtual Machine implementation from scratch in Rust☆26Updated 3 years ago
- Tendermint in Solidity☆60Updated 3 years ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆59Updated 2 years ago
- ☆35Updated last year