taikoxyz / raikoLinks
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
☆153Updated this week
Alternatives and similar repositories for raiko
Users that are interested in raiko are comparing it to the libraries listed below
Sorting:
- ☆182Updated this week
- Boojum, the scariest SNARK implementation.☆302Updated last year
- Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge a…☆278Updated this week
- A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offer…☆139Updated 2 months ago
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆84Updated this week
- ☆160Updated 11 months ago
- ☆70Updated last week
- An L1 for Move VM☆74Updated 3 weeks ago
- Nitro goes vroom and fixes everything☆32Updated this week
- Linea smart-contracts☆83Updated last year
- zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA☆134Updated 9 months ago
- ☆222Updated 4 months ago
- ☆73Updated last year
- This is a mirror of zkevm-circuits(https://github.com/scroll-tech/zkevm-circuits).☆21Updated last year
- ☆421Updated this week
- ☆161Updated 11 months ago
- Solidity Contracts that allow developers to use FHE on Fhenix☆77Updated last year
- A simple aztec contract + test to get started.☆111Updated last week
- General purpose Blended Execution layer☆56Updated 2 weeks ago
- Papyrus is a StarkNet full node written in Rust.☆320Updated last year
- Kakarot ZK EVM Ethereum RPC adapter☆135Updated last year
- Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.☆159Updated last year
- Starknet's developer documentation☆165Updated this week
- ☆180Updated this week
- ☆194Updated last month
- ☆98Updated 6 months ago
- Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust☆39Updated last week
- Identity Service for Starknet☆61Updated 2 months ago
- Scroll's Rollup Explorer Backend☆55Updated 5 months ago
- Linea implementation based on Besu☆72Updated 2 months ago