☆26Mar 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.☆22Mar 13, 2026Updated 2 weeks ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆23Updated this week
- a light PHP library for calculating distance between two points☆17Aug 26, 2025Updated 7 months ago
- APRICOT: Advanced Protocols for Real-world Implementation of Computational Oblivious Transfers☆16Nov 17, 2016Updated 9 years ago
- WICA: nonlinear weighted ICA☆12Oct 3, 2023Updated 2 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.
- Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARK…☆22Jun 27, 2025Updated 8 months ago
- ☆12May 7, 2021Updated 4 years ago
- Kolu is an identification friend or foe (IFF) system for drones - European Defense Tech Hackathon 2025 LDN☆11Sep 28, 2025Updated 5 months ago
- ☆35Mar 20, 2026Updated last week
- 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 last week
- Circuit for generating ethereum account RLP☆10Apr 6, 2025Updated 11 months ago
- 👁️ Private Proof of Reserves 🎭☆67Sep 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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 11 months ago
- A modded Prolly-tree implementation in Typescript☆15Oct 6, 2025Updated 5 months ago
- HTML5 ES6 SASS Gulp Boilerplate for Websites☆10Oct 12, 2020Updated 5 years ago
- ☆10May 18, 2023Updated 2 years ago
- تلاش در جهت اینکه "فارسیتر" حرف بزنیم.☆19Apr 6, 2025Updated 11 months ago
- 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated 3 months ago
- ☆22Nov 11, 2022Updated 3 years ago
- ☆10Oct 8, 2025Updated 5 months ago
- Implementation of bulletproofs++ in rust☆18May 8, 2023Updated 2 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
- Vaults is a DeFi/NFT-based smart contract protocol for launching customizable, yield-bearing token vaults.☆10Mar 24, 2022Updated 4 years ago
- An efficient, lazy suffix tree implementation☆13Dec 10, 2020Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Put Nietzsche in your fortunes.☆11Feb 17, 2015Updated 11 years ago
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated 10 months ago
- FAEST reference implementation☆19Feb 27, 2026Updated last month
- 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
- Font and HTML editor for 12 hole ocarina tabs☆14Feb 9, 2017Updated 9 years ago
- toy implementation of bfv in rust☆27Apr 21, 2022Updated 3 years ago