taikoxyz / circuit-tools
A lightweight Halo2 frontend SDK
☆12Updated last year
Alternatives and similar repositories for circuit-tools:
Users that are interested in circuit-tools are comparing it to the libraries listed below
- customizable halo2 circuits batcher☆30Updated last week
- ☆49Updated this week
- ☆16Updated last year
- ☆58Updated 7 months ago
- Shared front-end code of the ZKsync compilers.☆21Updated this week
- ☆34Updated 2 weeks ago
- ☆25Updated this week
- Specification of P2P protocol for StarkNet nodes☆49Updated last month
- ☆30Updated 2 months ago
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated 7 months ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆24Updated 7 months ago
- Pessimistic proof for the AggLayer.☆26Updated 9 months ago
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated last week
- Ethereum HD Wallet derivations in Go (golang)☆9Updated 10 months ago
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity☆21Updated this week
- ☆21Updated 7 months ago
- Compress cryptographic outputs via mining☆23Updated 2 years ago
- The zkEVM assembly tools☆10Updated 7 months ago
- ☆12Updated 10 months ago
- Collection of tests for ZKsync compilers.☆17Updated this week
- High performance EraVM for zkSync.☆23Updated last week
- EraVM specification.☆16Updated this week
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity☆15Updated last week
- An Ethereum proxy contract that can be used for deploying contracts to a deterministic address on any chain.☆9Updated last year
- ☆21Updated last year
- Compare in-circuit and out-of-circuit VMs☆59Updated 7 months ago
- ☆21Updated last year
- AppliedZKP's zkEVM Documentation☆25Updated 8 months ago
- 🐺 Starknet Rust types 🦀☆69Updated this week
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 3 weeks ago