supranational / hardwareLinks
Low level arithmetic primitives in RTL
☆23Updated 5 years ago
Alternatives and similar repositories for hardware
Users that are interested in hardware are comparing it to the libraries listed below
Sorting:
- Implementation of an RSA VDF evaluator targeting FPGAs.☆48Updated 5 years ago
- A Hardware Implemented Poseidon Hasher☆18Updated 3 years ago
- ☆10Updated 5 years ago
- An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs☆55Updated 5 years ago
- XCrypto: a cryptographic ISE for RISC-V☆93Updated 2 years ago
- Chisel module for performing Multi-Scalar Multiplication☆12Updated 3 years ago
- Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and mu…☆54Updated 11 months ago
- The hardware implementation of Poseidon hash function in SpinalHDL☆19Updated 3 years ago
- Pairing operations over the BLS12-381 elliptic curve in Haskell☆14Updated 3 years ago
- Research repository for distributed GPU based zkSNARKs prover☆23Updated 6 years ago
- Rust 256-bit unsigned integers.☆9Updated 2 years ago
- Zcash FPGA acceleration engine☆124Updated 4 years ago
- [HISTORICAL] A Lightweight (RISC-V) ISA Extension for AES and SM4☆36Updated 4 years ago
- ☆17Updated last year
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Updated 4 months ago
- ☆17Updated 8 months ago
- PicoRV☆44Updated 5 years ago
- Website!☆22Updated 2 years ago
- Mutation Cover with Yosys (MCY)☆83Updated last month
- Zero-knowledge gadget for Sparse Merkle Tree.☆20Updated 2 years ago
- FPGA-accelerated MSM☆26Updated 2 years ago
- Web Assembly low level implementation of pairing friendly curves.☆15Updated last year
- Xilinx ZynqMP AXI-ACP Adapter☆15Updated 3 weeks ago
- FPGA250 aboard the eFabless Caravel☆29Updated 4 years ago
- Alogic is a Medium Level Synthesis language for digital logic that compiles swiftly into standard Verilog-2005 for implementation in ASIC…☆15Updated 4 years ago
- Verilog implementation of the 32-bit version of the Blake2 hash function☆21Updated 2 months ago
- ☆18Updated 4 years ago
- ☆56Updated 2 years ago
- Simple modular mult for mersene prime in CUDA☆10Updated last year
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago