Code for "Efficient Proofs of Possession for Legacy Signatures", by Woo et al., IEEE S&P 2025
☆16May 6, 2025Updated last year
Alternatives and similar repositories for sigpop
Users that are interested in sigpop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆12Apr 30, 2026Updated 5 months ago
- Certification path builder and validator library (certval) and utility (pittv3) to build and validate paths☆13Updated this week
- Crescent adds privacy to existing credentials with zero-knowledge☆52Sep 21, 2026Updated 2 weeks ago
- Generate zero-knowledge proofs of valid RSA signatures from your browser.☆15Feb 23, 2023Updated 3 years ago
- High Assurance Cryptographic Software☆10Sep 1, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆12Nov 11, 2022Updated 3 years ago
- Geolocate your files!☆16Jan 7, 2022Updated 4 years ago
- Groth16 over ICICLE☆46Jul 16, 2025Updated last year
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- ☆24Jul 23, 2026Updated 2 months ago
- Sage implementation of the MAYO scheme☆16Sep 6, 2026Updated last month
- ☆18Aug 4, 2026Updated 2 months ago
- ☆26Feb 20, 2025Updated last year
- An implementation of a post quantum anonymous credential scheme☆17Dec 18, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- zkSNARKs as a service using secure multi-party computation.☆30Jan 19, 2024Updated 2 years ago
- ☆15Jan 14, 2025Updated last year
- Code that accompanies the paper "Lightweight Techniques for Private Heavy Hitters" at IEEE S&P 2021.☆29Jul 16, 2023Updated 3 years ago
- Lattices and Their Algorithms, Leiden, Spring 2024☆25Aug 13, 2024Updated 2 years ago
- Secure Computation Utilities☆19Mar 5, 2026Updated 7 months ago
- Cryptography in SageMath.☆10Dec 17, 2018Updated 7 years ago
- Generate a zero-knowledge proof for a SHA1 pre-image.☆12Mar 29, 2024Updated 2 years ago
- Confidential Byzantine Fault-Tolerant SMR library☆13Aug 17, 2026Updated last month
- Minimal ts example for working with proofs with circom 2.0.0☆15Nov 25, 2021Updated 4 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.
- Library for manipulating questions in Moodle XML format.☆10Feb 8, 2021Updated 5 years ago
- A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)☆19Jan 24, 2021Updated 5 years ago
- Repository for the current status of the LESS submission☆12Jul 15, 2026Updated 2 months ago
- An implementation of a verifiable oblivious pseudorandom function (RFC 9497)☆88Apr 6, 2026Updated 6 months ago
- It is QR code app, It is implemented using Jetpack compose. I used Android CompoundBarcodeView inside composable, and new media picker fo…☆12Aug 29, 2023Updated 3 years ago
- Jetpack Compose QR Scanner /w Limited Area☆18Dec 20, 2022Updated 3 years ago
- An `arkworks` library for low-degree testing☆23Sep 10, 2024Updated 2 years ago
- ☆18Jun 10, 2024Updated 2 years ago
- a C++ library for Pretty Good Confidential Transaction System☆17Jan 23, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- How to use ZigBee sensors through Kubernetes☆11Jan 26, 2022Updated 4 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- ☆37Jun 2, 2026Updated 4 months ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 5 years ago
- Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.☆21Oct 28, 2024Updated last year
- Some erlang utility modules I have in ~/.ebin/☆16Aug 18, 2015Updated 11 years ago
- A collection of Bristol format circuit files☆13Nov 15, 2022Updated 3 years ago