taikoxyz / raikoLinks
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
☆147Updated this week
Alternatives and similar repositories for raiko
Users that are interested in raiko are comparing it to the libraries listed below
Sorting:
- ☆156Updated this week
- Boojum, the scariest SNARK implementation.☆302Updated last year
- ☆64Updated last week
- An L1 for Move VM built on Avalanche.☆74Updated last year
- ☆218Updated last week
- ☆157Updated 7 months ago
- Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge a…☆272Updated this week
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆80Updated this week
- Nitro goes vroom and fixes everything☆28Updated this week
- A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offer…☆132Updated last week
- ☆362Updated this week
- Linea smart-contracts☆81Updated last year
- Solidity Contracts that allow developers to use FHE on Fhenix☆70Updated 8 months ago
- EVM ahead-of-time compiler based on the fast evmone interpreter☆119Updated 7 months ago
- zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA☆127Updated 5 months ago
- Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust☆38Updated this week
- ☆73Updated last year
- Welcome to Avail Uncharted. The heart of exploration within the Avail ecosystem. Join our Explorations team as we push the horizons of th…☆23Updated 9 months ago
- Linea implementation based on Besu☆71Updated 5 months ago
- General purpose Blended Execution layer☆55Updated this week
- Scroll's Rollup Explorer Backend☆55Updated last month
- A simple aztec contract + test to get started.☆84Updated last week
- Bridge interface allows users to transfer ERC20 tokens from Ethereum to StarkNet and vice versa.☆153Updated last week
- This is a mirror of zkevm-circuits(https://github.com/scroll-tech/zkevm-circuits).☆20Updated last year
- Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.☆159Updated 8 months ago
- The home for Hyperlane core contracts, sdk packages, and other infrastructure☆21Updated this week
- Starknet's developer documentation☆159Updated this week
- A collection of configs, artifacts, and schemas for Hyperlane☆90Updated last week
- Libraries for the Sway Language☆148Updated 2 weeks ago
- ☆104Updated last week