recmo / zkp-u256Links
Rust 256-bit unsigned integers.
☆9Updated 2 years ago
Alternatives and similar repositories for zkp-u256
Users that are interested in zkp-u256 are comparing it to the libraries listed below
Sorting:
- Zero-knowledge gadget for Sparse Merkle Tree.☆19Updated 3 years ago
- Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"☆13Updated 2 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 5 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- ☆13Updated 6 months ago
- Rust-libp2p transport for {t,n}-threshold signature schemes☆34Updated 3 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 4 months ago
- ☆17Updated last year
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆15Updated 2 years ago
- powdr application running Ethereum tests via revm☆18Updated last year
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆36Updated 3 months ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated 2 years ago
- Rust library for practical time-lock encryption using `drand` threshold network☆40Updated 2 years ago
- calculate new mpt root without loading entire trie☆16Updated last year
- Celestia derivation pipeline and proof crate built with kona☆14Updated last week
- ☆15Updated last year
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆16Updated 2 years ago
- circom runtime☆19Updated 8 months ago
- Explorations on mobile-first GPU acceleration, currently support MSM.☆20Updated this week
- ☆14Updated 6 years ago
- High-performance Multi-scalar Multiplication for Pasta curves☆23Updated last year
- Leader election support in Optimism. Optimism is Ethereum, scaled.☆10Updated 10 months ago
- ZK proofs for Brainfuck execution using powdr☆17Updated 10 months ago
- Pessimistic proof for the AggLayer.☆26Updated last year
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Updated 3 years ago
- Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices☆24Updated last year
- This library is archived; see crypto-primities for the latest version of this code☆23Updated 2 years ago
- A crate for working with Ethereum beacon chain light client protocol messages. `no_std` friendly!☆13Updated 2 years ago
- a simple implementation of the KZG polynomial commitment scheme☆25Updated 3 years ago
- Rust client library for Flashbot's mev-share.☆20Updated 2 years ago