MacTok is a research prototype for a one-time anonymous token scheme based on algebraic MACs.
☆23Apr 22, 2026Updated 2 months ago
Alternatives and similar repositories for MacTok
Users that are interested in MacTok are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆18Oct 30, 2023Updated 2 years ago
- A BibTeX collection on Zero-Knowledge Proofs☆16Dec 4, 2018Updated 7 years ago
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Jan 8, 2020Updated 6 years ago
- oZKS (Ordered Zero-Knowledge Set) is a library that provides an implementation of an Ordered (and Append Only) Zero-Knowledge Set.☆28Oct 10, 2025Updated 9 months ago
- Implementation of the Groth16 zk-SNARK proving system☆21Jul 6, 2018Updated 8 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.
- Precio is a Rust library that implements the Precio protocol for computing private layered histograms and sums.☆20Apr 23, 2026Updated 2 months ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 8 months ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 5 years ago
- EGA graphics card reference layout☆18Jan 29, 2024Updated 2 years ago
- Open-Source Libraries for Circom by ABDK Consulting☆19Dec 22, 2019Updated 6 years ago
- Automated verification of uniqueness property for ZKP circuits☆51Jul 7, 2026Updated 2 weeks ago
- ☆15Jul 8, 2021Updated 5 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 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.
- ☆14Apr 14, 2025Updated last year
- Rust library implementing the Toorani-Beheshti signcryption scheme☆13Aug 15, 2023Updated 2 years ago
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 10 months ago
- ☆13Jul 1, 2026Updated 2 weeks ago
- A general-purpose privacy-preserving Analytics platform!☆10Mar 27, 2019Updated 7 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- PyHeal is a Python wrapper for Microsoft SEAL aimed at making operations easier to use.☆15Apr 23, 2020Updated 6 years ago
- ☆25Mar 13, 2025Updated last year
- 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.
- ☆12Nov 11, 2022Updated 3 years ago
- ☆11Feb 6, 2024Updated 2 years ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated last year
- Your Key Transparency auditor companion☆40Apr 23, 2026Updated 2 months ago
- ☆14May 3, 2019Updated 7 years ago
- ☆13Jan 18, 2021Updated 5 years ago
- Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342☆17Jan 5, 2023Updated 3 years ago
- ☆15Nov 22, 2025Updated 7 months 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.
- fft impl for ff::Field☆17May 9, 2024Updated 2 years ago
- Deterministic And Verifiable Randomness On Schnorr signatures☆11Nov 18, 2017Updated 8 years ago
- Starky implementation of Bls12-381☆13May 16, 2024Updated 2 years ago
- The world's first (and hopefully last) pure-bash implementation of the LLL algorithm☆19Aug 21, 2023Updated 2 years ago
- ☆16Jun 21, 2021Updated 5 years ago
- Alternative implementation of the logical framework Dedukti in Rust☆23Apr 10, 2025Updated last year
- ☆18Mar 9, 2025Updated last year