Oblivious key-value store based on Circuit ORAM
☆36Mar 22, 2025Updated 11 months ago
Alternatives and similar repositories for oram
Users that are interested in oram are comparing it to the libraries listed below
Sorting:
- ☆24Mar 2, 2025Updated last year
- C++ implementation of VSS using LWE encryption and proofs☆15Oct 18, 2021Updated 4 years ago
- Client side zero-knowledge proving.☆102Updated this week
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- ZK proofs for Brainfuck execution using powdr☆17Aug 28, 2024Updated last year
- Circom AES-GCM circuits☆35Feb 12, 2026Updated 3 weeks ago
- ☆83Jan 7, 2025Updated last year
- IMP1 - Ingonyama Mobile Prover, built with ICICLE☆29Aug 4, 2025Updated 7 months ago
- ECDSA P384 implementation for circom☆17Sep 1, 2024Updated last year
- A language for building boolean circuits based on TypeScript☆34Jul 9, 2025Updated 7 months ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Nov 9, 2015Updated 10 years ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Mar 3, 2025Updated last year
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆50Jul 5, 2023Updated 2 years ago
- Plonky2 implementation of Ed25519☆11Apr 5, 2024Updated last year
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated 11 months ago
- ☆13Aug 23, 2023Updated 2 years ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated last month
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Dec 18, 2023Updated 2 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Apr 6, 2023Updated 2 years ago
- ☆11Sep 10, 2024Updated last year
- RISCU emulator and zk circuit simulator as a reference for a Jolt implementation☆23Dec 11, 2023Updated 2 years ago
- Middleware to compile Circom circuits to Nova prover☆244Mar 1, 2024Updated 2 years ago
- ☆33Sep 22, 2023Updated 2 years ago
- r1cs file format parser☆23May 6, 2024Updated last year
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Aug 13, 2025Updated 6 months ago
- Web Assembly low level implementation of pairing friendly curves.☆15Feb 10, 2026Updated 3 weeks ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 18, 2026Updated 2 weeks ago
- rust sdk for zkWasm☆11Feb 11, 2026Updated 3 weeks ago
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- ☆12Oct 4, 2023Updated 2 years ago
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆60Nov 22, 2025Updated 3 months ago
- A testing & development environment for Circom.☆117Jul 31, 2025Updated 7 months ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Feb 17, 2025Updated last year
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated 10 months ago
- A repository for the Leela VS the World project for On-Chain machine learning☆20Sep 26, 2024Updated last year
- Extractable Witness Encryption for KZG Commitments☆32Nov 29, 2024Updated last year
- Wait-Free Eras (PPoPP '20)☆10Jan 11, 2020Updated 6 years ago
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year