☆31May 22, 2026Updated this week
Alternatives and similar repositories for sigma-proofs
Users that are interested in sigma-proofs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is only the beginning.☆22Apr 1, 2026Updated last month
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆25Mar 25, 2026Updated 2 months ago
- APRICOT: Advanced Protocols for Real-world Implementation of Computational Oblivious Transfers☆16Nov 17, 2016Updated 9 years ago
- a light PHP library for calculating distance between two points☆17Aug 26, 2025Updated 9 months ago
- WICA: nonlinear weighted ICA☆12Oct 3, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARK…☆22Jun 27, 2025Updated 10 months ago
- ☆12May 7, 2021Updated 5 years ago
- Kolu is an identification friend or foe (IFF) system for drones - European Defense Tech Hackathon 2025 LDN☆13Sep 28, 2025Updated 7 months ago
- ☆40Apr 10, 2026Updated last month
- Klefki is a playground for researching elliptic curve group based algorithm, such as MPC, ZKP and HE. All data types & structures are bas…☆24Mar 17, 2026Updated 2 months ago
- Circuit for generating ethereum account RLP☆10Apr 6, 2025Updated last year
- 👁️ Private Proof of Reserves 🎭☆68Sep 6, 2024Updated last year
- Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt-kdf-04☆17Aug 5, 2021Updated 4 years ago
- Oblivious transfer library for rust☆11Dec 19, 2019Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Hanji generates docs for your Cairo library☆10Jun 5, 2023Updated 2 years ago
- An `arkworks` library for low-degree testing☆23Sep 10, 2024Updated last year
- This Searcher will monitor blockchain events in real-time, identify price discrepancies between DEXs, simulate potential arbitrage transa…☆19Mar 30, 2025Updated last year
- A modded Prolly-tree implementation in Typescript☆15Oct 6, 2025Updated 7 months ago
- ☆10May 18, 2023Updated 3 years ago
- HTML5 ES6 SASS Gulp Boilerplate for Websites☆10Oct 12, 2020Updated 5 years ago
- تلاش در جهت اینکه "فارسیتر" حرف بزنیم.☆19Apr 6, 2025Updated last year
- An example of how to pakcage a Angular2 project into a bundle☆10Dec 18, 2017Updated 8 years ago
- The implementation of Tiptoe's linearly-homomorphic encryption scheme, accompanying the paper "Private Web Search with Tiptoe" (SOSP 2023…☆22Sep 22, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- High Assurance Cryptographic Software☆10May 18, 2026Updated last week
- ☆22Nov 11, 2022Updated 3 years ago
- ☆10Oct 8, 2025Updated 7 months ago
- Implementation of bulletproofs++ in rust☆18May 8, 2023Updated 3 years ago
- 📡 ZkWave: Transforming Voice into Secure Proofs 🎤🔐☆21Mar 20, 2025Updated last year
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- An efficient, lazy suffix tree implementation☆13Dec 10, 2020Updated 5 years ago
- Put Nietzsche in your fortunes.☆11Feb 17, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated last year
- FAEST reference implementation☆19May 19, 2026Updated last week
- toy implementation of bfv in rust☆27Apr 21, 2022Updated 4 years ago
- Font and HTML editor for 12 hole ocarina tabs☆14Feb 9, 2017Updated 9 years ago
- The aim of pootle page builder is to help you create compelling WordPress pages more easily. We hope you like it.☆12Feb 12, 2025Updated last year
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago