supranational / hardware
Low level arithmetic primitives in RTL
☆20Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for hardware
- Implementation of an RSA VDF evaluator targeting FPGAs.☆47Updated 5 years ago
- Website!☆21Updated 2 years ago
- Research repository for distributed GPU based zkSNARKs prover☆23Updated 6 years ago
- Zcash FPGA acceleration engine☆119Updated 4 years ago
- An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs☆53Updated 4 years ago
- Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and mu…☆52Updated 4 months ago
- XCrypto: a cryptographic ISE for RISC-V☆91Updated last year
- ☆10Updated 5 years ago
- Sparse MerkleTree implementation in Rust☆19Updated 5 years ago
- Rust library for decentralized private computation☆9Updated 3 years ago
- Communal zk-SNARK MPC for Public Parameters☆19Updated last year
- ☆25Updated last year
- Implementation of incrementally verifiable ledger system☆16Updated 3 years ago
- Futhark implementation of neptune-compatible Poseidon.☆28Updated 3 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆24Updated 5 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Updated 2 years ago
- Low-level language for encoding AIR of computations☆34Updated last year
- Web Assembly low level implementation of pairing friendly curves.☆16Updated 6 months ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆32Updated 2 months ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated last year
- Cross-chain atomic swap protocol between Monero and Ethereum☆14Updated 2 years ago
- Pairing operations over the BLS12-381 elliptic curve in Haskell☆13Updated 2 years ago
- Argument systems for inner pairing products☆41Updated 3 months ago
- ☆11Updated 4 years ago
- Fawkes-Crypto - zkSNARKs framework☆21Updated 9 months ago
- Implementation of various primitives for bellman using CUDA (WIP)☆28Updated 5 years ago
- Compiles r1cs gadgets to the zkinterface format☆10Updated 3 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆14Updated 5 years ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Updated 3 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 4 years ago