ZcashFoundation / reddsa
A minimal RedDSA implementation for use in Zebra and zcashd.
☆9Updated 2 weeks ago
Related projects: ⓘ
- Curdleproofs is a zero-knowledge shuffle argument☆68Updated 11 months ago
- ☆24Updated 11 months ago
- Delve into low-level RISC Zero machine☆27Updated 8 months ago
- Cryptographic protocols☆36Updated last year
- A Cairo VM prover implemented using Winterfell☆17Updated last year
- Fiat-Shamir for the masses.☆40Updated last week
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- polynomial commitments from linear codes☆35Updated 11 months ago
- Implementation of the Grumpkin curve in Rust.☆28Updated last year
- A Solidity implementation of Halo2's Pasta curves☆48Updated last year
- Traits and utilities for working with finite fields☆17Updated last month
- Notes for the R1CS programming workshop at ZK0x04☆29Updated 4 years ago
- A Rust library for proof-carrying disclosures☆17Updated 5 months ago
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆28Updated last year
- ☆28Updated 9 months ago
- Polymath: Groth16 Is Not The Limit☆26Updated this week
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Updated last year
- ☆32Updated 8 months ago
- ECDSA gadgets for plonky2☆18Updated 11 months ago
- Pessimistic proof for the AggLayer.☆25Updated 2 months ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆21Updated 3 months ago
- Benchmarking Polynomial Commitments