Yi Sun ⨇ (@theyisun) / X

Yi Sun ⨇

190 posts

Yi Sun ⨇

@theyisun

Joined December 2016

Yi Sun ⨇
@theyisun
Jan 22, 2024
Axiom V2 goes to mainnet today after many months of work — we’re excited to give developers access to the entire history of Ethereum in a flexible and easy-to-use way. Looking forward to seeing the new types of applications this primitive enables!
Axiom
@axiom_xyz
Jan 22, 2024
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 👇
19K
Yi Sun ⨇
@theyisun
Dec 16, 2024
Excited for the first release of @openvm_org -- we believe a modular-first zkVM design can spark innovation and collaboration across the stack. We look forward to working with @Scroll_ZKP, @maxgillett, and new collaborators to build the zkVM framework of the future.
Axiom
@axiom_xyz
Dec 16, 2024
We're excited to announce OpenVM, a performant and modular zkVM framework built for customization and extensibility. OpenVM introduces a novel modular design allowing developers to extend the ISA, ZK circuits, and proof system in one unified framework.
12K
Yi Sun ⨇
@theyisun
Oct 18, 2022
1/ Our new paper release with @ddkang @tatsu_hashimoto and Ion Stoica brings zkML to ImageNet scale. We use the powerful halo2 ZK proof system to verify inference for an off-the-shelf neural network for ImageNet!
Daniel Kang
@ddkang
Oct 18, 2022
As ML becomes increasingly complex, ML-as-a-service (MLaaS) providers are proliferating (OpenAI, Google, AWS, etc.), which raises an important question: how can we trust MLaaS providers? Today, we show how to trustlessly verify model predictions with zero-knowledge proofs! 1/6
arxiv.org
Scaling up Trustless DNN Inference with Zero-Knowledge Proofs
As ML models have increased in capabilities and accuracy, so has the complexity of their deployments. Increasingly, ML model consumers are turning to service providers to serve the ML models in...
Yi Sun ⨇
@theyisun
Feb 22, 2023
It was great to chat with @AnnaRRose and @tarunchitra about how ZK can be relevant for ML!
Zero Knowledge Podcast
@zeroknowledgefm
Feb 22, 2023
This week, @AnnaRRose and @tarunchitra dive into the topic of ZK ML with guests @theyisun & @ddkang. They discuss their move into ZK, the fascinating intersection between ZK+ML and the potentially powerful uses for these combined technologies zeroknowledge.fm/265-2/
15K
Yi Sun ⨇
@theyisun
Mar 31, 2025
Excited to bring @openvm_org to production today as a full-featured and performant zkVM framework. We believe the next generation of ZK-enabled applications will be built with flexible and performant tools. This OpenVM 1.0.0 release is the next step in making that a reality.
Axiom
@axiom_xyz
Mar 31, 2025
We are excited to announce the v1.0.0 release of @openvm_org. OpenVM is now recommended for production use after a competitive audit by @cantinaxyz. At Axiom, we look forward to working with teams to unlock the power of ZK in production with OpenVM.
5.3K
Yi Sun ⨇
@theyisun
Apr 4, 2024
We’re excited to start supporting developers on @base. Other rollups are in the works — reach out if you’re interested in accessing more data in your on-chain app deployed on a rollup!
Axiom
@axiom_xyz
Apr 4, 2024
We're announcing that Axiom is coming to @base -- Axiom V2 is now live on Base Sepolia testnet, and a Base mainnet deploy will follow after a testing period. We've heard from developers about the low fees and growing ecosystem on Base and are excited to bring Axiom there.
9.3K
Yi Sun ⨇
@theyisun
Aug 28, 2023
Check out our new program to make ZK more accessible to smart contract developers — no crazy math background required!
Axiom
@axiom_xyz
Aug 28, 2023
We excited to announce the Axiom ZK Intensive Program! This is a 4 week program for smart contract developers with an interest in ZK. Applications open today, and the program will start the week of October 9. Apply here by Sep 18: airtable.com/shrygbIVDdk9jN…
6.1K
Yi Sun ⨇
@theyisun
Jun 16, 2023
Which Ethereum smart contract uses the most contract storage?
36K
Yi Sun ⨇
@theyisun
Jul 20, 2023
On-chain maxis unite @lakshmansankar @personae_labs @wehack247
5.8K
Yi Sun ⨇
@theyisun
Jan 30, 2023
I'm biased, but @jonathanpwang is criminally underfollowed -- proud to build with him as one of the strongest ZK devs in the space.
Jonathan Wang ⨇
@jonathanpwang
Jan 30, 2023
Very excited to share Axiom with everyone. Send us over your "impossible" blockchain dreams. We will help make them possible.
10K
Yi Sun ⨇
@theyisun
May 22, 2023
Prove correct execution of GPT-2, MobileBERT, or CLIP in a zero-knowledge proof! Really excited to see zkml scale to more and more interesting models!
Daniel Kang
@ddkang
May 22, 2023
Replying to @ddkang
Using our open-source framework zkml (github.com/ddkang/zkml), we can provide trustless execution of ML models, including GPT, BERT, and more. This can be done _without_ revealing the proprietary weights! 3/
5.4K
Yi Sun ⨇
@theyisun
Jul 11, 2023
Happy to have played a small role in this paper, which successfully applies formal verification to ZK circuits used in practice! Just like with physical circuits, FV will play a huge role in ensuring correctness for ZK circuits. Huge congrats to @MisakaCenter @captain8299
Yu Feng
@captain8299
Jul 11, 2023
Our Coda paper "Certifying Zero-Knowledge Circuits with Refinement Types" got accepted by @IEEESSP ! (Top 1 security venue) We used Coda to formally verify crucial circuits @privacyscaling, @Sismo_eth, @identhree and many others. Congrats to all our students @MisakaCenter and
4K
Yi Sun ⨇
@theyisun
Apr 3, 2023
Check out some of the most performant ZK ML work by one of the most criminally underfollowed people in ZK!
Daniel Kang
@ddkang
Apr 3, 2023
I'm excited to announce our library zkml for trustless machine learning! After months of hard work, we've supercharged its performance & expanded its capabilities. Now, zkml achieves 92% accuracy on ImageNet! Blog post: medium.com/@danieldkang/f… GitHub: github.com/ddkang/zkml 1/
7.4K
Yi Sun ⨇
@theyisun
Feb 27, 2023
As we’ve been building @axiom_xyz, we’ve benefited tremendously from @Scroll_ZKP’s community-driven ethos in both open source code collaboration and ZK education. Really excited to see them take the next step towards mainnet today.
Scroll
@Scroll_ZKP
Feb 27, 2023
Replying to @Scroll_ZKP
Community-driven: The open-source ethos allows efforts to compound over time as we collectively iterate upon cryptographic primitives together and harness their power for practical applications.
4.2K