Project hub

Gevulot

6 pieces · Nov 2023 to Sep 2024

Sectors

ZK6 L1/L22 Privacy1

Search every mention All projects

Coverage per year

12023

52024

Start here · the strongest pieces on Gevulot

Map16 Apr 2024ZK frontier map: zkVMs, zkEVMs, proving, verification and aggregation layersTaxonomy of ZK infrastructure: 13 zkVMs, four zkEVMs, universal proving layers (Gevulot, Lagrange), verification layers (Aligned, Horizen) and proof aggregation layers (AggLayer, Nebra, Union, Electron).Explainer23 May 2024The ZK endgame: verifiable compute, field size and verification cost metricsOutlines Gevulot's vision that most global compute eventually ships with proof of execution, and the two metrics it proposes for tracking progress: proof field size and on-chain verification cost. Frames a modular ZK stack of proving, verification and messaging layers.Breakdown23 May 2024Gevulot: the universal proving layer of the modular ZK stackDeep dive on Gevulot's prover and validator node design with custom prover sets, and its use cases: validity rollups, proof aggregation, zkVMs, ZK bridges, verifiable RPC, zkML, zkFHE and ZK coprocessors. Notes the devnet is live and a $6M seed led by Variant.

Timeline · every piece, newest first

2024 5

13 Sep 2024Aztec ProverNet results: third-party ZK proving contestReports the results of Aztec's ProverNet, where third parties ZK proved Aztec blocks for the first time. Gevulot won the custom category and led generic at 419s average.DataPrivacyZK

25 May 2024zkVerify and the ZK proof verification market: $47M spent in 2023Argues proof verification will be a large market as ZK adoption grows, with Horizen's zkVerify an early mover. Cites Horizen estimates on current verification spend and expected proof volume.DataZK

23 May 2024Gevulot: the universal proving layer of the modular ZK stackDeep dive on Gevulot's prover and validator node design with custom prover sets, and its use cases: validity rollups, proof aggregation, zkVMs, ZK bridges, verifiable RPC, zkML, zkFHE and ZK coprocessors. Notes the devnet is live and a $6M seed led by Variant.BreakdownZKL1/L2

23 May 2024The ZK endgame: verifiable compute, field size and verification cost metricsOutlines Gevulot's vision that most global compute eventually ships with proof of execution, and the two metrics it proposes for tracking progress: proof field size and on-chain verification cost. Frames a modular ZK stack of proving, verification and messaging layers.ExplainerZK

16 Apr 2024ZK frontier map: zkVMs, zkEVMs, proving, verification and aggregation layersTaxonomy of ZK infrastructure: 13 zkVMs, four zkEVMs, universal proving layers (Gevulot, Lagrange), verification layers (Aligned, Horizen) and proof aggregation layers (AggLayer, Nebra, Union, Electron).MapZK

2023 1

13 Nov 2023zkAlpha watchlist update: ten new ZK, RaaS, DVT and MEV projectsAdds ten projects to a maintained watchlist (over 120 tracked) with one-line descriptions: prover network, verifiable compute, post-quantum ZK rollup-as-a-service, shared sequencer, RaaS, DVT infrastructure and MEV-protected cross-chain swaps.MapZKL1/L2

Often covered with

Horizen6 Aztec28 Lagrange19 zkVerify6 Radius14 RISC Zero53 Aligned Layer5 Omni5

Working together

Research, advisory and builds for deep-tech teams.

View CV A1 Research