gevulotnetwork / gevulot
Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.
☆157Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for gevulot
- Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.☆126Updated this week
- Create full-stack applications in your preferred languages with your favorite development tools.☆77Updated 5 months ago
- The Movement Network is a Move-based L2 on Ethereum.☆82Updated this week
- A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offer…☆116Updated this week
- Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge a…☆146Updated this week
- ☆158Updated last year
- ☆102Updated this week
- An L1 for Move VM built on Avalanche.☆72Updated 3 months ago
- Secure, high-throughput, and decentralized Data Availability☆224Updated this week
- The universal zkVM empowering Ethereum as the Global Settlement Layer☆108Updated last week
- The home for Hyperlane core contracts, sdk packages, and other infrastructure☆338Updated this week
- Modular restaking infrastructure for developers, restakers, and operators.☆51Updated this week
- Official Golang implementation of the Ten protocol☆53Updated this week
- A Setup Ceremony for Universal SNARKs☆82Updated 5 months ago
- Boojum, the scariest SNARK implementation.☆302Updated 3 months ago
- Sequencing Engine for Dymension RollApps☆98Updated this week
- A stateless trustless Starknet light client in Rust 🦀☆251Updated this week
- DEPRECATED in favor of https://github.com/madara-alliance/madara☆537Updated 3 months ago
- Linea implementation based on Besu☆65Updated this week
- ☆101Updated last week
- A modular framework for building EVM consensus clients ⛵️✨☆174Updated this week
- EVM ahead-of-time compiler based on the fast evmone interpreter☆94Updated 4 months ago
- ☆71Updated last year
- A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.☆204Updated this week
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆59Updated this week
- ☆93Updated 2 months ago
- Namada Trusted Setup Ceremony for the Multi-Asset Shielded Pool (MASP) enabling asset-agnostic private transfers☆116Updated last year
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆165Updated 3 months ago