Jonathan Wang ⨇ Profile
Jonathan Wang ⨇

@jonathanpwang

Followers
1K
Following
212
Media
0
Statuses
95

math is hard 🐼🐻‍❄️🐻

Joined May 2022
Don't wanna be here? Send us removal request.
@jonathanpwang
Jonathan Wang ⨇
7 months
Excited to announce OpenVM, a new performant and modular zkVM framework built for customization and extensibility. It was very fun contributing to the initial design. This will be the future of zkVM design — user-led customization without forking the core architecture.
@openvm_org
OpenVM
7 months
Announcing OpenVM, an open-source zkVM framework prioritizing customization and extensibility at every level of the stack. OpenVM achieves this with a novel modular design allowing developers to extend the ISA, ZK circuits, and proof system within one unified framework.
Tweet media one
1
3
31
@jonathanpwang
Jonathan Wang ⨇
1 month
RT @openvm_org: Security advisory -- OpenVM v1.1.2 and earlier are affected by a vulnerability in Plonky3:. https:/….
0
4
0
@jonathanpwang
Jonathan Wang ⨇
2 months
powdr did some really interesting work! they worked directly with the OpenVM ISA to auto-optimize code -> circuits. really excited to see how this can further accelerate guest programs.
@powdr_labs
powdr labs
2 months
Announcing powdr-OpenVM. powdr’s compiler middleware now enhances @openvm_org with autoprecompiles for custom guest acceleration, showing >5x proof time improvement in end-to-end experiments. Is this the end of hand-written zkVM precompiles?. More in the blog post and below 👇
Tweet media one
0
1
3
@jonathanpwang
Jonathan Wang ⨇
3 months
RT @axiom_xyz: We are excited to announce the v1.0.0 release of @openvm_org. OpenVM is now recommended for production use after a competit….
0
68
0
@jonathanpwang
Jonathan Wang ⨇
3 months
RT @openvm_org: After one year of development and a competitive audit by @cantinaxyz, we are excited to release the first production v1.0.0….
0
48
0
@jonathanpwang
Jonathan Wang ⨇
5 months
Great thread explaining how OpenVM's memory architecture works at the STARK level!.
@tcoratger
tcoratger
5 months
1/ How @openvm_org uses variable word size for memory access. Traditional architectures use fixed-size words (e.g., 32-bit, 64-bit). But STARK-based OpenVM removes this constraint with variable word size memory. Here’s how it works and why it matters for zk-STARKs. 🧵👇.
0
1
4
@jonathanpwang
Jonathan Wang ⨇
5 months
RT @Ingo_zk: OpenVM: Modular ZK, Maximum Flexibility. The latest SNARK CHOCOLATE pod just dropped! 🍫. Heads up! This is a technical convers….
0
5
0
@jonathanpwang
Jonathan Wang ⨇
5 months
RT @cantinaxyz: Look what just breezed through the doors of the Cantina—an @openvm_org code review competition presented by @axiom_xyz 🪐. O….
0
2
0
@jonathanpwang
Jonathan Wang ⨇
5 months
RT @openvm_org: The first competitive security review for OpenVM is now live on @cantinaxyz. Compete for the $100,000 prize pool until Mar….
0
5
0
@jonathanpwang
Jonathan Wang ⨇
7 months
RT @axiom_xyz: We're excited to announce OpenVM, a performant and modular zkVM framework built for customization and extensibility. OpenVM….
0
65
0
@jonathanpwang
Jonathan Wang ⨇
10 months
RT @axiom_xyz: Excited to share the universal batch verification solution for World ID we’ve been working on for @worldcoin. Batch verific….
0
9
0
@jonathanpwang
Jonathan Wang ⨇
1 year
Very excited to share our Axiom V2 mainnet release!. For V2 we really focused on the developer experience: now you can use the power of ZK in your smart contracts to build data-rich applications with only Solidity and Typescript!.
@axiom_xyz
Axiom
1 year
We’re thrilled to announce Axiom V2 is now live on Ethereum mainnet!. Axiom V2 allows smart contracts to trustlessly compute over the entire history of Ethereum, including transactions and receipts. Learn more below 👇
Tweet media one
2
5
46
@jonathanpwang
Jonathan Wang ⨇
1 year
RT @0xKanekiKen: Explored #plonky3 by @dlubarov's @0xPolygonZero team alongside @jonathanpwang . They've innovated a unique method for comm….
0
31
0
@jonathanpwang
Jonathan Wang ⨇
1 year
RT @SpearbitDAO: We have released our seminar with @theyisun from @axiom_xyz on:. ⏵ Exploring Ethereum History using ZK ⏴. Yi highlights ho….
0
6
0
@jonathanpwang
Jonathan Wang ⨇
2 years
This was very cool to see being built. Some serious math went into optimizing the circuits!.
@goforashutosh
Ashutosh Marwah
2 years
As part of the @axiom_xyz's Open Source Program v2, Guillaume, Zhengxun and I developed Halo2-svd, a library which provides functionalities to verify the singular value decomposition (SVD) of a matrix and perform basic linear algebra operations in Halo2. (1/5).
0
1
9
@jonathanpwang
Jonathan Wang ⨇
2 years
With Axiom V2, we want to empower smart contracts to go beyond their limits with additional data access and compute - without disrupting the normal dev flow. Try it out today and let us know what you think!.
@axiom_xyz
Axiom
2 years
2/ Axiom V2 allows devs to specify their data access and compute in a new Javascript interface, and they can use Axiom-verified results on-chain via a single smart contract callback interface. This means developers can integrate Axiom V2 using Solidity and Javascript alone.
1
2
17
@jonathanpwang
Jonathan Wang ⨇
2 years
RT @lakshmansankar: new look who dis?.
0
2
0
@jonathanpwang
Jonathan Wang ⨇
2 years
😮.
@daniel_d_kang
Daniel Kang
2 years
Verified ML in the form of ZKML has captured significant interest. But it's too slow in practice, taking 6 hours to verify the Twitter recommendation model. Enter TensorPlonk, a new ZKML proving system with >1,000x faster proving. 📝Blog post: 🧵 1/9.
0
0
1
@jonathanpwang
Jonathan Wang ⨇
2 years
RT @camiinthisthang: Wrote up a piece about the emergence of ZK coprocessors like @axiom_xyz and how they might be the missing piece for bu….
0
18
0