matter-labs / era-boojum-cuda
A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.
☆25Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for era-boojum-cuda
- A library implementing GPU-accelerated zkSync prover.☆27Updated 3 months ago
- High performance EraVM for zkSync.☆23Updated 3 weeks ago
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆38Updated 3 months ago
- ☆59Updated 3 months ago
- customizable halo2 circuits batcher☆30Updated 3 weeks ago
- Specification of P2P protocol for StarkNet nodes☆45Updated this week
- ☆43Updated this week
- Compare in-circuit and out-of-circuit VMs☆59Updated 3 months ago
- ☆24Updated 3 weeks ago
- The zkEVM assembly tools☆10Updated 3 months ago
- Poseidon hash circuit☆94Updated 3 weeks ago
- ☆30Updated this week
- ☆60Updated 6 months ago
- Out-of-circuit zkEVM implementation☆81Updated 3 months ago
- revm (Rust Ethereum VM) translation for Era / zkEVM☆11Updated 11 months ago
- 🐺 Starknet Rust types 🦀☆66Updated 2 weeks ago
- ZKsync fork of the LLVM framework.☆33Updated this week
- Reference implementation of the node for the Polygon Miden rollup☆53Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆58Updated last month
- ☆32Updated 7 months ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover☆72Updated this week
- Shared front-end code of the ZKsync compilers.☆21Updated this week
- Rescue and Poseidon hash function implementations☆42Updated 3 months ago
- EraVM specification.☆15Updated this week
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity☆19Updated this week
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆13Updated 2 weeks ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated last month
- Vyper compiler for ZKsync.☆38Updated this week
- Consensus layer implementation for zkSync Era☆65Updated this week
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated 5 months ago