☆29Apr 8, 2026Updated last 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 2 weeks ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆24Mar 25, 2026Updated 3 weeks ago
- 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARK…☆22Jun 27, 2025Updated 9 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☆12Sep 28, 2025Updated 6 months ago
- ☆36Updated this 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 3 weeks ago
- Circuit for generating ethereum account RLP☆10Apr 6, 2025Updated last year
- 👁️ 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
- 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.
- 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 6 months ago
- HTML5 ES6 SASS Gulp Boilerplate for Websites☆10Oct 12, 2020Updated 5 years ago
- ☆10May 18, 2023Updated 2 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
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated 3 months ago
- ☆22Nov 11, 2022Updated 3 years ago
- ☆10Oct 8, 2025Updated 6 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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 11 months ago
- FAEST reference implementation☆19Feb 27, 2026Updated last month
- 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
- 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