C implementation of the CLT13 multilinear map
☆14Nov 29, 2018Updated 7 years ago
Alternatives and similar repositories for clt13
Users that are interested in clt13 are comparing it to the libraries listed below
Sorting:
- Multi-input functional encryption☆12Feb 8, 2018Updated 8 years ago
- Multi-party computation utilities toolkit for rust☆16Dec 19, 2019Updated 6 years ago
- Oblivious transfer library for rust☆11Dec 19, 2019Updated 6 years ago
- An interpreter for the Mistral language.☆19Aug 29, 2017Updated 8 years ago
- Miniscript workshop code for Advancing Bitcoin 2020 (and perhaps later conferences)☆15Feb 7, 2020Updated 6 years ago
- ☆27Sep 25, 2023Updated 2 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- Documentation for Bitcoin's assumeutxo proposal☆17Jul 8, 2019Updated 6 years ago
- command-line Haskell with 'ghc -e'☆22Aug 11, 2017Updated 8 years ago
- Multihash Haskell implementation☆28May 9, 2023Updated 2 years ago
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆29Jan 8, 2023Updated 3 years ago
- Rust encryption library for practical time-lock encryption.☆37Jul 19, 2024Updated last year
- Witness encryption for KZG openings☆33Nov 6, 2024Updated last year
- World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.☆36Jan 12, 2022Updated 4 years ago
- Implementation of cryptographic program obfuscation☆42Feb 8, 2018Updated 8 years ago
- A fast, brute force, automatic theorem prover for first order logic☆42Sep 20, 2024Updated last year
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Dec 19, 2019Updated 6 years ago
- Source code of the Whitebox Contest Submission Server☆34Aug 5, 2024Updated last year
- ☆37Dec 24, 2024Updated last year
- Rust library for practical time-lock encryption using `drand` threshold network☆41Dec 24, 2022Updated 3 years ago
- BitForex API Document☆11Jul 25, 2018Updated 7 years ago
- Bamboo: a morphing smart contract language☆37Nov 1, 2018Updated 7 years ago
- Implement microprofile for python language☆12May 1, 2023Updated 2 years ago
- Specifications of cryptographic algorithms in Cryptol☆46Dec 23, 2025Updated 2 months ago
- ☆10Mar 4, 2024Updated last year
- Minimal Ethereum RPC Client in Rust☆11Nov 18, 2023Updated 2 years ago
- Duality of view between named variables and flat vectors in Julia☆12Nov 25, 2025Updated 3 months ago
- A suite for running sync tests against all Ethereum client pairs☆14Apr 2, 2023Updated 2 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- ☆13Jun 30, 2023Updated 2 years ago
- ☆11May 7, 2023Updated 2 years ago
- A concurrent mutable ring-buffer☆13Oct 14, 2024Updated last year
- Tame RecordWildCards☆14Dec 30, 2024Updated last year
- Parser for ELF object format.☆11Dec 24, 2021Updated 4 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- An asynchronous Rust client and server implementation of the Network Block Device (NBD) protocol. MIT Licensed.☆11Jan 24, 2022Updated 4 years ago
- A homebrew tap☆16Updated this week
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago