taikoxyz / circuit-tools
A lightweight Halo2 frontend SDK
☆13Updated last year
Related projects: ⓘ
- ☆34Updated this week
- ☆15Updated this week
- ☆28Updated last week
- High performance EraVM for zkSync.☆21Updated this week
- ☆16Updated 9 months ago
- Specification of P2P protocol for StarkNet nodes☆42Updated last week
- ☆59Updated last month
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated last month
- ZKsync fork of the LLVM framework☆30Updated this week
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆38Updated last month
- Shared front-end code of the ZKsync compilers☆19Updated this week
- ☆28Updated this week
- ☆16Updated 3 months ago
- A library implementing GPU-accelerated zkSync prover.☆27Updated last month
- Blockchain explorer for Ethereum based network and a tool for inspecting and analyzing EVM based blockchains.☆10Updated 4 months ago
- Reference implementation of the node for the Polygon Miden rollup☆52Updated this week
- A parallel proving service for ZKM.☆16Updated last week
- customizable halo2 circuits batcher☆27Updated last week
- The zkEVM assembly tools☆10Updated last month
- Compress cryptographic outputs via mining☆22Updated last year
- ☆11Updated 4 months ago
- Meeting notes and agenda items for the Builders Council☆17Updated last year
- Aggregator for the zkEVM network that uses a stateless prover.☆18Updated this week
- 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…☆14Updated last week
- A collection of works discussing the security aspects of StarkNet☆36Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆24Updated last month
- ☆19Updated last month
- AppliedZKP's zkEVM Documentation☆23Updated 2 months ago
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity☆13Updated 2 weeks ago
- TypeScript Library for BTC Staking☆10Updated last month