Golang implementation of Monotone Span Programs
☆23May 6, 2016Updated 10 years ago
Alternatives and similar repositories for msp
Users that are interested in msp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Attribute-based Encryption☆31Jun 30, 2023Updated 3 years ago
- ☆12Jul 5, 2026Updated 4 months ago
- rabe is an Attribute Based Encryption library, written in Rust☆98Mar 10, 2025Updated last year
- ABE GPSW scheme using BLS pairing implemented in Rust.☆17May 23, 2023Updated 3 years ago
- ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥☆12Jan 27, 2015Updated 11 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Attribute-based Encryption☆210Jul 31, 2020Updated 6 years ago
- Encode random bitstrings as pseudo-random poems☆13Jun 15, 2014Updated 12 years ago
- IBE implementation based on jpbc☆16Jan 9, 2022Updated 4 years ago
- 可编辑区块链，基于以太坊智能合约的区块编辑抽象层，利用变色龙哈希实现对过去区块的修改删除等操作☆13Apr 26, 2021Updated 5 years ago
- OpenID Connect support for golang.org/x/oauth2☆13Sep 8, 2016Updated 10 years ago
- A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system☆13May 1, 2025Updated last year
- The OPE lib extracted from CryptoDb☆17Jun 3, 2016Updated 10 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Dec 6, 2016Updated 9 years ago
- Scheme library collection with yearly stable releases☆17Jun 5, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- OPAQUE asymmetric PAKE, and its threshold implementation. Experimental, not audited.☆16Jun 16, 2021Updated 5 years ago
- A compiler to turn GO code into a zkSNARK☆16Jul 19, 2021Updated 5 years ago
- A cryptographically secure password storage web-utility with distributed consensus using tendermint☆12Dec 19, 2016Updated 9 years ago
- ☆25Dec 21, 2024Updated last year
- Compute the rpm version and release based on the most recent tag matching v*☆12Apr 17, 2020Updated 6 years ago
- Easily create a mirror of crates.io (crate downloads only, not the website)☆13Aug 26, 2018Updated 8 years ago
- FFI generator for Gambit Scheme☆13May 25, 2009Updated 17 years ago
- Implementation of a toolkit for ring-LWE based cryptography in arbitrary cyclotomic number fields.☆37Mar 3, 2016Updated 10 years ago
- ☆29Oct 29, 2026Updated last week
- 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.
- Automated benchmarking and testing of Post-Quantum Public Key Algoritms (work in progress)☆12Jul 27, 2018Updated 8 years ago
- Attacks on Jarvis and Friday☆10Oct 9, 2019Updated 7 years ago
- ☆10Mar 4, 2024Updated 2 years ago
- Wi-Fi enabled crypto candy dispenser for stellar network.☆15Mar 16, 2019Updated 7 years ago
- Collection of consensus algorithm implementation for research and simulations☆13Feb 24, 2023Updated 3 years ago
- Process for Editing Tons of Services 🐈🐈🐈☆18Aug 10, 2018Updated 8 years ago
- HTML5 & javascript implementation of the classic game Corewar☆13Mar 12, 2021Updated 5 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 3 years ago
- An efficient circuit implementation of SHA256.☆12Jan 14, 2018Updated 8 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.
- Web framework based on Gambit and Black Hole☆14May 21, 2012Updated 14 years ago
- Compiling Noir to R1CS with witness generation and automatic differentiation binaries☆25Updated this week
- Crypto and networking utils used for ABY and OTExtension☆19Jul 17, 2026Updated 3 months ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆23Mar 13, 2020Updated 6 years ago
- Augmented Socket API selecting the best suitable access network based on application needs and network performance characteristics.☆14Mar 29, 2020Updated 6 years ago
- Waltz lets you design web.py apps in 3/4 time☆11Oct 24, 2016Updated 10 years ago
- Pure Type Systems for Functional Programming☆11Jun 11, 2014Updated 12 years ago