A depth-aware secure computation compiler
☆17Jun 7, 2025Updated 8 months ago
Alternatives and similar repositories for oraqle
Users that are interested in oraqle are comparing it to the libraries listed below
Sorting:
- A private payment system for Ethereum-based blockchains, with no trusted setup.☆16May 14, 2021Updated 4 years ago
- ☆19Apr 11, 2025Updated 10 months ago
- ☆20Sep 30, 2022Updated 3 years ago
- Zcash-flavored Ed25519 for use in Zebra.☆35Feb 20, 2026Updated last week
- Lecture notes on the Foundations of Isogeny-based Cryptography☆33Sep 5, 2024Updated last year
- Witness encryption for KZG openings☆33Nov 6, 2024Updated last year
- This repo contains code related to development of LLM based projects with Langchain and LLamaIndex. It uses RAG, Function calling, agents…☆11Jul 19, 2024Updated last year
- An implementation of BGV-FHE scheme☆28Apr 26, 2018Updated 7 years ago
- CodeFeedr core infrastructure☆10Nov 10, 2020Updated 5 years ago
- ☆10Feb 3, 2023Updated 3 years ago
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated 5 months ago
- Artifact associated with CHES 2022 paper https://tches.iacr.org/index.php/TCHES/article/view/9817☆12Nov 10, 2023Updated 2 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- This RocketchatApp validates uploaded images against the Microsoft PhotoDNA cloud service and quarantines those identified as child abuse…☆12Nov 17, 2025Updated 3 months ago
- ☆12Feb 3, 2022Updated 4 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Jul 31, 2025Updated 7 months ago
- ☆16Jun 22, 2024Updated last year
- specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification☆10Oct 9, 2023Updated 2 years ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- ☆13Dec 3, 2022Updated 3 years ago
- Hardware-tailored grouping for Pauli measurements.☆13Nov 28, 2025Updated 3 months ago
- ☆10Aug 21, 2022Updated 3 years ago
- Large-Scale Graph Inference☆12Nov 6, 2024Updated last year
- ☆53Jun 10, 2025Updated 8 months ago
- ☆15Nov 18, 2024Updated last year
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆48May 7, 2025Updated 9 months ago
- ☆10May 2, 2022Updated 3 years ago
- ☆12Nov 11, 2022Updated 3 years ago
- ☆10Jun 14, 2020Updated 5 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Jan 4, 2022Updated 4 years ago
- 一个基于 LangGraph 和 LangSmith 构建的多智能体AI系统☆23Jun 5, 2025Updated 9 months ago
- We open-source our layout level fast EM simulation tool, EMSim, to the public.☆14Feb 8, 2024Updated 2 years ago
- Graph-theoretical optimization of fusion-based graph state generation☆11Jun 4, 2025Updated 9 months ago
- ☆12Oct 3, 2020Updated 5 years ago
- ☆12Jun 29, 2022Updated 3 years ago
- Fast convolution algorithms with Python types☆10Nov 20, 2016Updated 9 years ago