matter-labs / zksync-crypto-gpu
GPU-acceselerated cryptography libraries for ZKsync
☆15Updated last week
Alternatives and similar repositories for zksync-crypto-gpu:
Users that are interested in zksync-crypto-gpu are comparing it to the libraries listed below
- High performance EraVM for zkSync.☆23Updated last week
- ☆14Updated last month
- ☆14Updated 2 weeks ago
- Cryptography libraries for ZKsync☆29Updated last week
- ZKsync protocol libraries☆12Updated last week
- Remote Attestation VErification☆32Updated 7 months ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Updated last year
- customizable halo2 circuits batcher☆30Updated last week
- Starky implementation of Bls12-381☆13Updated 10 months ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 3 weeks ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated 3 weeks ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- Pessimistic proof for the AggLayer.☆26Updated 9 months ago
- ☆18Updated last week
- A parallel proving service for ZKM.☆21Updated last week
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 3 months ago
- Benchmark of ZKVMs and Proving Schemes☆24Updated 2 weeks ago
- An API compatible port of the Stone prover.☆19Updated 4 months ago
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆15Updated last week
- ☆19Updated this week
- Foundry project for the RLN☆17Updated last year
- Shared front-end code of the ZKsync compilers.☆21Updated this week
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated 2 years ago
- A Swiss knife for Noir☆11Updated last week
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated last month
- The entry point for Rust projects to be run on Valida☆10Updated 2 weeks ago
- High-performance Multi-scalar Multiplication for Pasta curves☆23Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆11Updated 2 weeks ago
- gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apac…☆15Updated 6 months ago