The Gevulot Devnet is LIVE
We are excited to announce that the Gevulot devnet is now live!
The Gevulot devnet is the first phase in building the first decentralized proving layer. This post will outline what it is, what it can be used for and where we go from here. Strap in, there’s a lot to cover.
See the X/Twitter announcement for more info. Please like and retweet for visibility!
To get access to the Gevulot devnet, you need to register a key.
Gevulot
Gevulot is the first decentralized proving layer. It is to proving, what Celestia is to data availability. Gevulot is designed from the ground up to greatly decrease the cost of proving by aggregating workloads from across all usecases, allowing it to optimally utilize the underlying hardware. With zk proof generation estimated to become a $10 billion market by 2030, Gevulot is well positioned to become the underlying compute substrate for the whole zk industry.
The core value propositions of Gevulot can be summarized as follows:
Low cost
High performance
High liveness & availability
Permissionless
Credibly neutral
You can read more about how Gevulot achieves these attributes in our docs.
As mentioned, Gevulot is designed to support proving for all usecases, but there are a couple we are especially focused on for the moment due to their immediate commercial viability. Usecases we are focusing on include:
Zk-Rollups/Validiums - e.g. Aztec, Starknet, zkSync, Polygon, Linea, Scroll, Taiko
Zk-Coprocessors - e.g. Axiom, Lagrange, Brevis, Herodotus
Zk-Bridges - e.g. Electron, Polyhedra, Telepathy
Zk-ML - e.g. Modulus Labs, Giza
We estimate that once all these usecases are live, these projects and others will collectively be spending somewhere in the range of $100-200M a year on proving alone. This figure is set to grow rapidly to almost $10.8 billion annually over the next half-decade. The current cost per proof is estimated to be $0.21 in 2024 and is projected to drop to $0.12 by 2030. Gevulot aims to decrease proving costs by upwards of 50% immediately at mainnet launch as soon as Q4 2024, frontrunning cost-optimization expectations by nearly 6 years.
The Devnet
The Gevulot devnet is a permissioned version of the Gevulot network for testing the proof generation pipeline and other core functionalities. In simple terms, you can use the devnet to generate zero-knowledge proofs using any prover and proof system.
Features:
Deploy arbitrary provers and verifiers.
Run workloads to generate and verify proofs.
Free for registered users.
Even in its current form, the network is highly redundant. Each node can function standalone, so as long as even one devnet node is running, users will be able to generate proofs. It’s also extremely performant. Devnet nodes have enough compute capacity to handle multiple proving or verifying workloads in parallel and enough bandwidth to handle input data that’s measured in gigabytes.
Devnet prover nodes are currently being operated by industry heavy hitters such as P2P.org, RockawayX Infrastructure, Supranational & Staking Facilities.
If you’d like to get access, you need to register a key. You can also find instructions for running an example Starknet Stone prover workload here.
The Great Integration
We are excited to be launching with 200+ partners and 16,000+ signed-up users. There are many integration efforts underway to make using Gevulot incredibly easy. Here’s a small sample of what’s happening.
We are working with a number of different partners to ensure stable and performant provers for Starknet, zkSync, Scroll, Taiko & Mina are deployed.
We are working with Aztec on prover-boost, which will allow participants in the Aztec network to outsource proving easily to Gevulot and elsewhere.
We are working with Gelato on a Polygon zkEVM integration, which will allow projects running a zkEVM validium to easily outsource proving. (We are looking for a team to continue this work. DM us on X/Twitter for more info.)
We are working with ZKRush on a Filecoin integration, which will allow miners to outsource Proof of Replication proofs to Gevulot. (We are looking for a team to explore proof aggregation of Filecoin PoR proofs. DM for info.)
…And many more efforts will be announcing in the coming weeks/months.
Support and feedback
Should you encounter any issues or have any questions, feel free to contact us through our official TG channel. Our team is committed to supporting you and making your experience as smooth as possible, we are here to support you every step of the way. We also encourage you to share your feedback as it helps us improve and build with the developer community.
Once again, thank you for your interest in joining the Gevulot devnet. Let’s build the first decentralized proving layer together!
Learn more about Gevulot: