lurk-lab / neptune-triton
Futhark implementation of neptune-compatible Poseidon.
☆27Updated 3 years ago
Alternatives and similar repositories for neptune-triton:
Users that are interested in neptune-triton are comparing it to the libraries listed below
- Argument systems for inner pairing products☆41Updated 7 months ago
- Implementation of the Zcash Orchard Protocol☆55Updated last week
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆33Updated 3 months ago
- ☆28Updated 2 years ago
- Early-stage research related to the Anoma protocols.☆23Updated last year
- This library is archived; see crypto-primities for the latest version of this code☆22Updated 2 years ago
- R1CS constraints for non-native field arithmetic☆20Updated 3 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 4 years ago
- Pairing cryptography library in Rust☆32Updated last year
- Fawkes-Crypto - zkSNARKs framework☆22Updated last year
- fft impl for ff::Field☆15Updated 9 months ago
- ☆18Updated last year
- Rust implementation for zcash/pasta☆82Updated last year
- Multi-party computation utilities toolkit for rust☆16Updated 5 years ago
- ☆28Updated 4 months ago
- A support library for working with zero knowledge cryptography in Lean 4.☆34Updated last month
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 3 years ago
- An elastic proof system based on arkworks☆81Updated last year
- A zkSNARK implementation of a merkle tree membership preimage proof.☆24Updated 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 4 years ago
- Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…☆15Updated last year
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆70Updated this week
- ☆20Updated 5 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- ECFFT in Rust☆56Updated last year
- agora-unknown_order☆12Updated 8 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- toy implementation of bfv in rust☆26Updated 2 years ago
- ☆24Updated last year