matter-labs / era-boojum-cuda
A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.
☆25Updated last month
Related projects: ⓘ
- A library implementing GPU-accelerated zkSync prover.☆27Updated last month
- High performance EraVM for zkSync.☆21Updated this week
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆38Updated last month
- ☆59Updated last month
- ☆34Updated this week
- Poseidon hash circuit☆88Updated last week
- Specification of P2P protocol for StarkNet nodes☆42Updated last week
- Rescue and Poseidon hash function implementations☆42Updated last month
- ☆22Updated 2 weeks ago
- revm (Rust Ethereum VM) translation for Era / zkEVM☆11Updated 9 months ago
- customizable halo2 circuits batcher☆27Updated last week
- Compare in-circuit and out-of-circuit VMs☆59Updated last month
- Yul precompile library to speedup elliptic curves operations.☆51Updated 4 months ago
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity☆13Updated 2 weeks ago
- ZKsync fork of the LLVM framework☆30Updated this week
- ☆28Updated this week
- Reference implementation of the node for the Polygon Miden rollup☆52Updated this week
- The zkEVM assembly tools☆10Updated last month
- ☆15Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆55Updated last week
- Consensus layer implementation for zkSync Era☆62Updated this week
- ☆62Updated 4 months ago
- This repo compiles .zkasm to a json ready for the zkExecutor☆29Updated 3 months ago
- Core components of the Polygon Miden rollup☆67Updated this week
- 🐺 Starknet Rust types 🦀☆62Updated this week
- OS for next iteration of the world computer☆45Updated last year
- Shared front-end code of the ZKsync compilers☆19Updated this week
- ☆28Updated last week
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated last month
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated last month