Stoffel-Labs / StoffelVMLinks
☆21Updated this week
Alternatives and similar repositories for StoffelVM
Users that are interested in StoffelVM are comparing it to the libraries listed below
Sorting:
- Spartan on Arkworks☆44Updated 3 months ago
- Testudo: Spartan + Groth16☆53Updated last year
- ☆31Updated this week
- Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆67Updated 2 years ago
- Fiat-Shamir for the masses.☆81Updated last week
- A port of TinySMPC into Rust.☆22Updated 2 weeks ago
- DPC with Universal Setup☆46Updated 2 years ago
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆44Updated last year
- Threshold ECDSA via Triples☆82Updated last year
- Binary Proofs, Blazing Fast☆100Updated this week
- ☆76Updated 2 years ago
- Polymath: Groth16 Is Not The Limit☆30Updated 10 months ago
- ☆26Updated 9 months ago
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆34Updated last year
- An elastic proof system based on arkworks☆85Updated last year
- ☆112Updated last year
- Let's go https://eprint.iacr.org/2022/1763.pdf☆61Updated 2 years ago
- A silent threshold encryption scheme, which does not require any interaction during the setup phase☆38Updated 5 months ago
- A verifiable supercomputer☆76Updated 5 months ago
- A Rust library for proof-carrying disclosures☆23Updated last year
- ☆45Updated 7 months ago
- Oblivious key-value store based on Circuit ORAM☆33Updated 8 months ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆75Updated 2 weeks ago
- ☆23Updated 5 years ago
- ☆52Updated 2 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆19Updated 6 months ago
- A web tool that helps you compare and visualize the performance of cryptographic operations☆92Updated 5 months ago
- ☆69Updated last year
- Witness encryption for KZG openings☆30Updated last year
- ECFFT in Rust☆58Updated 2 years ago