Git mirror of Victor Shoup's NTL library
☆14Mar 8, 2016Updated 10 years ago
Alternatives and similar repositories for NTL
Users that are interested in NTL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python library for vectorial Boolean functions in cryptography☆11Nov 15, 2023Updated 2 years ago
- ☆12Jul 18, 2022Updated 3 years ago
- Elliptic Curves Cryptography for OCaml☆12Oct 26, 2019Updated 6 years ago
- ☆16Nov 18, 2024Updated last year
- work in progress, playing around with btor2 in rust☆12May 13, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A fork of Yosys that integrates the CellIFT pass☆13Apr 21, 2026Updated last month
- Plasma Paper☆10Sep 13, 2017Updated 8 years ago
- A solver for the (unicost) set covering problem☆24Apr 18, 2026Updated 2 months ago
- Haskell bindings for secp256k1 library☆26May 9, 2025Updated last year
- Code for FSE 2020 - Improving the MILP-based Security Evaluation Algorithm against Differential-Linear Cryptanalysis Using A Divide-and-C…☆16Dec 16, 2019Updated 6 years ago
- ☆13Jul 28, 2016Updated 9 years ago
- A simple and clean nakamoto consensus.☆16Sep 6, 2022Updated 3 years ago
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 7 months ago
- lnswaps: onchain(BTC, LTC and ETH) to offchain(Lightning) atomic swap☆12Dec 22, 2018Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆10Mar 4, 2024Updated 2 years ago
- ☆25Aug 9, 2022Updated 3 years ago
- ☆19Oct 30, 2023Updated 2 years ago
- libsnark: a C++ library for zkSNARK proofs [+ interface for jsnark/Pinocchio ]☆11Dec 17, 2022Updated 3 years ago
- ☆48Updated this week
- a C port of the BLAKE3 Rust reference implementation☆14Mar 5, 2022Updated 4 years ago
- Docker artifacts and scripts to build and run grin in a container☆11Aug 29, 2024Updated last year
- Circom circuits such as SHA256, float-add and Fibonacci, developed with Circomkit.☆12Jan 27, 2024Updated 2 years ago
- ABE GPSW scheme using BLS pairing implemented in Rust.☆17May 23, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers☆24Dec 13, 2016Updated 9 years ago
- code for privacy-preserving sat solver☆17Jul 14, 2023Updated 2 years ago
- ☆12Mar 10, 2020Updated 6 years ago
- bftf meetup slides☆24Apr 22, 2019Updated 7 years ago
- Blog related files.☆14Jan 8, 2026Updated 5 months ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆21Dec 2, 2021Updated 4 years ago
- Yara sort☆13Updated this week
- Linux TPM Trusted Boot binary_bios_measurements file parser/reconstructor☆23Sep 1, 2020Updated 5 years ago
- Read and write Numpy .npy and .npz files.☆18Sep 19, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Plugin for x64dbg☆13Apr 29, 2017Updated 9 years ago
- Demonstrate uses of the CheckLockTimeVerify (aka CLTV or OP_CHECKLOCKTIMEVERIFY) opcode BIP65 BIP0065☆22Apr 27, 2022Updated 4 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Dec 30, 2023Updated 2 years ago
- OS first assignment, UESTC, 电子科技大学, CS ，计科，操作系统☆11Jun 19, 2017Updated 8 years ago
- old DIE☆11Oct 1, 2014Updated 11 years ago
- Multi-purpose OTP token generator written in C++ and Qt with encryption and System Tray Icon. Supports TOTP, HOTP, Authy and Steam and cu…☆10May 20, 2020Updated 6 years ago
- pinocchio from Microsoft Research - this is rehosted on github only because Codeplex went down!☆18Oct 16, 2017Updated 8 years ago