supranational / hardware
Low level arithmetic primitives in RTL
☆20Updated 4 years ago
Alternatives and similar repositories for hardware:
Users that are interested in hardware are comparing it to the libraries listed below
- Website!☆21Updated 2 years ago
- An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs☆53Updated 4 years ago
- ☆10Updated 5 years ago
- Implementation of an RSA VDF evaluator targeting FPGAs.☆48Updated 5 years ago
- Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and mu…☆53Updated 6 months ago
- Research repository for distributed GPU based zkSNARKs prover☆23Updated 6 years ago
- Pairing operations over the BLS12-381 elliptic curve in Haskell☆14Updated 2 years ago
- Rust 256-bit unsigned integers.☆9Updated last year
- Zcash FPGA acceleration engine☆121Updated 4 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- A Hardware Implemented Poseidon Hasher☆18Updated 2 years ago
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Updated 4 years ago
- Fawkes-Crypto - zkSNARKs framework☆21Updated 11 months ago
- fft impl for ff::Field☆15Updated 8 months ago
- ☆10Updated 8 years ago
- A spot to start collecting info about STARKs for our study group☆11Updated 3 years ago
- Intel assembly finite field library generator☆12Updated last year
- Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing☆13Updated 4 years ago
- Sparse MerkleTree implementation in Rust☆19Updated 5 years ago
- ☆16Updated last year
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Updated 4 years ago
- Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"☆13Updated last year
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 4 years ago
- XCrypto: a cryptographic ISE for RISC-V☆92Updated 2 years ago
- Rust library for decentralized private computation☆9Updated 3 years ago
- Elliptic curve search experiments☆35Updated last year
- RLN wrappers and implementation in Go☆11Updated 3 years ago
- Cross-chain atomic swap protocol between Monero and Ethereum☆14Updated 3 years ago
- The hardware implementation of Poseidon hash function in SpinalHDL☆19Updated 2 years ago
- Smart contracts for OPRHub protocol ✌🏻☆12Updated 4 years ago