Explore tweets tagged as #openvm
key features and distinctions between pico zkvm and openvm both pico zkvm and axiom openvm are frameworks for zero-knowledge virtual machines (zkvms), which are crucial components in the development of zk-rollups and other zero-knowledge proof applications. they enable
20
2
21
3/ Prover optimizations cut zkVM cycles by ~50% New MPT circuit caching system + OpenVM v1.4.1 upgrade Infrastructure improvements all around, resulting in considerably less computational resources consumed
1
0
7
A lot of my thinking is shaped by the work from @zksync, @StarkWareLtd, @SuccinctLabs, @openvm_org, and @ziskvm. At @Zippel_Labs, ZP1 is still under heavy research - breaking assumptions, exploring edge cases, testing ideas, and hardening the design before calling it “stable”.
🔥 UPDATE: Ethereum is set for a major 2026 upgrade cycle as validators begin adopting ZK-proofs, paving the way for exponential scaling and a path toward 10,000 TPS.
0
0
8
Today we are releasing OpenVM v1.4.1 with substantial performance improvements in the GPU prover relating to memory optimizations. OpenVM now proves average-case Ethereum mainnet blocks in less than 12 seconds and for as low as $0.0001 per transaction.
246
2
17
Outperforming RISC0, SP1, and OpenVM by up to 150%? Meet Pico. Assemble your ZK stack like Lego. Choose backends, customize workflows. All with RISC-V & Rust support, so you can build without the ZK hurdles. @brevis_zk
12
0
11
Pico zkVM sets a new performance benchmark in zkVMs outperforming RISCO OpenVM and SP1 across key computations. Fibonacci runs 1.7x faster Tendermint proofs 2.5x quicker and Reth block 171 executes 1.8x faster. Modular architecture + GPU ready pipelines redefine Web3 scaling.
53
1
46
Went down the @openvm_org rabbit hole last weekend, and I really like the modular approach to things. Spent the weekend implementing a blake3 extension and I didn't have to touch the core code at all, this is really great for security and ease of building. With the extension,
1
0
0
最近参加了brevis这个项目， GM! ☀️ Brevis Pico 正在重新定义 zkVM。 它不仅是模块化的乐高，更是性能的猛兽： 🚀 快出天际：CPU 性能比 RISC0/OpenVM 快 70%-155%，这还没用上它的 GPU 集群方案。 🧩 自由构建：模块化架构，让开发者能像拼乐高一样定制专属 zkVM。 🔗
0
0
3
gm CT Let's go deeper on brevis_zk Earlier this year, Brevis dropped a proper benchmark. They ran the same Rust workload on Pico, RISC0, SP1, and OpenVM. Apples-to-apples. Keep in mind, differences show implementation gaps, not test errors. On CPU, Pico crushed it - 70 to
46
0
39
zkVM Latest Here we report on the progress of the leading builders in the zkVM ecosystem, documenting recent significant releases, technical breakthroughs and general updates. Featuring: @DelphinusLab, @NexusLabs, @openvm_org, @powdr_labs, @SuccinctLabs, @ziskvm, @ProjectZKM, &
9
5
53
Forget about Legos Now @brevis_zk have got Pico, a zkVM you can build like Lego blocks. Do you want speed? Add it. Want flexibility? Snap it in. Want custom stuff? Plug it. And it’s not just modular. It’s FAST. 70%–155% faster than RISC0, SP1, and OpenVM. On CPU, No GPU
6
2
10
Fermah keeps quietly leveling up. Their incentivized testnet is live, prover nodes are joining, and support now spans SP1, RiscZero, Groth16, OpenVM & more. If ZK is going mainstream, this kind of infrastructure is what gets us there. @fermah_xyz
https://t.co/ToalzAyssv
gfermah ZK is complicated Fermah makes it simple Instead of teams struggling with heavy proof generation, Fermah now routes proofs to the fastest available nodes automatically. It’s quicker, cheaper, and works across SP1, RiscZero, OpenVM and more. Art by @fleek
@fermah_xyz
0
0
0
It's a fine evening to talk about @brevis_zk And my focus today is on Pico Pico is fast. Really fast even. But the goal isn't to "kill" other zkVMs Pico runs 70% to 155% faster than RISC0, SP1, and OpenVM on CPU benchmarks.
5
0
6
1
0
4
On today's issue of Cysic's ecosystem, we will be talking about @axiom_xyz. Yeah, it's not the axiom you're thinking of you degenerate traders. Axiom created @openvm_org, What is that? OpenVM is a performant and modular zkVM framework built for customisation and extensibility.
Numerous tweets about Cysic and not one talking about the ecosystem. Let us all take quick delve in to Cysic ecosystems. Your guide, Reiji, says so. ------------------------------------------------------------------------------------- ╰┈➤ ZK Ecosystem →
13
0
18
gfermah ZK is complicated Fermah makes it simple Instead of teams struggling with heavy proof generation, Fermah now routes proofs to the fastest available nodes automatically. It’s quicker, cheaper, and works across SP1, RiscZero, OpenVM and more. Art by @fleek
@fermah_xyz
0
0
2
To try out the new release, check out: * Updated developer docs at: https://t.co/c6l49P92Yc * The v1.4.1 release on Github: https://t.co/bmXNP7VYyE Read the full announcement at: https://t.co/UQFwMfR5zf
0
0
2
The Brevis team really made a beast of a zkVM, PICO was compared to other zkVMs in the market like RISCo, SP1 and OpenVM. The test was run on an AWS CPU, that had 192 CPU cores and 1.5TB of ram, and the results? PICO was 115% better and faster than the virtual machine that
Brevis has a very good system built in for PICO, PICO uses ready made tools known as precompilations to speed up operations like hash and signature verifications, but these precompilations are not sufficient enough for complex apps, this made brevis integrate coprocessor for
7
1
16
🔹@OpenLedgerHQ is building the core tools that let AI agents run fully onchain. Their stack - agentOS and OpenVM - is designed for one thing: making sure agents can act, evolve, and coordinate without trust This isn’t some abstract theory. It’s real, working code that powers
3
1
6