Stoffel-Labs / StoffelVMLinks
☆20Updated this week
Alternatives and similar repositories for StoffelVM
Users that are interested in StoffelVM are comparing it to the libraries listed below
Sorting:
- A port of TinySMPC into Rust.☆22Updated 3 weeks ago
- Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆67Updated 2 years ago
- Spartan on Arkworks☆44Updated 2 months ago
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆44Updated last year
- ☆31Updated this week
- An observatory fork of SP1☆75Updated 9 months ago
- A web tool that helps you compare and visualize the performance of cryptographic operations☆92Updated 4 months ago
- Testudo: Spartan + Groth16☆53Updated last year
- Fiat-Shamir for the masses.☆79Updated this week
- Threshold ECDSA via Triples☆82Updated last year
- A Rust library for proof-carrying disclosures☆22Updated last year
- A verifiable supercomputer☆74Updated 4 months ago
- A framework for SPDZ-style maliciously-secure MPC.☆54Updated 9 months ago
- ☆112Updated last year
- ☆26Updated 8 months ago
- Oblivious key-value store based on Circuit ORAM☆32Updated 7 months ago
- zkSNARKs as a service using secure multi-party computation.☆30Updated last year
- Let's go https://eprint.iacr.org/2022/1763.pdf☆61Updated 2 years ago
- ☆45Updated 6 months ago
- ☆74Updated 2 years ago
- ☆27Updated 2 weeks ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆46Updated last week
- A silent threshold encryption scheme, which does not require any interaction during the setup phase☆36Updated 5 months ago
- We're living in Obfustopia☆27Updated 10 months ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆76Updated last year
- FHE in the Risc0 zkVM☆25Updated 2 years ago
- Client side zero-knowledge proving.☆91Updated this week
- Binary Proofs, Blazing Fast☆88Updated last week
- DPC with Universal Setup☆46Updated 2 years ago
- ☆51Updated this week